Lectures (Theory)
- Bachelor:
- Interpretatie van Computerprogramma's (2015-2016, 2016-2017, 2017-2018)
- Software Engineering (2015-2016, 2016-2017, 2017-2018)
- Programmeerproject 1 (2014-2015, 2015-2016, 2016-2017, 2017-2018)
Structuur
van Computerprogramma's II (2011-2012, 2012-2013,
2013-2014, 2014-2015)
-
Master:
PhD Theses
Master's Theses
- 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
- 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 Denzel 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)