Home
Address
Schedule
Personal
Research
Publications
Supervised MSc Theses
Ph D Students
Master Students
Reports
Talks
Downloads
Projects
Helium
Holmes
Marble
Neon
Top
Open projects
Master projects
Experimentation projects
Teaching
APA | COSC Coll
EA | B3SO
SP My other websites
IFL Symposia Axiom of Choice
iO Pages
Master OAC
Center
Master Program
Stc
Research Talks
Hage
Talks, ordered chronologically.
- Type Error Diagnosis in Helium
- Where: Chalmers, Göteborg, Sweden
- When: 1 March, 2013
- What: talk during my stay at Chalmers on invitation by Meng Wang
- Security Type Error Diagnosis for Higher-Order, Polymorphic Languages
- Where: Chalmers, Göteborg, Sweden
- When: 26 February, 2013
- What: talk during my stay at Chalmers on invitation by Meng Wang
- Security Type Error Diagnosis
- Where: Oxford, England
- When: 31 August, 2012
- What: presentation at Implementation and Application of Functional Languages.
- Holmes for Haskell
- Where: St. Andrews, Scotland
- When: 11th of June, 2012
- What: presentation at Trends in Functional Programming In Education.
- Invitation to an Empirical Study
- Where: Utrecht
- When: 20th of April 2012
- What: Lightning Talk at Dutch Hug Day 2012 at Ordina.
- Domain Specific Error Diagnosis for Domain Specific Languages
- Where: Garderen
- When: 19th of April 2012
- What: presentation at IPA Spring Days on Model Driven Engineering.
- Holmes for Haskell
- Where: Utrecht
- When: 6th of January 2012
- What: presentation at FP Dag 2012.
- Asil, a Haskell EDSL for Binary Instrumentation of ActionScript Programs
- Where: Lawrence, Kansas, USA
- When: 4th of October 2011
- What: presentation at IFL 2011
- Holmes Keeping Your Haskell Courses Free of Plagiarism
- Where: Lawrence, Kansas, USA
- When: 3rd of October 2011
- What: presentation at IFL 2011
- Plagiarism Detection for Java: a Tool Comparison
- Where: Heerlen, the Netherlands
- When: 7th of April 2011
- What: presentation at CSERC '11
- Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect Operators
- Adapted from the ICFP 2010 presentation for a more C-oriented audience.
- Where: Eindhoven, the Netherlands
- When: 27th of January 2011
- What: guest lecture at Vector Fabrics
- Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect Operators
- Where: Baltimore, USA
- When: 27th of September 2010
- What: ICFP 2010
- Corrective Hints for Type Incorrect Generic Java Programs
- Where: Madrid, Spain
- When: 18th of January 2010
- What: PEPM 2010
- Hunting for Haskell Frauds with Holmes
- Where: Newark, USA
- When: 23rd of September, 2009
- What: IFL 2009
- Het Hoe en Waarom van Generic Java (in Dutch)
- Where: Utrecht, the Netherlands
- When: 7th of April 2009
- What: NIOC 2009
- Improving Type Error Messages for Generic Java
- Where: Savannah, Georgia
- When: 20th of January 2009 (just before Barack Obama was inaugurated)
- What: PEPM 2009
- Neon: a Library for Language Usage Analysis
- Where: Toulouse, France
- When: 29th of September 2008
- What: SLE 2008, the 1st Conference on Software Language Engineering
- Remark: this presentation was also given at the Functioneel Programmerendag in Eindhoven, on the 9th of January 2009.
- Strategies for Solving Constraints in Type and Effect Systems
- Where: Bertinoro, Italy
- When: 31st of August 2008
- What: VODCA 2008
- Heap Recycling for Lazy Languages
- Where: University of Hertfordshire, U.K.
- When: 15th of May 2008
- What: Fun In The Afternoon lecture series
- Programplagiarism-detection with Marble
- Where: Amsterdam, The Netherlands
- When: 26th of October 2007
- What: a version of the Marble talk given below, hosted and invited by the Software Improvement Group
- my anti-plagiarism talk for Overdragen van de Informatica
- Where: Utrecht, Netherlands
- When: in the years 2005,2006 and part of 2007, more or less every 10 weeks during the school year
- What: a talk as part of the course Overdragen van de Informatica, to explain what we, as teachers, consider plagiarism, to prepare students against accusations of such.
- Mining Helium programs with Neon
- Where: Utrecht, Netherlands
- When: 21st of June 2007
- What: STC talk (extended version of the TFP presentation, see below.)
- Programplagiarism-detection with Marble
- Where: Utrecht, Netherlands
- When: 3rd of May 2007
- What: STC talk (extended version of the NIOC presentation, see below.)
- Programplagiarism-detection with Marble
- Where: Amsterdam, Netherlands
- When: 17th of April 2007
- What: presentation at NIOC 2007
- Mining Helium programs with Neon
- Where: New york, U.S.A.
- When: 4th of April 2007
- What: presentation at Trends in Functional Programming 2007 (TFP '07)
- Heuristics for type error discovery and recovery
- Where: Budapest, Hungary
- When: 5th of September 2006
- What: presentation at Implementation (and applications) of Functional Programming 2006 (IFL '06)
- Ordering Type Constraints: a Structured Approach
- Where: Nottingham, UK
- When: 19th of April 2006
- What: presentation at Trends in Functional Programming 2006 (TFP '06)
- Embedding in switching classes with skew gains
- Where: Rome
- When: 30th of September 2004
- What: conference paper presented at the second International Conference on Graph Transformations.
- Euler, bipartite and triangle-free graphs in switching classes (version 2)
- Where: Prague, dept. of Applied Mathematics, on invitation by prof. Jan Kratochvíl
- When: 18th of May 2004
- What: similar to the conference talk listed somewhere below.
- Constraint-based type inferencing in Helium (version 2)
- Where: Kinsale, Ireland
- When: 29th of September 2003
- What: presentation at the Workshop on Immediate Applications of Constraint Programming, a satellite event of the Constraint Programming conference.
- Constraint-based type inferencing in Helium (version 1)
- Where: Utrecht University
- When: 18th of September 2003
- What: preparational talk at the local ST Colloquium for the Workshop on Immediate Applications of Constraint Programming. It has little in common with the slides finally presented there (listed above)
- Co-induction
- Where: Utrecht University
- When: 13th of March 2003
- What: Co-inductive definitions presented at the local Software Technology Colloquium
- Grote Broer kijkt ook naar jou
- Where: Utrecht University
- When: 8th of January 2003
- What: a presentation about the logging facility in the Helium compiler at the Functioneel-programmerendag 2003
- Euler, bipartite and triangle-free graphs in switching classes (version 1)
- Where: Barcelona
- When: 7th of October 2002
- What: conference paper presented at the first International Conference on Graph Transformations.
- Switching classes
- Where: Leiden University
- When: 25th of September 2001
- What: a special colloquium talk preceding my promotion which was held the day after. The other talks were by visiting scientists who were in the promotion committee (Hartmut Ehrig, Hans-Joerg Kreowski and Emo Welzl).
- Critically forbidden subgraphs for acyclic switching classes (version 2)
- Where: Leiden University
- When: 27th of May 2000
- What: these slides are only a part of the talk: mathematical details evolved on the blackboard. The corresponding was published in 2004 by SIAM Journal of Discrete Mathematics. The presentation was part of a Focus Area Meeting of the Getgrats project.
- Critically forbidden subgraphs for acyclic switching classes (version 1)
- Where: Leiden University
- When: 5th of April 2000
- What: The first version of the presentation described directly above presented the local Theoretische Informatica Colloquium
- The towers of Hanoi and switching classes
- Where: Leiden University
- When: 14th of December 1999
- What: a presentation at the local two-day PhD? symposium
- ARL/PR2 (in Dutch)
- Where: Leiden University
- When: January 1994
- What: master thesis presentation