Thesis and Apprenticeship Proposals 2009-2010

Feel free to contact us for more information on the topics below. Note that the topics are not 100% fixed. We are always open for suggestions and are willing to tailor a proposal that matches your particular interests/background.

• Smart Annotations (Andy Kellens - PROG, Kris De Schutter - PROG)
• A Declarative Framework for Architectural Description Languages (Veronica Uquillas - PROG, Andy Kellens - PROG)
• Do you adapt or do you comply: on configuration, languages, and complex systems. (Thomas Cleenewerck - PROG)

• Towards Round-Trip Engineering in Model-Driven Software Product Lines (Dennis Wagelaar - SSEL, Ragnhild Van Der Straeten - SSEL/ULB)

• Strategies for Incremental Inconsistency Resolution (Ragnhild Van Der Straeten - SSEL/ULB)
• Inconsistency Detection and Resolution using Alloy (Ragnhild Van Der Straeten - SSEL/ULB)

• Incremental Inconsistency Checking in RACOoN (Ragnhild Van Der Straeten - SSEL/ULB)
• Generating Inconsistency Resolutions in RACOoN (Ragnhild Van Der Straeten - SSEL/ULB)

• Consistency Checking for Model-Based Runtime Software Adaptation (Dirk Deridder - SSEL, Ragnhild Van Der Straeten - SSEL/ULB)

• Model Transformation for Source Code Transformation (Carlos Noguera - SSEL)
• Refactoring Java Annotations (Carlos Noguera - SSEL)
• Intensional Views on Model-Driven Engineering (Andy Kellens - PROG, Dennis Wagelaar - SSEL)

• Supporting the Data Perspective in the Unify Framework (Niels Joncheere - SSEL, Ragnhild Van der Straeten - SSEL/ULB)

• Supporting Stateful Aspects in the Unify Framework (Niels Joncheere - SSEL, Ragnhild Van der Straeten - SSEL/ULB)

• Supporting the Developer in Ordering Connectors in the Unify Framework (Niels Joncheere - SSEL, Ragnhild Van der Straeten - SSEL/ULB)

• Making documentation a first-class citizen in a programming language (Dirk Deridder - SSEL, Andy Kellens - PROG)
• Distributed Object-Oriented Programming in an Internet of Things (Andoni Lombide Carreton - PROG, Christophe Scholliers - PROG)
• Profiling and Optimization of AmbientTalk (Tom Van Cutsem - PROG, Christophe Scholliers - PROG)
• Debugging Ambient-Oriented Programs (Elisa Gonzalez Boix - PROG, Stijn Timbermont - PROG)
• Just-In-Time Compilation for Multi-Core Virtual Machines (Stefan Marr - PROG)
• Optimization of Virtual Machines for Few-Core Systems (Theo D'Hondt - PROG)
• Generalizing Generics: Type variables with both upper and lower bounds (Bruno De Fraine - SSEL)
• Building Pervasive Identities (Jorge Vallejos - PROG, Engineer Bainomugisha - PROG)
• ContextHOP: Context-Oriented Programming for the Web 2.0 ( Pascal Costanza - PROG, Jorge Vallejos - PROG)
• ORM for Prototype-based and Concurrent Languages (Wolfgang De Meuter - SOFT)

• Quantum Computing and Stream Programming (Yves Vandriessche - PROG)