myExtraContent1
myExtraContent5

Talks


Scalable Dynamic Race Prediction
.
Seminar on Advanced Topics in Distributed Systems (Amsterdam, the Netherlands, 24 October 2014). [slides]

Scalable Dynamic Race Prediction.
ICT with Industry 2014 (Leiden, the Netherlands, 13 October 2014). [slides]

Dynamic Analysis.
RDCS 2014 (Leiden, the Netherlands, 9 May 2014). [slides]

Random Testing of Purely Functional Abstract Datatypes.
PPDP 2013 (Madrid, Spain, 16 September 2013). [slides]

Application parallelization for multicore Android devices.
ARM TechCon 2012 (Santa Clara, California, USA, 31 October 2012). [slides]

Polymorphic Dynamics for the Masses.
Dutch Haskell User Group Meeting (Utrecht, the Netherlands, 14 July 2011). [slides]

Of Headaches and Aspirin.
Dutch Haskell User Group Meeting (Utrecht, the Netherlands, 15 June 2011). [slides]

From Trees to Graphs and Back Again.
Dutch FP Day 2011 (Enschede, the Netherlands, 7 January 2011). [slides]

Simplifying the Hard Part of Multicore: Partitioning Code.
Embedded Live 2010 (London, England, UK, 20 October 2010). [slides]

Why Haskell Does Not Matter.
Dutch HUG Day 2010 (Nieuwegein, the Netherlands, 24 April 2010). [slides]

On the Rôle of Minimal Typing Derivations in Type-driven Program Transformation.
Vector Fabrics Colloquium (Eindhoven, the Netherlands, 9 April 2010). [slides]

On the Rôle of Minimal Typing Derivations in Type-driven Program Transformation.
LDTA 2010. (Paphos, Cyprus, 27 March 2010). [slides]

On the Rôle of Minimal Typing Derivations in Type-driven Program Transformation.
Software Technology Colloquium (Utrecht, the Netherlands, 25 February 2010). [slides]

Making “Stricterness” More Relevant.
Software Technology Colloquium (Utrecht, the Netherlands, 28 January 2010). [slides]

Making “Strictnerness” More Relevant.
PEPM 2010 (Madrid, Spain, 19 January 2010). [slides]

Spreading the Joy: Making “Stricterness” More Relevant.
Software Technology Colloquium (Utrecht, the Netherlands, 18 June 2009). [slides]

A Lightweight Approach to Datatype-Generic Rewriting.
Software Technology Colloquium (Utrecht, the Netherlands, 25 September 2008). [slides]

Heap Recycling for Lazy Languages.
PEPM 2008 (San Francisco, California, USA, 8 January 2008). [slides]

A Generic Usage Analysis with Subeffect Qualifiers.
ICFP 2007 (Freiburg, Germany, 3 October 2007). [slides]

Generic Views.
Software Technology Colloquium (Utrecht, the Netherlands, 5 January 2005). [slides]
myExtraContent7
myExtraContent8