Next-generation technologies are changing the capabilities of software engineers at every stage of software development. It enables subject-matter experts to create applications and help to simplify complicated tasks and reduce others to single commands. This includes technologies like low- and no-code platforms; automated integration, deployment, and testing; and emerging generative-AI tools.
This seminar will provide insights into these new technologies. The seminar will do this within the new CoSELab initiative that aims to unite academia and industry in collaboration to power the region to be a strong home for software-intensive organizations.
Medfinansieret af Uddannelses- og Forskningsstyrelsen
13.00 - Arrival and Coffee and Cake
13.15 - Welcome and introduction to The CoSELab - Professor Mikkel Baun Kjærgaard, SDU
- Next-Generation Software Development at Danfoss Drives by Christian Uldal Graulund
- Low-Code Development based on LLMs – Associate Professor Thiago Rocha Silva, SDU
- Data Mining of Code Repositories - Assistant Professor Eduardo Fernandes, SDU
- CoSELab in Practice – Assistant Professor Miguel Enrique Campusano Araya, SDU
14.15 - Break – Refuel Coffee and Cake
14.30 Keynote: Static analysis of code repositories as database queries with GitHub CodeQL, Engineering Manager Jonas Jensen, GitHub.
15.10 Panel: Next-Generation Software Development – What is next and how to base it in evidence rather than belief?
- Engineering Manager Jonas Jensen, GitHub
- CTO Filip Bech-Larsen, Umbraco
- Associate Professor Thiago Rocha Silva, SDU
Moderator: Professor Mikkel Baun Kjærgaard, SDU
15.50 - Wrap-up and the future of CoSELab, Professor Mikkel Baun Kjærgaard, SDU
Static analysis of code repositories as database queries with GitHub CodeQL
CodeQL is a static analysis engine for code repositories with a unique architecture. It started as a side project by a university professor and is now trusted by thousands of major companies to keep their code free of vulnerabilities. All the analysis in CodeQL is executed through a database engine with a query language that's rich enough for deep security analysis and abstract enough to support code reuse at the scale of 100,000s of lines of query code. This talk will dive into how that all works and what we've learned from it.
Jonas Jensen is Engineering Manager for the team that builds the CodeQL compiler and database engine. He has worked with CodeQL, as a developer and manager, since 2016. His PhD from the IT University of Copenhagen is in the area of formal program verification with separation logic.