SWAT and Rascal

CloudsCalendar19971998199920002001200220032004200520062007200820092010 — 2011 — 20122013

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]

XHTML 1.0CSS 2.1 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.