< Back to previous page
Organisation
Software Languages Lab
Current researchers
1 - 10 of 41 results
- Wolfgang De Meuter (Responsible)
- Esteban Aguililla Klein (Member)
- Tim Baccaert (Member)
- Jim Bauwens (Member)
- Aaron Bogaert (Member)
- Gilles Coremans (Member)
- Theo D'Hondt (Member)
- Wolfgang De Meuter (Member)
- Kevin De Porre (Member)
- Coen De Roover (Member)
Projects
1 - 10 of 16
- SBO project: SODISA: Scalable Software Development and Infrastructure for Self-sovereign ApplicationsFrom1 Oct 2025 → TodayFunding: FWO Strategic Basic Research (SBO)
- COOCK project: BUGATTI Embedded Security Testing and AutomationFrom1 Apr 2025 → TodayFunding: VLAIO COOCK Collective Research & Development and Collective Knowledge Dissemination
- Brubotics: sustainable humanity-centered roboticsFrom1 Jan 2025 → TodayFunding: IOF - technology validation in real environment, IOF - mandates
- Time-Proportional Speedup StacksFrom1 Jan 2025 → TodayFunding: FWO research project (including WEAVE projects)
- JRDIC 2025: Visual Territorial Renewable EnergyFrom1 Dec 2024 → 28 Feb 2025Funding: Brussels Capital Region
- Supporting dynamic analysis for multi-language applicationsFrom1 Nov 2024 → TodayFunding: FWO fellowships
- Enabling Multifaceted Performance in Embedded Software ApplicationsFrom1 Feb 2024 → TodayFunding: BOF - projects
- EVEREST: Nearly full automatic verification for geo-replicated systemsFrom1 Jan 2024 → TodayFunding: FWO research project (including WEAVE projects)
- Cybersecurity Research Program Flanders – second cycleFrom1 Jan 2024 → TodayFunding: Cybersecurity Research Program Flanders
- Fuzzing for ResilienceFrom1 Nov 2023 → TodayFunding: FWO fellowships
Publications
1 - 10 of 73
- VeriFx: Correct Replicated Data Types for the Masses(2023)Edition: 37thSeries: European Conference on Object-Oriented Programming (ECOOP 2023)Volume: 263Pages: 1-45Number of pages: 45
- Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies(2025)Published in: The Art, Science, and Engineering of ProgrammingISSN: 2473-7321Issue: 1Volume: 10
- Performance Testing in Open-Source Web Projects: Adoption, Maintenance, and a Change Taxonomy(2025)Number of pages: 12
- Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data(2023)Published in: Proc. ACM Program. Lang.ISSN: 2475-1421Issue: OOPSLA2Volume: 7Pages: 1-27
- Integrating Fault Injection in Fuzzing: Design, Implementation and Preliminary Experiments(2024)Published in: CEUR workshop proceedingsISSN: 1613-0073Issue: 23Volume: 3941Pages: 52-62
- Language-Agnostic Debugging for Microcontrollers(2024)Series: DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024Pages: 22-27Number of pages: 6
- On the Harmfulness of Test Smells in Manual System Testing: A Controlled Experiment(2025)Pages: 1-11Number of pages: 11
- Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell(2025)Series: Lecture Notes in Computer SciencePages: 357-385Number of pages: 29
- Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics(2025)Published in: ACM Transactions on Computational LogicISSN: 1529-3785Issue: 2Volume: 26Pages: 1-26
- Inputs, Outputs, and Composition in the Logic of Information Flows(2023)Published in: ACM Transactions on Computational LogicISSN: 1529-3785Issue: 4Volume: 24