Students And Postdocs
Visser
Postdocs
- Eelco Dolstra (TraCE, 2005-2008)
Ph.D. students
- Karina Olmos (Dsp Transformation, 2000-2005)
- Martin Bravenboer (TraCE, 2003-2007)
- Anya Helene Bagge (CodeBoost; Bergen University, 2003-2007)
- Karl Trygve Kalleberg (CodeBoost; Bergen University, 2003-2006)
Master's students (with co-advisor)
2003-2004- Armijn Hemel -- NixOS (Eelco Dolstra)
- Jory van Zessen -- Optimization of functional programs
- Mart Kolthoff -- Loop vectorization for C programs
- Roy van den Broek -- Continuous integration and release management
- Bogdan Dumitriu -- Active libraries
- Raymon van Wanrooij -- Software composition
Former
(see also supervised theses)Postdoc
- Merijn de Jonge (TraCE, 2004)
PhD Students
- Eelco Dolstra -- The purely functional software deployment model (TraCE, 2001-2005)
Programmer
- Rob Vermaas (Dsp Transformation, 2004-2005)
Master's students
see also supervised theses 2005- Koen Muilwijk -- Automated analysis of unit tests to improve understanding of software systems
- Remko van Beusekom -- A Vectorizer for Octave (Karina Olmos) (Feb. 2005)
- Rene de Groot -- Design and implementation of embedded domain-specific languages (Martin Bravenboer) (Sep 2005)
- Niels Janssen -- Transformation Tool Composition
- Eric Eijkelenboom -- Trends in software evolution (Software Improvement Group)
- Robert Verrips -- Methods for software migration
- Arthur van Dam : Extending dynamic rules (Feb. 2004)
- Rob Vermaas : Extendible Documentation Generator (thesis) (Feb. 2004)
- Jozef Kruger : Specification of Loop Optimizations in Stratego. Improving the AutoBayes System
- Martin Bravenboer : Connecting XML Processing and Term Rewriting with Tree Grammars
- Jonne van Wijngaarden : Code Generation from a Domain Specific Language
- Alan van Dam : Simplifying the Simplifier
- Robert Anisko :
MetaTiger and partial evaluation (visiting from Epita) - Otto Skrove Bagge : CodeBoost (Bergen University)
- Lennart Swart : Partial Evaluation with Rewrite Rules
- Hedzer Westra : CobolX