Talks

Selected talks with slides, starting with the most recent ones.

• Customizing type error diagnosis in GHC at LiVe4CS Colloquium on December 5, 2017, Glasgow, Scotland
• A Quantitative Comparison of Program Plagiarism Detection Tools at CSERC ‘17 on November 14, 2017, Helsinki, Finland
• Customizing type error diagnosis in the Glorious Glasgow Haskell Compilation System at Compose Melbourne on August 28, 2017, Melbourne, Australia
• Constraint Handling Rules with Binders, Patterns and Generic Quantification at ICLP 2017 on August 31, 2017, Melbourne, Australia
• Domain-Specific Error Diagnosis in GHC Curry On Barcelona on June 20, 2017, Barcelona, Spain [watch video]
• During a sabbatical at Chalmers, Gothenburg, Jan - Apr 2017 I gave a series of talks on type error diagnosis. all 3 talks
• Balancing Cost and Precision of Approximate Type Inference in Python PEPM 2017 on January 17, 2017, Paris, France.
• Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules at NJPLS, University of Pennsylvania, Philadelphia on May 19, 2016
• Hybrid approaches to software clustering: from the human in the loop to combining multiple sources of information at Transforming Legacy Software Symposium (with Amir Saeidi) on April 13, 2016, Utrecht, Netherlands
• Making Embedded Domain Specific Languages a Practical Reality at Domcode 2015, Urecht on November 14, 2015
• Making Embedded Domain Specific Languages a Practical Reality at Curry On 2015, Prague on July 6, 2015 [watch video]
• The Past, Present and Future of the Programmer-Friendly Helium Compiler at the Haskell Implementors Workshop, Gothenburg, Sweden, on September 6, 2014
• Type Error Diagnosis in Helium Chalmers, Göteborg, Sweden on invitation by Meng Wang and Mary Sheeran on March 1, 2013
• Security Type Error Diagnosis for Higher-Order, Polymorphic Languages Chalmers, Göteborg, Sweden on invitation by Meng Wang and Mary Sheeran on February 26, 2013
• Domain Specific Error Diagnosis for Domain Specific Languages at IPA Spring Days on Model Driven Engineering, Garderen, the Netherlands on April 19, 2012.
• Asil, a Haskell EDSL for Binary Instrumentation of ActionScript Programs at IFL 2011, Lawrence, Kansas, USA on October 4, 2011
• Plagiarism Detection for Java: a Tool Comparison at CSERC ‘11, Heerlen, the Netherlands on April 7, 2011.
• Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect Operators at ICFP 2010, Baltimore, USA on September 27, 2010
• Corrective Hints for Type Incorrect Generic Java Programs at PEPM 2010, Madrid Spain on January 18, 2010
• Het Hoe en Waarom van Generic Java(in Dutch) at NIOC 2009, Utrecht, the Netherlands on April 7, 2009
• Improving Type Error Messages for Generic Java at PEPM 2009, Savannah, Georgia on January 20, 2009 (just before Barack Obama was inaugurated)
• Neon: a Library for Language Usage Analysis at SLE 2008, Toulouse, France on September 29, 2008
• Strategies for Solving Constraints in Type and Effect Systems at VODCA 2008, Bertinoro, Italy on August 31, 2008
• Heap Recycling for Lazy Languages University of Hertfordshire, U.K., Fun In The Afternoon lecture Series on May 15, 2008.
• Programplagiarism-detection with Marble at NIOC 2007, Amsterdam, Netherlands on April 17, 2007
• Heuristics for type error discovery and recovery at IFL ‘06, Budapest, Hungary on September 5, 2006
• Euler, bipartite and triangle-free graphs in switching classes (version 2) at Prague, Dept. of Applied Mathematics, on invitation by prof. Jan Kratochvíl on May 18, 2004
• Constraint-based type inferencing in Helium (version 2) at Workshop on Immediate Applications of Constraint Programming, Kinsale, Ireland on September 29, 2003