The Software Languages Lab (SOFT) is a research lab within the Department of Computer Science of the Vrije Universiteit Brussel (VUB). The Software Languages Lab was founded in 2009 as a merger of the Programming Technology Lab and the System and Software Engineering Lab. SOFT is presided by Prof. Dr. Wolfgang De Meuter, and counts Prof. Dr. Elisa Gonzalez Boix, Prof. Dr. Coen De Roover, and Prof. Dr. Bas Ketsman as additional full-time professors and Em. Prof. Dr. Theo D'Hondt and Prof. Dr. Viviane Jonckers, as emeriti.
Broadly speaking, the lab is active in the design, implementation and application of better languages to support the software engineering process.
This includes programming languages, formal languages, design languages, meta languages, modeling languages, domain specific languages, etc.
The Software Languages Lab covers all aspects of the research spectrum, including:
Design of languages (advanced modularity, distribution, concurrency, context, …)
Formal study of languages (type systems, abstract interpretation, static analysis, contract systems, …)
Efficient implementation of languages (virtual machines, parallelization, scheduling, …)
Tool support for languages (IDEs, debuggers, versioning tools, evolution support, refactoring, …)
Applications of languages (android applications, RFID‐enabled applications, web applications, embedded applications, city-ware, …)
- Design and study of query languages and their implementation (static analysis, expressivity, complexity, algorithms, formal optimality guarantees, distribution, ...)
The lab participates in the following collaborative research projects:
- LowCapsFormally: Low-level Object Capabilities for Formally Watertight Security
- SECO-Assist: Automated Assistance for Developing Software in Ecosystems of the Future
- INTiMALS: Intelligent Modernisation Assistance for Legacy Software
- D3-CPS: Distributed Software Technologies for Developing & Managing Dependable Cyber-Physical Systems
- Tearless: Secure Coordination of Rich Internet Application Tiers
- Flamenco: Flanders Mobile Enacted Citizen Observatories
Have a look at our research page for more details.