Section: Dissemination

Teaching

ATEAMS taught the following courses in 2011:

• Master: Software Evolution, 8 hours per week, Universiteit van Amsterdam, The Netherlands. Jurgen Vinju responsible, assistants Paul Klint, Vadim Zaytsev, Tijs van der Storm, Anastasia Izmaylova, Davy Landman and Atze van der Ploeg.

• Master: Software Construction, 8 hours per week, Universiteit van Amsterdam, The Netherlands. Tijs van der Storm responsible, assistants Jurgen Vinju and Mark Hills.

• Master: Software Testing, 8 hours per week, Universiteit van Amsterdam, The Netherlands. Jan van Eijck responsible, assistants Bert Lisser and Floor Sietsma.

• Bachelor: 5 language Summer school (Rascal day), 8 hours, Tijs van der Storm responsible, assistants Mark Hills, Jeroen van den Bos and Atze van der Ploeg.

• Master: Software Evolution, Open Universiteit, The Netherlands. Paul Klint and Jurgen Vinju facilitate two guest courses and the course material.

These are the PhD students of ATEAMS in 2011:

• PhD : Bas Basten, Ambiguity Detection for Programming Language Grammars, Universiteit van Amsterdam, December 15th 2011, supervisors Paul Klint, Jurgen Vinju

• PhD in progress : Paul Griffioen, Next Generation Computational Auditing, started 2011, supervisors Paul Klint, Philip Elsas

• PhD in progress : Anastasia Izmaylova, A General Language Parametric Framework for Software Refactoring, started 2011, supervisors Paul Klint, Jurgen Vinju

• PhD in progress : Jeroen van den Bos, Digital Forensics Software Engineering, started 2010, supervisors Paul Klint, Tijs van der Storm

• PhD in progress : Atze van der Ploeg, Rapid Language Parametric Prototyping of Software Visualization and Exploration, started 2011

• PhD in progress : Davy Landman, Recovery and Synthesis of Domain Specific Language Design, started 2011

• PhD in progress : Floor Sietsma, Logics of Communication and Knowledge, started 2009, supervisors Jan van Eijck, Krzysztof Apt

• PhD in progress : Riemer van Rozen, Software Engineering Principles for the Gaming Domain, started 2011, supervisor Paul Klint

ATEAMS members supervised the following masters theses in 2011:

• Christian Köppe, DoKRe - A Method for Automated Domain Knowledge Recovery from Source Code

• Jouke Stoel, Finding Naming Bugs with Formal Concept Analysis (to appear)

• Davy Landman, Exploring Methods for Locating Features in Software Systems : a DSL Perspective

• Gijs van Lammeren, Automatic Scaling of the Windows Azure Platform : A study on the efficiency of scaling policies

• Jan de Mooij, Testcase Generation based on Property-based Testing

• Joost Pastoor, Sensor query performance optimization by caching

• Lennart Tange, Test-based modeling

• Roberto van der Horst, The Influence of First-Class Relations on Coupling and Cohesion : A Case Study

• Marvin Jacobsz, Een performance analyse van “Hiphop for PHP”

• Aart van den Dolder, Bepaling van de geschiktheid van Oracle Forms applicaties voor inbeheername door middel van automatische code review volgens het SIG Maintainability model

• Randy Fluit, Differencing Context-free Grammars

• Willem Fibbe, Calculating detailed source code metrics and applying them to find code clones

• Freddy Offenga, Aanleiding tot refactoring : Een exploratief onderzoek naar detectie en uitvoering van de Rename Method refactoring

• Rob Smit, Idioms-based Business Rule Extraction

• Lammert Vinke, Estimate the post-release Defect Density based on the Test Level Quality

• Lennart Tange, Test-based Modeling

• Niels Beekman, Evaluation of storage mechanisms for a content repository

• Maarten Hoekstra, Static source code analysis with respect to ORM performance anti-patterns