Lectures (Theory)
- Bachelor:
- Interpretatie van Computerprogramma's (from 2015-2016 till 2023-2024)
- Software Engineering (from 2015-2016 till 2023-2024)
Programmeerproject I(from 2014-2015 till 2017-2018)Structuur van Computerprogramma's II(from 2011-2012 till 2014-2015)
-
Master:
- Software Quality Analysis (from 2013-2014 till 2023-2024)
- Software Architectures (from 2015-2016 till 2023-2024)
- Capita Selecta of Software Engineering (from 2021-2022 till 2023-2024)
Declarative Programming(2010-2011)
Graduated PhD Students
- Ward Muylaert: Data Flow and Control Flow Analysis of Problematic Commits (April 2024), Promoted
- Camilo Velázquez-Rodríguez: Extracting Library Features from Incomplete Code on Stack Overflow (March 2024), Promoted
- Maarten Vandercammen: Inter-Process Concolic Testing of Full-stack JavaScript Web Applications (October 2023), Promoted
- Jonas De Bleser: An Automated Delta-Debugging Approach to Resilience Testing of Actor Systems through Fault Injection (October 2020), Promoted
- Quentin Stiévenart: Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading (May 2018), Promoted together with Wolfgang De Meuter
- Jens Nicolay: Purity Analysis for Higher-Order Imperative Languages: an Abstract Machine Approach (June 2016), Promoted together with Wolfgang De Meuter
- Reinout Stevens: A Declarative Foundation for Querying the History of Software Projects (May 2017), Promoted together with Viviane Jonckers
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)