| Oct 23, 2026 |
Congratulations to Dr. Noah Van Es, who defended the PhD thesis “Abstract Garbage Collection for Efficient and Precise Abstract Interpretation”, promoted by Coen De Roover. Noah stays at SOFT as a postdoctoral researcher. Dissertation
|
| Sep 07, 2026 |
Co-chaired and hosted the 5th Summer School on Security Testing and Verification (ST&V 2026) in Brussels, 7–10 September 2026, a joint initiative of KU Leuven and the VUB.
|
| May 19, 2026 |
Together with DistriNet (KU Leuven, Bert Lagaisse), we organised the public kick-off of the VLAIO COOCK+ project CodeGuard on secure software engineering in a GenAI world, at KU Leuven’s Group T campus, with some 50 companies attending.
|
| May 18, 2026 |
Our paper “On the Evolution of Python Test Cases into Property-based Tests” appeared at the IEEE International Conference on Software Testing, Verification and Validation (ICST 2026) in Daejeon, South Korea, 18–22 May 2026.
|
| May 18, 2026 |
Our paper “Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs via Value Inference” appeared at the IEEE Symposium on Security and Privacy (S&P 2026) in San Francisco, 18–21 May 2026.
|
| Jan 27, 2026 |
Congratulations to Dr. Laurent Christophe, who defended the PhD thesis “Provenance-Aware Dynamic Analysis of JavaScript”, promoted by Coen De Roover and Wolfgang De Meuter. Dissertation
|
| Sep 01, 2025 |
Our paper “Smelling Secrets: Leveraging Machine Learning and Language Models for Sensitive Parameter Detection in Ansible” won the Distinguished Research Paper Award at SCAM 2025.
|
| Jul 07, 2025 |
Co-chaired and hosted the 4th Summer School on Security Testing and Verification (ST&V 2025) in Brussels, with lectures on static analysis, abstract interpretation, formal verification, security testing, fuzzing, and concolic testing.
|
| May 01, 2025 |
Our dataset paper “E2EGit: A Dataset of End-to-End Web Tests in Open Source Projects” won the MSR 2025 Distinguished Dataset Award.
|
| Oct 01, 2024 |
Our paper “Visualizing the Evolution of Systems and their Library Dependencies” won the Most Influential Paper Award at VISSOFT 2024.
|
| Jan 01, 2024 |
Our book “Software Ecosystems: Tooling and Analytics”, co-edited with Tom Mens and Anthony Cleve, is published by Springer.
|
| Sep 01, 2023 |
Recipient of the ICSME 2023 Distinguished Reviewer award.
|
| May 16, 2023 |
Organized and hosted the Vloeberghs Chair lecture series of Prof. Dr. Ralf Lämmel (University of Koblenz-Landau) on software analytics.
|
| Sep 01, 2022 |
Our paper “Summary-Based Compositional Analysis for Soft Contract Verification” won the Best Artifact Award at SCAM 2022.
|
| May 01, 2022 |
Our paper “Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries” won the Best Artifact Award at ICSE 2022.
|
| Mar 01, 2022 |
Our paper “Uncovering Library Features from API Usage on Stack Overflow” won the IEEE Computer Society TCSE Distinguished Paper Award at SANER 2022.
|
| Sep 01, 2021 |
Recipient of the ICSME 2021 Distinguished Reviewer award; re-elected to the SCAM conference Steering Committee (2021–2023, second term); joined the GPCE conference series Steering Committee (2021–2026).
|
| Sep 01, 2020 |
Recipient of the SCAM 2020 Distinguished Reviewer award. Participated in Dagstuhl seminar 20142 on “Resilient Software Configuration and Infrastructure Code Analysis” (March 2020).
|
| Sep 01, 2018 |
Recipient of the SCAM 2018 Distinguished Reviewer award. Elected to the SCAM conference Steering Committee (2017–2020, first term).
|
| Sep 01, 2016 |
Our paper “Automated Generalization and Refinement of Code Templates with Ekeko/X” won the Best Tool Paper Award at SANER 2016. Recipient of the ICSME 2016 Distinguished Reviewer award. Keynote speaker at IFL 2016.
|
| Sep 01, 2015 |
Our paper “Detecting Function Purity in JavaScript” won the Best Paper Award at SCAM 2015.
|