Lectures (Theory)
PhD Theses
Master's Theses
- 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
- 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
- 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)