Some of my personal highlights from POPL 2011 (in order of appearance):
Pick your contexts well: understanding object-sensitivity
Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták
Correct blame for contracts: no more scapegoating
Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen
A separation logic for refining concurrent objects
Aaron Joseph Turon, Mitchell Wand
Symmetric lenses
Martin Hofmann, Benjamin Pierce, Daniel Wagner [...]
Tuesday, December 7, 2010
Slides from my ICFP talk.
Tuesday, September 15, 2009
A new blog has been created for the Wand Symposium and Festschrift:
In the coming months, presenters and editors will be working on a Festschrift in honor of Mitch, as a special issue (or issues) or Higher-Order and Symbolic Computation. We’ll also be adding links to the presentation slides and videos as they become available. We’ll [...]
Slides from Mitch Wand’s keystone talk at the symposium in his honor. Required reading for any aspiring young scientist.
Matthias Felleisen will be speaking on 02/04/2009 at 11:45am at Northeastern University (first floor West Village H), hosted by the NU ACM chapter.
This talk will describe how the Northeastern University programming curriculum (especially CSU211/213/290 and CSU670) has evolved over the last few years and Dr. Felleisen’s role in this process. This will cover the history, [...]