publications
Publications, awards, software, and datasets of the lab.
The complete, up-to-date list of SOFT’s publications is maintained on the VUB research portal. Many of the lab’s members also list their publications on their own homepage, linked from the people page. The PhD dissertations defended at the lab are listed on the dissertations page.
Awards
- 2025 Distinguished Research Paper Award, SCAM 2025: Smelling Secrets: Leveraging Machine Learning and Language Models for Sensitive Parameter Detection in Ansible
- 2025 Distinguished Dataset Award, MSR 2025: E2EGit: A Dataset of End-to-End Web Tests in Open Source Projects
- 2024 Most Influential Paper Award, VISSOFT 2024: Visualizing the Evolution of Systems and their Library Dependencies
- 2024 ACM SIGMOD Research Highlight Award (for the PODS 2023 paper): Allocating Isolation Levels to Transactions in a Multiversion Setting
- 2023 ACM PODS Distinguished Paper Award: Allocating Isolation Levels to Transactions in a Multiversion Setting
- 2023 ACM SIGMOD Research Highlight Award: When is it safe to run a transactional workload under Read Committed?
- 2022 Best Artifact Award, SCAM 2022: Summary-Based Compositional Analysis for Soft Contract Verification
- 2022 Best Artifact Award, ICSE 2022: Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries
- 2022 IEEE Computer Society TCSE Distinguished Paper Award, SANER 2022: Uncovering Library Features from API Usage on Stack Overflow
- 2016 Best Tool Paper Award, SANER 2016: Automated Generalization and Refinement of Code Templates with Ekeko/X
- 2015 Best Paper Award, SCAM 2015: Detecting Function Purity in JavaScript
Software
Much of SOFT’s research results in software: language implementations, program analysis tools, debuggers, and libraries. The lab publishes its open-source software on two platforms, and several of its research teams also list their tools on their own websites.
Datasets and replication packages
Most of the lab’s research papers come with a replication package: the datasets, tool implementations, and scripts needed to reproduce the paper’s results. Together with the lab’s other research datasets, these are archived on the VUB research portal, from which they are also indexed in the Flemish FRIS research portal. Replication packages are also linked from the corresponding papers.