Lectures (Theory)

• Bachelor:
  • Interpretatie van Computerprogramma's (2015-2016, 2016-2017, 2017-2018, 2018-2019)
  • Software Engineering (2015-2016, 2016-2017, 2017-2018, 2018-2019)
  • Programmeerproject I (2014-2015, 2015-2016, 2016-2017, 2017-2018)
  • Structuur van Computerprogramma's II (2011-2012, 2012-2013, 2013-2014, 2014-2015)
• Master:
  • Software Quality Analysis (2013-2014, 2014-2015, 2015-2016, 2016-2017, 2017-2018, 2018-2019)
  • Software Architectures (2015-2016, 2016-2017, 2017-2018, 2018-2019)
  • Declarative Programming (2010-2011)

PhD Theses

• 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

• 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

• 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)