Code Analysis and Manipulation
Custom Labelled Veld 1
MSCA-2020-CDRoover02
Custom Labelled Veld 2
Custom Labelled Veld 3
Beschrijving van het project
Prof. Coen De Roover heads a focus group within the Software Languages Lab (SOFT) on Code Analysis and Manipulation (CAMP).
This group is eager to collaborate with Marie-Curie fellows on the design of static and dynamic program analyses, and their application to problems in assuring the quality of cloud-native applications.
Such applications feature a distributed architecture for which the computational resources are programmatically provisioned from cloud providers according to infrastructure-as-code files. Quality attributes such as responsiveness (react in a timely manner to inputs), resilience (recover from unexpected failures), and elasticity (react to variable load conditions) are indispensable for cloud-native applications, but difficult to implement and test. Automated tool support is in order.
Within this broader theme, the following topics are of particular interest:
- automated testing for cloud-native applications: concolic testing, fuzz testing, automated fault injection
- software quality tooling for infrastructure-as-code files: design metrics and smells, bug patterns, configuration errors
- compositional static analysis designs: improved scalability and precision for cloud-native applications with dynamically-created distributed processes
- incremental static analysis designs: improved applicability within continuous integration pipelines
- static analysis of commits: decomposition into smaller commits of related edits, semantic merge conflict detection, change contract verification
Custom Labelled Veld 4
Software Languages Lab
HOME
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, Prof. Dr. Dominique Devriese, Prof. Dr. Viviane Jonckers, and Prof. Dr. Bas Ketsman as additional full-time professors and Em. Prof. Dr. Theo D'Hondt as emeritus.
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, …)