2008
Stc
2008-12-18 (BBL room 471)11.45 Martijn Schrage - Proxima 2.0, WYSIWYG generic editing for the Web 2008-12-11 (BBL room 471)
11:45 Peter Rademaker - Binary relational querying for structural source code analysis (thesis defense) 2008-12-04 (BBL room 471)
11.45 Chung-chieh Shan (Rutgers University) - Shifting the Stage: Staging with Delimited Control 2008-11-27 (BBL room 471)
11.45 Guangyu Zhang - Binding-Time Analysis : Subtyping versus Subeffecting (thesis defense) 2008-11-20 (BBL room 471)
11.00 Klaas van Schelven (Xaba) - Using Python Generators in Multiplexing Servers
12.00 Alesya Sheremet - Polyvariant Escape Analysis (thesis defense) 2008-11-13 (BBL room 471)
11.45 Maaike Gerritsen - Extending T2 with Prime Path Coverage Exploration (thesis defense) 2008-10-30 (BBL room 471)
11.45 Wishnu Prasetya - Applying Algebraic Specifications and Testing to Java 2008-10-23 (BBL room 471)
11.45 Gideon Smeding - An Executable Operational Semantics For Python (thesis defense) 2008-10-16 (BBL room 471)
11.45 Gerbo Engels - A Proxima-based Haskell IDE (thesis defense) 2008-10-09 11.45 (BBL room 471)
Doaitse Swierstra - Constructing and Composing Efficient Top-down Parsers at Runtime 2008-10-02 (BBL room 471)
11.45 Lambert Meertens - The Generic Paradigm 2008-09-29 (BBL room 430)
14.00 Mark Snyder - Non-Canonical LALR(k) Parsing (thesis defense) 2008-09-25 (BBL room 471)
11.00 Stefan Holdermans - A Lightweight Approach to Datatype-Generic Rewriting 2008-09-18 (BBL room 471)
11.00 Alexey Rodriguez Yakushev - Comparing Libraries For Generic Programming In Haskell 2008-08-28 (Minnaert 211)
11:00 Mark Stobbe: THEMIS: Framework for Automated Testing of Graphical User Interfaces (thesis defense) 2008-08-25 (Went N017)
14:00 Andor Demarteau: Requirements for a Human-Centric Trust Management System in an Open De-Perimeterised Network Environment (thesis defense) 2008-06-26 (BBL room 471)
11.00 John van Schie - Compiling Haskell to LLVM (Thesis Defense)
12.00 Holger Siegel - Debugging Haskell programs by asking the oracle 2008-06-19 (BBL room 471)
11.00 Nico Verwer - Developing XML Applications with Apache Cocoon
12.00 Armand Gelissen - A domain-specific language for generating Rich Internet Applications (Thesis defense) 2008-06-12 (BBL room 471)
11.00 Chris Eidhof - Power of Pi
12.00 Andres Löh - Terminating combinator parsers in Agda 2008-06-05 (BBL room 471)
11.00 Jeiel Schalkwijk - MapReduce
12.00 Eelco Lempsink - HAppS 2008-05-29 (BBL room 471)
11.00 Wolfgang Jeltsch (TU Cottbus) - Declarative Programming of Interactive Systems with Grapefruit
12.00 Johan Hagendijk (Collis) - Protocol and Interface Testing with the Conclusion Test Platform 2008-05-22 (BBL room 471)
11.00 Arie Middelkoop - GADTs in EHC
12.00 Xiaoyu Cui - Multiple inheritance 2008-05-15 (BBL room 471)
12.00 Tom Lokhorst - Language Integrated Query (LINQ) for the .NET Framework 2008-05-08 (BBL room 471)
11.00 Christiaan Hees - Object-Relational Mapping with Hibernate
12.00 Guangyu Zhang - Trace-based Logic Testing 2008-04-24 (BBL room 471)
11.00 Laurence Cabenda - Model-Based Testing with Spec Explorer
12.00 Nabil el Boustani - Improving Type Error Messages for Generic Java (Thesis Defense) 2008-04-17 (BBL room 420)
11.00 Robert Stremler - Static Contract Checking for Haskell
12.00 Arie Middelkoop - Optimizing Attribute Grammars 2008-04-10 (BBL room 471)
11.00 Martin Matusiak - Dynamic aspects of Python 2008-04-03 (BBL room 471)
11.00 Martijn van Steenbergen - The Burrows-Wheeler Transform
2008-03-27 (BBL room 471)
11.00 Mart Kolthof - Vector LLVA
12.00 Jeroen Fokker - Abstract interpretation of functional programs using an attribute grammar system 2008-03-20 (BBL room 471)
11.00 Nabil el Boustani - JastAdd
12.00 Brian Vermeer - Rainbowtables and Password protection 2008-03-13 (BBL room 471)
11.00 Niek van der Maas - Programming in D
2008-03-06 (BBL room 471)
11.00 Matthijs Meulenbrug - JavaScript: Prototype based inheritance and anonymous functions
2008-02-28 11.45 (BBL room 471)
Wouter den Breejen - Managing state in a purely functional deployment model (Thesis Defense) 2008-02-21 (BBL room 471)
11.00 Maaike Gerritsen - The Zipper
12.00 Erik van Seters - F# - A Functional Programming Language within the .NET Framework
2008-02-14 (BBL room 471)
11.00 Gideon Schmeding - Proxima in Practice
12.00 Alesya Sheremet - Combining Forward and Backward Parsers
2008-02-07 11.45 (BBL room 471)
Niels van de Weem - Relations as a First-Class citizen in Java (Thesis Defense) 2008-01-31 (BBL room 471)
11.00 Niels van de Weem - The Spring Framework
12.00 Laurence Cabenda - CLP, A load & performance framework for the Conclusion Test Platform (Thesis Defense) 2008-01-24 11.45 (BBL room 471)
Thomas van Noort - Generic Views for Generic Types (Thesis Defense) 2008-01-17 (BBL room 471)
11.00 Mark Stobbe - EMMA: a free code coverage tool
12.00 John van Schie - Implement your own Dynamic Binary Analysis using the Valgrind Framework 2008-01-10 11.45 (BBL room 471)
Christophe Poucet - Intermediate Sequence Removal -- PietVanOostrum - 08 Jan 2009