Lectures (Theory)
Graduated PhD Students
Master's Theses
- Wietse Van den Hove:Heuristic-Based Guided Concolic Testing (2023-2024), Promoted
- Andes Van Lancker: Modular WCET Analysis of Dynamic Higher-Order Programs
(2022-2023), Promoted
- Ian Angilis: Follow Your Nose - Consolidating and detecting Dockerfile smells with a focus on bloaters and
layer optimization (2022-2023), Promoted
- Mathias Mallinus: Symbolic Execution for Reasoning with Separation Logic
(2022-2023), Promoted with Steven Keuchel
- Christophe Van den Eede: Error Ranking for Higher-Order Programs Using Static Profiling
- Achiel Vandevivere: Resilience Testing in Spring - A Resilience Tester for the Java Framework Spring
(2022-2023), Promoted
- Milan Mancel: Setting the Facts Straight - Automated Fix Suggestions for Dangerous Variables in
Ansible Infrastructure as Code (2022-2023), Promoted
- Jonas Lesy: The DockerHub Inheritance Network - An Empirical Analysis (2022-2023), Promoted
- Turgut Reis Kursun: Time and Space Efficient Delta Debugging for Scheme (2022-2023), Promoted
- Arne Van Quickelberghe: Graph-Based Security Smell Detection for Infrastructure as Code (2021-2022),
Promoted
- Cindy Wauters: Transforming Analysis Results According to Source Code Change Patterns (2021-2022),
Promoted
- Diederik Roelandt: Identifying Bug-Inducing Changes Using Cross-Project JIT Defect Prediction in
Infrastructure Configuration Code (2021-2022), Promoted
- Bram Vandenbogaerde: Iterative Collaborative Analysis: Improving Soft Contract Verification using Unsound
Assumptions (2020-2021), Promoted
- Bert Van Mieghem: Detecting Data Races in Dynamic Web Applications via Concolic Testing (2020-2021),
Promoted
- Patrick Gakuo: Heuristics-Guided Resilience Testing of Persistent Actor Implementations (2019-2020),
Promoted
- Emile Sonneveld: Detecting Code Smells in Scala (2018-2019), Promoted
- Ruben Opdebeeck: Exploring Static Inter-Procedural API Misuse Detection Using Graph Inlining
(2018-2019), Promoted
- Sébastien Vansomeren: Exploration Heuristics for the Dynamic Symbolic Execution of Event-Driven Web
Applications (2018-2019), Promoted
- Olivier Pirson: Parallélisation d'un interpréteur abstrait au travers du modèle
acteur — Application à l'interpréteur abstrait Scala-AM (2018-2019), Promoted
- Jens Van der Plas: Incremental Thread-Modular Static Analysis for Concurrent Programs with Futures and
Atoms (2018-2019), Promoted
- Joachim Maes: Soft Contract Verification in SCALA-AM (2017-2018), Promoted
- Dylan Meysmans: Horizontal Tier Splitting to Micro-Services (2017-2018), Promoted
- Noah Van Es: Incrementalizing Abstract Interpretation (2016-2017), Promoted
- Silke Verhaege: Untangling Fine-Grained Source Code Changes Using Program Slicing (2016-2017),
Promoted
- Jolien Declerck: An Empirical Study into Commit Types Resolving Merge Conflicts (2016-2017), Promoted
- Douglas Horemans: Static Verification of Dynamic Security Policies (2016-2017), Promoted together
with Elisa Gonzalez Boix
- Jonas De Bleser: Static Taint Analysis for Event-driven Programs: An Abstracting Abstract Machines
Approach (2015-2016), Promoted
- Valentijn Spruyt: Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript
(2015-2016), Promoted
- Sara Mohamed Samir Mohamed: Expressing and Verifying Structural Software Change Obligations
(2015-2016), Promoted
- Angeliki-Ionna Katsiampouri: Reasoning about Common JavaScript Mistakes (2015-2016), Promoted
- Arvid Demeyer: Mining Change Histories for Unknown Refactorings (2014-2015), Promoted
- Ward Muylaert: Function Summaries in Concolic Testing of JavaScript (2014-2015), Promoted
- Diel Caroes: Towards Failure Handling in Tierless Web Applications (2014-2015), Promoted
- Xinran AI: Tier Splitting using Static Analysis (2014-2015), Promoted
- Zahra Ahmadi: An Empirical Study of the Dynamic Behavior of JavaScript Programs (2014-2015), Promoted
- Maarten Vandercammen: The Essence of Meta-Tracing Just-in-Time Compilers (2014-2015), Promoted
- Quentin Stiévenart: Static Analysis of Concurrency Constructs in Higher-Order Programs
(2013-2014), Promoted
- Siltvani: A Workbench for Template-driven Program
Transformation (2012-2013), Promoted
- Kevin De Valck: A Logic-based Refactoring Framework
for JavaScript (2012-2013)
- Reinout Stevens: Source Code Archeology using Logic Program Queries across Version Repositories
(2010-2011) [PDF] [Absinthe for
SOUL]
- Wouter Amerijckx: Language Support for Programming Interactions among Wireless Sensor Network Nodes
(2010-2011) [PDF] [CrimeSPOT]
- Ruben Vandamme: Implementing Concurrency Abstractions for Programming Multi-Core Embedded Systems in
Scheme (2009-2010) [PDF] [Bit Scheme for XMOS]
- Jens Nicolay: Automatic Parallelization of Scheme Programs using Static Analysis (2009-2010) [PDF] [Streme]
- Karlien Mollemans: Fuzzy Intensional Views (2006-2007)
- Kim Gybels: Een Declaratief Metaprogrammeer Platform voor Domein-specifieke Run-time Verificatie van
Imperatieve Programma's (2004-2005)
Bachelor's Theses
- Seppe Wyns: Leveraging Program Dependence Graphs to Assist Ansible Developers (2022-2023), Promoted
- Louis Verstraeten: Type Checking Ansible Infrastructure Code (2022-2023), Promoted
- Mats Van Molle: A Debugger for Abstract Interpreters(2022-2023), Promoted
- Thomas Vandermotten: Optimizing Scheme Programs using Static Analaysis (2022-2023), Promoted
- Abdullah Sabaa Allil: Optimising Static Program Analysis using Scala Native (2022-2023), Promoted
- Arman Kolozyan: Dependency-Driven Worklist Heuristics for Modular Analyses (2022-2023), Promoted
- Maxim Brabants: Towards Human-in-the-Loop Concolic Testing (2022-2023), Promoted
- Niels Koops: Input type inference for concolic testing of JavaScript (2022-2023), Promoted
- Mehdi Sarrouk: Soft contract elimination for higher-order dynamic programming languages (2022-2023),
Promoted
- Wim Hulsmans: Automated Test Case Generation for JavaScript Functions via Concolic Testing (2021-2022),
Promoted
- Lennert Saerens: Neural Lego: Generating Neural Networks with Reactive Building Blocks (2021-2022), Promoted
together with Wolfgang De Meuter
- Turgut Reis Kursun: RacketLogger: Logging Changes from the DrRacket Code Editor (2020-2021), Promoted
- Wietse Van den Hove: Visualising a Static Analysis (2020-2021), Promoted
- Ilyas SaÏd Makari: On License Compatibility in Dependency Network of OSS Package Repositories
(2020-2021), Promoted
- Ruben Crockaert: Extending Stackful - Implementing Input Objects to Improve Automated Testing of
JavaScript (2020-2021), Promoted
- Florian Van Belleghem: Tracking Performance Regressions in Git Repositories
(2020-2021), Promoted
- Cindy Wauters:Mining Stack OverFlow to Recommend Solutions for GitHub Issues (2019-2020), Promoted
- Corneel Soete: Managing State in First-Class Machine Learning Models: a Racket Study of the Language
Construct Called Worlds (2019-2020), Promoted together with Wolfgang De Meuter
- Dries Van de Steen:Exploring the Smart Contract Co-Dependency Network on Ethereum Blockchain
(2019-2020), Promoted
- Erinn Van der Sande: Uncovering the Hidden Patterns of Source Code, One Commit at a Time (2019-2020),
Promoted
- Lin de Huybrecht: Technical Lag on Stack Overflow(2019-2020), Promoted
- Bram Vandenbogaerde: Empirical Evaluation of Object-Oriented Software Metrics for Solidity Smart
Contracts (2018-2019)
- Maxime Gilles Coene: ConfCrawlendar: Extractie van Conferentie-informatie uit mailing lists
(2018-2019)
- Bert Van Mieghem: Automatisch Testen van Dynamische Websites - Uitbreiden van een Concolic Tester
(2018-2019)
- Sjors Dekkers: An Interactive Abstract Interpreter (2018-2019)
- Jelte De Proft: Visualizing Program Execution Traces in JavaScript(2016-2017), Promoted
- Jens Van der Plas: Ondersteuning voor R5RS-Sceme in het Scala-AM framework(2016-2017), Promoted
- Ruben Opdebeeck: Towards Template-Driven Source Code Trans- formations in C++(2016-2017), Promoted
- Thibaut Deweert: Detecting Code Clones in PL/SQL-queries used by CaLi(2016-2017), Promoted
- Bjarno Oeyen: Extending tierless JavaScript with an HTML templating system (2015-2016), Promoted
- Francis Reynders: PeopleCode Scanner: Scanning CaLi Code for Style Violations and Bug Patterns
(2015-2016), Promoted
- Badreddine Hachoumi: Detecting Code Clones in the Implementation of CaLi (2015-2016), Promoted
- Jo De Neve: A Visualisation of Distributed Dependencies in Tierless Programs (2015-2016), Promoted
- Silke Verhaege: A Clojure Library for Design Assessment of PHP Software (2014-2015), Promoted
- Noah Van Es: Performant Scheme Interpreter in asm.js (2014-2015), Promoted
- Evgeni Ivakhnov: Javascript Extractor 2.0 (2012-2013), Promoted
- Brecht De Rooms: A Tangible Programming Platform for Live Coding (2009-2010)
- Dennis D'Hooge: Educational Platform for Programming Embedded Systems in Scheme (2009-2010)
- Dries Harnie: A Polyglot-backend for Irish (2006-2007)