Software Languages Lab PhD dissertations

• Incremental Static Program Analysis through Reified Computational Dependencies
  [1]Jens Van der Plas, 2024 Download [2]
• Static Analysis for Quality Assurance of Ansible Infrastructure-as-Code Artefacts
  Ruben Opdebeeck, 2024 Download [3]
• Flexible CRDTs for a Demanding World
  Jim Bauwens, 2024 Download [4]
• Data Flow and Control Flow Analysis of Problematic Commits
  Ward Muylaert, 2024 Download [5]
• Extracting Library Features from Incomplete Code on Stack Overflow.
  Camilo Velázquez-Rodríguez, 2024 Download [6]
• DisCoPar-Kilimo: A Low-Code Development Environment Geared Towards Smart Agriculture Applications.
  Isaac Nyabisa Oteyo, 2024 Download [7]
• Inter-process Concolic Testing of Full-stack JavaScript Web Applications.
  Maarten Vandercammen, 2023 Download [8]
• When Sequential Code Meets Replicated Data: Programming Language Support to Simplify the Development of Correct Replicated Data Types.
  Kevin De Porre, 2022 Download [9]
• A Meta-Level Architecture for Stream-Based Programming Languages and its Applications in Cyber-Physical Systems
  Christophe De Troyer, 2022 Download [10]
• On the Coexistence of Reactive Code and Imperative Code in Distributed Applications: A Language Design Approach
  Sam Van den Vonder, 2022 Download [11]
• A Live Debugging Approach for Big Data Processing Applications
  Matteo Marra, 2022 Download [12]
• Orchestration of Actor-based Languages for Cyber-physical Systems
  Humberto Rodriguez Avila, 2021 Download [13]
• Advanced Debugging Techniques to Handle Concurrency Bugs in Actor-based Applications
  Carmen Torres Lopez, 2021 Download [14]
• Language-Based Security for Web Applications
  Angel Luis Scull Pupo, 2021 Download [15]
• An Automated Delta-Debugging Approach to Resilience Testing of Actor Systems through Fault Injection
  Jonas De Bleser, 2020. Download [16]
• Triumvirate: A Programming Language Design for Distributed Rich Internet Applications
  Florian Myter, 2019 Download [17]
• Statically Checking Inter-property Constraints and its Applications in Web APIs
  Nathalie Oostvogels, 2019 Download [18] [18]
• A Distributed Logic Reactive Programming Model and its Application to Monitoring Security
  Thierry Renaux, 2019 Download [19]
• A Multi-Paradigm Concurrent Programming Model
  Janwillem Swalens, 2018 Download [20]
• DISCOPAR: A Visual Reactive Flow-Based Domain-Specific Language for Constructing Participatory Sensing Platforms
  Jesse Zaman, 2018 Download [21]
• Reentrancy & Scoping in Rule Engines for Cloud-based Applications
  Kennedy Kambona, 2018 Download [22]
• Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading
  Quentin Stiévenart, 2018 Download [23]
• Using multiple Feature Models of Domains and Regulations to develop Configuration Systems
  Jaime Chavarriaga, 2017 Download [24]
• A Declarative Foundation for Querying the History of Software Projects
  Reinout Stevens, 2017 Download [25]
• Purity Analysis for Higher-Order Imperative Languages: An Abstract Machine Approach
  Jens Nicolay, 2016 Download [26]
  
• 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
  Mattias De Wael, 2016 Download [27]
• Blame Prediction: Early Detection of Type Errors in Dynamically Typed Programming Languages
  Dries Harnie, 2015 Download [28]
• A Declarative Approach for Engineering Multimodal Interaction
  Lode Hoste, 2015 Download [29]
• Domains: Language Abstractions for Controlling Shared Mutable State in Actor Systems
  Joeri De Koster, 2015 Download [30]
• Identification and Management of Inconsistencies in Dynamically Adaptive Software Systems
  Nicolás Cardozo, 2013 Download [31]
• Uniform Modularization of Workflow Concerns using Unify
  Niels Joncheere, 2013 Download [32]
• Ambient Contracts
  Christophe Scholliers, 2013 Download [33]
• Workflow Abstractions for Orchestrating Services in Nomadic Networks
  Eline Philips, 2013 Download [34]
• Supporting Concurrency Abstractions in High-level Language Virtual Machines
  Stefan Marr, 2013 Download [35]
• Reactive Method Dispatch for Context-Oriented Programming
  Engineer Bainomugisha, 2012 Download [36]
• A foundation for quantum programming and its highly-parallel virtual execution
  Yves Vandriessche, 2012 Download [37]
• Handling Partial Failures in Mobile Ad hoc Network Applications: From Programming Language Design to Tool Support
  Elisa Gonzalez Boix, 2012 Download [38]
• Supporting Integration Activities in Object-Oriented Applications
  Veronica Uquillas Gomez, 2012 Download [39]
• Community memories for sustainable societies: The case of environmental noise
  Matthias Stevens (BrusSense [40]), 2012 Download [41] | More info [42]
• Ambient-Oriented Dataflow Programming for Mobile RFID-Enabled Applications
  Andoni Lombide Carreton, 2011 Download [43]
• Quantum Aspects of Cryptography: From Qutrit Symmetric Informationally Complete Projective Operator Valued Measure Key Encryption to Randomness Quality Control
  Frederik Vandenberghe, 2011
• Modularising Context Dependency and Group Behaviour in Ambient-oriented Programming
  Jorge Vallejos, 2011 Download [44]
• A non-invasive approach for evolving Model Transformation Chains
  Andrés Yie, 2011 Download [45]
• Executable Models for Extensible Workflow Engines
  Mario Sánchez, 2011 Download [46]
• Dynamic Parallelization of Recursive Code - An exploration using interpreters
  Charlotte Herzeel, 2010
• Monitoring and Analysis of Workflow Applications: A Domain-specific Language Approach
  Oscar González, 2010 Download [47]
• A Logic Meta Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs
  Coen De Roover, 2009 Download [48]
• A bottom-up approach to program variation
  Peter Ebraert, 2009 Download [49]

PROG PhD dissertations

SSEL PhD dissertations