2007
Stc
2007-12-20 11.45 (BBL room 471)Jinfeng Zhu - Java Pathfinder 2007-12-13 11.45 (BBL room 471)
Peter Rademaker - Comparing program plagiarism detection tools 2007-12-06 11.45 (BBL room 471)
Bastiaan Heeren and Johan Jeuring - The ICFP Contest 2007 2007-11-29 11.45 (BBL room 471)
Jinfeng Zhu - Automatic Instruction Set Generation (thesis defense) 2007-11-22 11.45 (BBL room 471)
Anne-Elisabeth Tran Qui, Cyril Schmidt (ABN-AMRO) - The default case in Haskell: Counterparty credit risk calculation at ABN AMRO 2007-11-15 11.45 (BBL room 471)
Kasper Brink - Proving Program Properties Automatically with AgdaLight 2007-11-08 11.45 (BBL room 471)
Reinier Vis - Generating syntax diagrams from EBNF with AG 2007-11-01 11.45 (BBL room 471)
Wishnu Prasetya - QuickChecking your Java Classes with T2 2007-10-25 11.45 (BBL room 471)
Sander Mak - Developing Interacting Domain Specific Languages (Thesis Defense) 2007-10-18 11.45 (BBL room 471)
Jacob Kleerekoper - Design of a Functionality Language (Thesis Defense) 2007-10-11 11.45 (BBL room 471)
Jacob Kleerekoper - JML: a notation for specifying the detailed design of Java classes and interfaces 2007-10-04 11.45 (BBL room 471)
Gerbo Engels - Curry, A Truly Integrated Functional Logic Language 2007-09-27 11.45 (BBL room 471)
Eric Bouwers Improving Automated Feedback - Building a Generic Rule-Feedback Generator (Thesis Defense) 2007-09-20 11.45 (BBL room 471)
Jeroen Fokker - The structure of the Essential Haskell Compiler, or Coping with Compiler Complexity 2007-09-13 11.45 (BBL room 471)
Stefan Holdermans - A Generic Usage Analysis with Subeffect Qualifiers 2007-09-06 11.45 (BBL room 471)
Reinier Vis - Call-graph analysis of polymorphic constructs in C# sources (thesis defense) 2007-08-31 11.30 (BBL room 420)
Michiel Overeem - Dynamic Archive Management: a framework for dynamic database schemas (Thesis Defense) 2007-08-23 11.45 (BBL room 471)
Lennart Kats - Supporting Generative programming by Mixing Java and Bytecode 2007-07-12 11.45 (BBL room 471)
Armand Gelissen - Comparing distributed version control systems 2007-06-28 11.45 (BBL room 471)
Arthur van Leeuwen - Optimizing Dazzle 2007-06-21 11.45 (BBL room 471)
Jurriaan Hage - Mining Helium Programs with Neon 2007-05-24 11.45 (BBL room 471)
Lennart Kats - DSTM2: A Flexible and Extensible Transactional Memory Framework 2007-05-03 11.45 (BBL room 471)
Jurriaan Hage - Program plagiarism detection with Marble 2007-04-26 11.45 (BBL room 471)
Edsko de Vries (Trinity College Dublin, Compiler Design Research Group) - Equality-Based Uniqueness Typing 2007-04-19 11.45 (BBL room 471)
Eelco Dolstra - Purely Functional System Configuration Management 2007-04-12 11.45 (BBL room 471)
Wouter Swierstra (Nottingham) - Implementing a Dependently Typed Lambda Calculus 2007-03-29 11.45 (BBL room 471)
Remi Turk - Genuinely Functional User Interfaces 2007-03-15 11.00 (BBL room 471)
Wouter den Breejen - Exploiting hardware errors 2007-03-15 12.00 (BBL room 471)
Patrick Camphuijsen - Soft typing and analyses for PHP programs (Thesis Defense) 2007-03-08 11.45 (BBL room 471)
Mark Snyder - Software Transactional Memory 2007-02-22 11.45 (BBL room 471)
Gerrit van den Geest - Constraints for Type Class Extensions (master's thesis defense) 2007-02-08 11.45 (BBL room 426)
Arie Middelkoop - Evolution of a Haskell Programmer 2007-01-25 11.45 (BBL room 471)
Alexey Rodriguez Yakushev - Avoiding the laziness tax 2007-01-18 11.45 (BBL room 471)
Joost Verhoog - Strictifying Attribute Evaluation (master's thesis defense) 2007-01-11 11.45 (BBL room 471)
Huib van den Brink - A framework to distil SQL queries out of host languages in order to apply quality metrics (master's thesis defense)