List of presentations in 2011 (latest first)
- (PEM) Developing tool support for component-based language specification.
- Date: 14 December 2011, 11:00, L120.
- Speaker: Peter Mosses (Department of Computer Science, Swansea University).
- Materials: [Abstract]
- Finding Naming Bugs in Method Names using Nano Patterns and Formal Concept Analysis.
- Date: 23 November 2011, 10:00, L016.
- Speaker: Jouke Stoel (SWAT, CWI).
- Materials: [Abstract]
- Squinting at the Data: Investigating Software Artifact Provenance using KISS Techniques.
- Date: 16 November 2011, 10:00, L016.
- Speaker: Mike Godfrey.
- Materials: [Abstract]
- Purely Functional Algorithm Specification.
- Date: 19 October 2011, 10:00, L016.
- Speaker: Jan van Eijck (SWAT, CWI).
- Materials: [Abstract]
- Context-Free General Parsing in Cubic Time (or less) — The Scannerless General Top-Down Binary Forest Parser.
- Date: 29 September 2011, 10:00, L016.
- Speaker: Arnold Lankamp (SWAT, CWI).
- Materials: [Abstract]
- (PEM) Formal Model-based Language Engineering using K and Rascal.
- Date: 20 September 2011, 13:30, L017.
- Speaker: Vlad Rusu (Inria Lille Nord-Europe, France).
- Materials: [Abstract]
- Introduction to Rascal Syntax Definitions.
- Date: 15 September 2011, 10:00, L016.
- Speaker: Jurgen Vinju (SWAT, CWI).
- Materials: [Abstract]
- Exploring Methods for Locating Features in Software Systems.
- Date: 1 September 2011, 10:00, L016.
- Speaker: Davy Landman (SWAT, CWI).
- Materials: [Abstract]
- Ensō: Towards Model-driven Programming.
- Date: 25 August 2011, 10:00, L016.
- Speaker: Tijs van der Storm (SWAT, CWI).
- Materials: [Abstract]
- Toward an Engineering Discipline for Grammar Recovery.
- Date: 18 August 2011, 10:00, L016.
- Speaker: Vadim Zaytsev (SWAT, CWI).
- Materials: [Abstract] [Slides]
- DoKRe — A Method for Automated Domain Knowledge Recovery from Source Code.
- Date: 28 July 2011, 10:00, L016.
- Speaker: Christian Köppe (SWAT, CWI).
- Materials: [Abstract]
- Purely Functional Algorithm Specification.
- Date: 30 June 2011, 10:30, L016.
- Speaker: Jan van Eijck (SWAT, CWI).
- Materials: [Abstract] [Slides]
- ???
- Date: 30 June 2011, 10:00, L016.
- Speaker: Randy Fluit (SWAT, CWI).
- Materials: [Abstract]
- (PEM) Benchmark-based Software Product Quality.
- Date: 23 June 2011, 10:00, L016.
- Speaker: Tiago Miguel Laureano Alves (Software Improvement Group, University of Minho, Portugal)).
- Materials: [Abstract] [SIG]
- Knowledge-Based Protocols for Unconditional Security.
- Date: 16 June 2011, 10:00, L016.
- Speaker: Fernando Soler Toscano (Universidad de Sevilla, Spain).
- Materials: [Abstract]
- Ambiguity Detection: Scaling to Scannerless.
- Date: 16 June 2011, 10:00, L016.
- Speaker: Bas Basten (SWAT, CWI).
- Materials: [Abstract]
- An Overview of Compiling Lazy Functional Languages.
- Date: 25 May 2011, 10:00, L016.
- Speaker: Atze van der Ploeg (SWAT, CWI).
- Materials: [Abstract]
- Typeful Ontologies with Direct Multilingual Verbalization.
- Date: 19 May 2011, 10:00, L015.
- Speaker: Ramona Enache (University of Gothenburg).
- Materials: [Abstract]
- On Reactive Systems and Games of Infinite Duration.
- Date: 12 May 2011, 10:00, L016.
- Speaker: Sunil Simon (SWAT, CWI).
- Materials: [Abstract]
- Cheating on the Undecidability of Language Equivalence.
- Date: 28 April 2011, 10:00, L016.
- Speaker: Vadim Zaytsev (SWAT, CWI).
- Materials: [Abstract] [Slides]
- Logic of Message Passing between Knowledgeable Agents.
- Date: 14 April 2011, 10:00, L016.
- Speaker: Floor Sietsma (SWAT, CWI).
- Materials: [Abstract]
- (PEM) Verifiable Composition of Language Extensions: Some Solutions and Open Questions.
- Date: 12 April 2011, 10:00, L016.
- Speaker: Eric van Wyk (University of Minnesota).
- Materials: [Abstract]
- Bringing Domain-Specific Languages to Digital Forensics.
- Date: 31 March 2011, 10:00, L016.
- Speaker: Jeroen van den Bos (SWAT, CWI).
- Materials: [Abstract] [Paper]
- Concepts & Axiom-Based Testing.
- Date: 24 March 2011, 10:00, L016.
- Speaker: Anya Helene Bagge.
- Materials: [Abstract] [Paper] [Paper]
- Model Driven Visualization.
- Date: 17 March 2011, 10:00, L016.
- Speaker: Robert van Liere (SWAT, CWI).
- Materials: [Abstract]
- Rascal demo.
- Date: 3 March 2011, 10:00, L016.
- Speakers: Jurgen Vinju (SWAT, CWI), Tijs van der Storm (SWAT, CWI).
- Materials: [Abstract]
- Grammar Investigation.
- Date: 24 February 2011, 10:00, L016.
- Speaker: Vadim Zaytsev (SWAT, CWI).
- Materials: [Abstract] [Demo]
- Next Generation Audit.
- Date: 17 February 2011, 10:00, L016.
- Speaker: Paul Griffioen (SWAT, CWI).
- Materials: [Abstract]
- (PEM) Language Modularization with MPS.
- Date: 18 February 2011, 9:00, L017.
- Speaker: Markus Völter (Germany).
- Materials: [Abstract]
- On the Origins of Strings.
- Date: 10 February 2011, 10:00, L016.
- Speaker: Tijs van der Storm (SWAT, CWI).
- Materials: [Abstract]
- Program Databases, Compiler Stages and Integrated Editors.
- Date: 3 February 2011, 10:00, L016.
- Speaker: Anya Helene Bagge.
- Materials: [Abstract]
- First Steps towards Interactive Software Visual Analytics.
- Date: 27 January 2011, 10:00, L016.
- Speaker: Paul Klint (SWAT, CWI).
- Materials: [Abstract]
- Grammatical Framework.
- Date: 20 January 2011, 10:00, L016.
- Speaker: Jan van Eijck (SWAT, CWI).
- Materials: [Abstract]
- (PEM) Maintenance Complexity: a New Metric.
- Date: 13 January 2011, 10:00, L016.
- Speaker: Jurgen Vinju (SWAT, CWI).
- Materials: [Abstract]
Page generated on 20/02/2013. All material on this website is © by PEM speakers unless stated otherwise.
The list is maintained by Vadim Zaytsev.
Older abstracts are recovered by Vadim Zaytsev from archives of Jurgen Vunju and Bas Basten: URLs mentioned there are not guaranteed to work.