Abstraction-Guided Synthesis
Graduate Seminar, Harvard University, September 2009
Experience Checking Linearizability
16th International SPIN Workshop on Model Checking of Software, Grenoble, France, June 2009
Research Advances in Concurrent Systems
Lecture, Sofia, Bulgaria, June 2009
Inferring Synchronization Under Limited Observability
Tools and Algorithms for the Construction and Analysis of Systems, York, England, March 2009
Machine-Assisted Construction of Concurrent Algorithms
Invited Lecture: Harvard University, November 2008
Computer-Assisted Construction of Efficient Concurrent Algorithms
EC^2 (CAV workshop), Princeton University, July 2008
Deriving Linearizable Fine-Grained Concurrent Objects
ACM PLDI, Tucson, AZ, June 2008
Computer-assisted construction of linearizable algorithms
Invited Lecture: Workshop on the Verification of Concurrent Algorithms. Microsoft Research, Cambridge, UK, May 2008
Synthesis of highly-concurrent data structures
IBM Research PLSE talk, Hawthorne, New York, April 2008
Synthesis of concurrent collectors
Invited Lecture: University of California, Berkeley, April 2008
Derivation and Evaluation of Concurrent Collectors
IBM Research, April 2007
Sun Microsystems, April 2007
Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms
ACM PLDI, Ottawa, Canada, June 2006
Derivation and Evaluation of Concurrent Collectors
ECOOP, Glasgow, Scotland, July 2005
Write Barrier Elision for Concurrent Garbage Collectors
ACM ISMM, Vancouver, Canada, October 2004