dissertations
PhD dissertations defended at SOFT and at its predecessor labs.
SOFT and its two predecessor labs, the Programming Technology Lab (PROG) and the System and Software Engineering Lab (SSEL), have produced 87 PhD dissertations. They are listed below, most recent first; most can be downloaded as PDF.
Software Languages Lab (SOFT)
| Year | Author and title | Promoters | |
|---|---|---|---|
| 2026 | Modular Distribution Strategies in Stream Processing Applications: a Meta-programming Approach | Wolfgang De Meuter, Quentin Stiévenart | |
| 2026 | Provenance-Aware Dynamic Analysis of JavaScript | Coen De Roover, Wolfgang De Meuter | |
| 2024 | Incremental Static Program Analysis through Reified Computational Dependencies | Coen De Roover, Quentin Stiévenart | |
| 2024 | Static Analysis for Quality Assurance of Ansible Infrastructure-as-Code Artefacts | Coen De Roover | |
| 2024 | Flexible CRDTs for a Demanding World | Elisa Gonzalez Boix | |
| 2024 | Data Flow and Control Flow Analysis of Problematic Commits | Coen De Roover | |
| 2024 | Extracting Library Features from Incomplete Code on Stack Overflow | Coen De Roover | |
| 2024 | DisCoPar-Kilimo: A Low-Code Development Environment Geared Towards Smart Agriculture Applications | Elisa Gonzalez Boix, Wolfgang De Meuter, Angel Luis Scull Pupo | |
| 2023 | Inter-process Concolic Testing of Full-stack JavaScript Web Applications | Coen De Roover | |
| 2022 | When Sequential Code Meets Replicated Data: Programming Language Support to Simplify the Development of Correct Replicated Data Types | Elisa Gonzalez Boix | |
| 2022 | A Meta-Level Architecture for Stream-Based Programming Languages and its Applications in Cyber-Physical Systems | Wolfgang De Meuter, Jens Nicolay | |
| 2022 | On the Coexistence of Reactive Code and Imperative Code in Distributed Applications: A Language Design Approach | Wolfgang De Meuter | |
| 2022 | A Live Debugging Approach for Big Data Processing Applications | Elisa Gonzalez Boix, Guillermo Polito | |
| 2021 | Orchestration of Actor-based Languages for Cyber-physical Systems | Wolfgang De Meuter, Joeri De Koster | |
| 2021 | Advanced Debugging Techniques to Handle Concurrency Bugs in Actor-based Applications | Elisa Gonzalez Boix | |
| 2021 | Language-Based Security for Web Applications | Elisa Gonzalez Boix, Jens Nicolay | |
| 2020 | An Automated Delta-Debugging Approach to Resilience Testing of Actor Systems through Fault Injection | Coen De Roover | |
| 2019 | Triumvirate: A Programming Language Design for Distributed Rich Internet Applications | Wolfgang De Meuter, Christophe Scholliers | |
| 2019 | Statically Checking Inter-property Constraints and its Applications in Web APIs | Wolfgang De Meuter, Joeri De Koster | |
| 2019 | A Distributed Logic Reactive Programming Model and its Application to Monitoring Security | Wolfgang De Meuter, Joeri De Koster | |
| 2018 | A Multi-Paradigm Concurrent Programming Model | Wolfgang De Meuter, Joeri De Koster | |
| 2018 | DISCOPAR: A Visual Reactive Flow-Based Domain-Specific Language for Constructing Participatory Sensing Platforms | Wolfgang De Meuter | |
| 2018 | Reentrancy & Scoping in Rule Engines for Cloud-based Applications | Wolfgang De Meuter | |
| 2018 | Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading | Coen De Roover, Wolfgang De Meuter | |
| 2017 | Using multiple Feature Models of Domains and Regulations to develop Configuration Systems | Rubby Casallas, Viviane Jonckers | |
| 2017 | A Declarative Foundation for Querying the History of Software Projects | Coen De Roover, Viviane Jonckers | |
| 2016 | Purity Analysis for Higher-Order Imperative Languages: An Abstract Machine Approach | Wolfgang De Meuter, Coen De Roover | |
| 2016 | Just-in-Time Data Structures: A Language Design Approach to Promote the Shift from Choosing a Single Data Structure to Choosing a Set of Data Representations | Wolfgang De Meuter, Jennifer B. Sartor | |
| 2015 | Blame Prediction: Early Detection of Type Errors in Dynamically Typed Programming Languages | ||
| 2015 | A Declarative Approach for Engineering Multimodal Interaction | Beat Signer, Wolfgang De Meuter | |
| 2015 | Domains: Language Abstractions for Controlling Shared Mutable State in Actor Systems | Theo D'Hondt, Tom Van Cutsem | |
| 2013 | Identification and Management of Inconsistencies in Dynamically Adaptive Software Systems | Kim Mens, Theo D'Hondt | |
| 2013 | Uniform Modularization of Workflow Concerns using Unify | Viviane Jonckers, Ragnhild Van Der Straeten | |
| 2013 | Ambient Contracts | Wolfgang De Meuter, Éric Tanter | |
| 2013 | Workflow Abstractions for Orchestrating Services in Nomadic Networks | Viviane Jonckers | |
| 2013 | Supporting Concurrency Abstractions in High-level Language Virtual Machines | Theo D'Hondt, Michael Haupt | |
| 2012 | Reactive Method Dispatch for Context-Oriented Programming | Wolfgang De Meuter | |
| 2012 | A foundation for quantum programming and its highly-parallel virtual execution | Theo D'Hondt, Ellie D'Hondt | |
| 2012 | Handling Partial Failures in Mobile Ad hoc Network Applications: From Programming Language Design to Tool Support | Theo D'Hondt, Wolfgang De Meuter | |
| 2012 | Supporting Integration Activities in Object-Oriented Applications | Theo D'Hondt, Stéphane Ducasse, Andy Kellens | |
| 2012 | Community memories for sustainable societies: The case of environmental noise | Luc Steels, Ellie D'Hondt | |
| 2011 | Ambient-Oriented Dataflow Programming for Mobile RFID-Enabled Applications | Wolfgang De Meuter, Theo D'Hondt | |
| 2011 | Quantum Aspects of Cryptography: From Qutrit Symmetric Informationally Complete Projective Operator Valued Measure Key Encryption to Randomness Quality Control | ||
| 2011 | Modularising Context Dependency and Group Behaviour in Ambient-oriented Programming | Theo D'Hondt, Wolfgang De Meuter, Pascal Costanza | |
| 2011 | A non-invasive approach for evolving Model Transformation Chains | Rubby Casallas, Viviane Jonckers, Dirk Deridder | |
| 2011 | Executable Models for Extensible Workflow Engines | Jorge Villalobos, Viviane Jonckers, Dirk Deridder | |
| 2010 | Dynamic Parallelization of Recursive Code - An exploration using interpreters | ||
| 2010 | Monitoring and Analysis of Workflow Applications: A Domain-specific Language Approach | Rubby Casallas, Viviane Jonckers, Dirk Deridder | |
| 2009 | A Logic Meta Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs | Wolfgang De Meuter, Johan Brichau | |
| 2009 | A bottom-up approach to program variation | Theo D'Hondt, Patrick Heymans |
Programming Technology Lab (PROG)
Show all 25 dissertations
| Year | Author and title | Promoters | |
|---|---|---|---|
| 2008 | On the Separation of User Interface Concerns - A Programmer's Perspective on the Modularisation of User Interface Code | Theo D'Hondt, Dirk Deridder | |
| 2008 | Ambient References: Object Designation in Mobile Ad hoc Networks | Wolfgang De Meuter, Theo D'Hondt | |
| 2008 | Co-Evolution of Source Code and the Build System: Impact on the Introduction of AOSD in Legacy Systems | ||
| 2007 | A Goal-Driven Approach for Documenting and Verifying Design Invariants | Theo D'Hondt, Dirk Deridder | |
| 2007 | Modularizing Language Constructs: A Reflective Approach | Theo D'Hondt, Pascal Costanza | |
| 2007 | Maintaining Causality between Design Regularities and Source Code | Theo D'Hondt, Kim Mens | |
| 2006 | Aspect oriented revitalisation of legacy software through logic meta-programming | Theo D'Hondt, H. Tromp | |
| 2006 | Advanced Round-Trip Engineering: An Agile Analysis-driven Approach for Dynamic Languages | Theo D'Hondt, Maja D'Hondt | |
| 2006 | A Concept-Centric Environment for Software Evolution in an Agile Context | Theo D'Hondt, Johan Brichau | |
| 2006 | Ambient-Oriented Programming | Theo D'Hondt, Wolfgang De Meuter | |
| 2005 | Modularizing Advanced Transaction Management | Theo D'Hondt | |
| 2005 | Integrative Composition of Program Generators | Theo D'Hondt | |
| 2004 | Move Considered Harmful: A Language Design Approach to Mobility and Distribution for Open Networks | Theo D'Hondt, Roel Wuyts | |
| 2004 | Progressive Mobility | Theo D'Hondt, Tom Mens | |
| 2003 | Creation of an Intelligent Concurrency Adaptor in order to mediate the Differences between Conflicting Concurrency Interfaces | ||
| 2002 | Automated Support For Framework-Based Software Evolution | Theo D'Hondt, Tom Mens | |
| 2001 | A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation | Theo D'Hondt | |
| 2000 | Automating Architectural Conformance Checking by means of Logic Meta Programming | Theo D'Hondt | |
| 2000 | Multi-Paradigm Design | Theo D'Hondt | |
| 1999 | A Formal Foundation for Object-Oriented Software Evolution | Theo D'Hondt | |
| 1998 | A Novel Approach to Architectural Recovery in Evolving Object-Oriented Systems | Theo D'Hondt, Patrick Steyaert | |
| 1998 | Type-Oriented Logic Meta Programming | Theo D'Hondt | |
| 1997 | Documenting Reuse and Evolution with Reuse Contracts | ||
| 1996 | ZYPHER - Tailorability as a Link from Object-Oriented Software Engineering to Open Hypermedia | ||
| 1994 | Open Design of Object-Oriented Languages, A Foundation for Specialisable Reflective Language Frameworks |
System and Software Engineering Lab (SSEL)
Show all 12 dissertations
| Year | Author and title | Promoters | |
|---|---|---|---|
| 2009 | Language Facilities for the Deployment of Reusable Aspects | Viviane Jonckers, Wim Vanderperren | |
| 2008 | Platform Ontologies for the Model Driven Architecture | Viviane Jonckers, Ragnhild Van Der Straeten | |
| 2007 | Connecting High-Level Business Rules with Object-Oriented Applications: An approach using Aspect-Oriented Programming and Model-Drive Engineering | Viviane Jonckers, Maja D'Hondt | |
| 2006 | Dynamic Integration, Composition, Selection and Management of Web Services in Service-Oriented Applications : An approach using Aspect-Oriented Programming | Viviane Jonckers | |
| 2005 | Inconsistency Management in Model-Driven Engineering: An Approach using Description Logics | Viviane Jonckers | |
| 2004 | Combining Aspect-Oriented and Component-Based Software Engineering | Viviane Jonckers | |
| 2004 | Hybrid Aspects for Integrating Rule-Based Knowledge and Object-Oriented Functionality | Viviane Jonckers | |
| 2001 | Component Composition using Composition Patterns and Scenarios | Viviane Jonckers | |
| 2001 | UML – SDL Round-trip Engineering through Incremental Translation of Changes | Viviane Jonckers | |
| 1998 | An Approach to Incermental Fuzzy Modelling of Dependencies in Complex Physical Systems | Viviane Jonckers, Ann Nowé | |
| 1994 | The synthesis of “safe” fuzzy controllers based on reinforcement learning | Viviane Jonckers | |
| 1993 | From Specification to Implementation | Viviane Jonckers |