Welcome to the home of the Distribution and Concurrency (DisCo) Research Group! We are part of the Software Languages Lab (SOFT) at the Vrije Universiteit Brussel (VUB). We specialize in programming languages and tools for concurrent and distributed systems, with a focus on:
- Debugging tools for concurrent systems.
- Programming abstractions for replicated data types.
- Secure programming technologies.
We invite you to explore our research further, and if you are interested in our work or would like more information, please feel free to contact us.
Recent news:
| 2025 |
|
| 🎓 |
November 23rd, 2025 |
One year more we are organizing an activity for youngsters at Dag van de Wetenschap
|
| 📖 |
November 21st, 2025 |
New publication: In the Shadows I trust: Shadow Execution Analysis Support for a Datalog-based IAST Framework
|
| 🔬 |
November 13th, 2025 |
We are kicking off the FWO SODISA project at the Cyber Security Industry Day 2025
|
| 👤 |
October 15th, 2025 |
Dr. Tom Lauwaerts has joined the group!
|
| 📖 |
October 9th, 2025 |
New publication: JASMaint: Portable Multi-language Taint Analysis for the Web
|
| 📖 |
October 9th, 2025 |
New publication: A Control-Flow Graph Approach to Language-Agnostic Debugging for Microcontrollers
|
| 👤 |
October 1st, 2025 |
Thomas Vandermotten has joined the group!
|
| 📖 |
August 10th, 2025 |
New publication: WaShadow: Dynamic Analysis Extending a Shadow Runtime for Profit
|
| 📖 |
June 25th, 2025 |
New publication: Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession
|
| 📖 |
June 25th, 2025 |
New publication: Ensuring Convergence and Invariants Without Coordination
|
| 🔬 |
May 21st, 2025 |
FWO has accepted to fund the SODISA project 🥳
|
| 📖 |
May 1st, 2025 |
New publication: Concurrency Contracts for Designing Highly Available Replicated Data Types
|
| 📖 |
April 2nd, 2025 |
New publication: ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs
|
| 📖 |
February 15th, 2025 |
New publication: The Art, Science, and Engineering of Programming Journal. Volume 10 Issue 1
|
| 📖 |
January 1st, 2025 |
New publication: Ensuring Convergence and Invariants Without Coordination (Artifact)
|
More news…
