By date (recent first);  By subject

2014

Yan Chen
Joshua Dunfield
Matthew A. Hammer
Umut A. Acar
Implicit self-adjusting computation for purely functional programs
Journal of Functional Programming, 2014
Paper (PDF)
Joshua Dunfield Elaborating intersection and union types
Journal of Functional Programming, 2014
Paper (PDF)

2013

Joshua Dunfield
Neelakantan R. Krishnaswami
Complete and easy bidirectional typechecking for higher-rank polymorphism
ICFP ’13, September 2013, Boston
Paper (PDF) Slides

2012

Joshua Dunfield Elaborating intersection and union types
ICFP ’12, September 2012, Copenhagen
Paper (PDF) Slides Video (YouTube)
Yan Chen
Joshua Dunfield
Umut A. Acar
Type-directed automatic incrementalization
PLDI ’12, June 2012, Beijing
Paper (PDF)
Joshua Dunfield Annotations for intersection typechecking
ITRS ’12, June 2012, Dubrovnik; post-proceedings version to appear in EPTCS
Paper (PDF) Slides

2011

Yan Chen
Joshua Dunfield
Matthew A. Hammer
Umut A. Acar
Implicit self-adjusting computation for purely functional programs
ICFP ’11, September 2011, Tokyo
Paper (PDF) Slides

2010

Brigitte Pientka
Joshua Dunfield
Covering all bases: design and implementation of case analysis for contextual objects
October 2010
Draft paper (PDF)
Joshua Dunfield Untangling typechecking of intersections and unions
ITRS ’10, July 2010, Edinburgh; post-proceedings version in EPTCS 45, Jan. 2011
Paper (PDF) Slides
Brigitte Pientka
Joshua Dunfield
Beluga: a framework for programming and reasoning with deductive systems (system description)
IJCAR ’10, July 2010, Edinburgh
Paper (PDF)

2009

Joshua Dunfield Greedy bidirectional polymorphism
ML Workshop, August 2009, Edinburgh
Paper (PDF) Slides
Joshua Dunfield Bidirectional polymorphism through greed and unions
March 2009
Draft paper (PDF)

2008

Brigitte Pientka
Joshua Dunfield
Programming with proofs and explicit contexts
PPDP ’08, July 2008, Valencia
Paper (PDF) Slides
Joshua Dunfield
Brigitte Pientka
Case analysis of higher-order data
LFMTP ’08, June 2008, Pittsburgh
Paper (PDF) Slides

≤2007

Joshua Dunfield Refined typechecking with Stardust
PLPV ’07, October 2007, Freiburg
Paper (PDF) Slides
Joshua Dunfield A unified system of type refinements
Doctoral dissertation, August 2007
Thesis (PDF) Slides
Joshua Dunfield Applying type refinements
Student Seminar Series talk, May 2005
Slides
Joshua Dunfield
Frank Pfenning
Tridirectional typechecking (extended version)
March 2004
Technical report (PDF)
Joshua Dunfield Unifying principles of type refinements
February 2004
Thesis proposal (PDF)
Joshua Dunfield
Frank Pfenning
Tridirectional typechecking
POPL ’04, January 2004, Venice
Paper (PDF) Slides
Joshua Dunfield
Frank Pfenning
Type assignment for intersections and unions in call-by-value languages
FOSSACS ’03, April 2003, Warsaw
Paper (PDF) Slides
Joshua Dunfield Combining two forms of type refinements
September 2002
Technical report (PDF)

Colour key

slides video
unrefereed manuscript technical report unrefereed workshop paper
dissertation refereed conference or workshop paper
journal paper

BibTeX entries for all papers

 

Ancient History

Compilers

Joshua Dunfield
Aleksey Kliger
Tail call optimization in SUIF
April 2003
Course project report (PDF)

Interactive Program Verification

 


Joshua Dunfield