Joshua Dunfield

I'm a postdoc in Umut Acar's Programming Languages and Systems group at the Max Planck Institute for Software Systems in Kaiserslautern. I came here after a postdoc with Brigitte Pientka's Computation and Logic Group at McGill University in Montreal.

I received my Ph.D. from CMU, where I worked with Frank Pfenning on refined type systems for programming languages, which allow programmers to state, and compilers to check, more invariants about programs. Go ahead, read my dissertation.

I recently became a permanent resident of Canada. (Yes, despite not being a resident.)

For all the scandalous details about my professional life, see my CV (last updated January 2012).

Namur métro station, Montreal

Research

Currently:

Self-adjusting computation, with Umut Acar, Yan Chen and Matthew Hammer.
Elaborating unrestricted intersection and union types.

News

May 2012: My paper on type annotations for languages with intersection types was accepted at ITRS ’12.

January 2012: Our paper describing an implementation of the theory developed in our ICFP ’11 paper on implicit self-adjusting computation was accepted to PLDI ’12.

January 2011: The final version of a paper at Intersection Types and Related Systems (ITRS 2010) has appeared in EPTCS.

August 2009: I presented Greedy bidirectional polymorphism at the ML Workshop in Edinburgh.

All papers and publications

Teaching

In Winter 2010 (at McGill), I taught COMP 302: Programming Languages and Paradigms.

Travel

2012-06-08?–2012-06-15?: Beijing (PLDI)
2012-06-25?–2012-06-30?: Dubrovnik (LICS & ITRS)

Random bits

If you use OS X and prefer spell to ispell, try GNU spell with getline included (OS X does not have getline). You may also need to sudo port install ispell (GNU spell is just a wrapper).

Contact

+49 631 9303 9315

Joshua Dunfield
MPI-SWS
Gottlieb-Daimler-Str. 49
67663 Kaiserslautern
Germany