Talks

Relational Inductive Shape Analysis (ppt): January 11, 2008
Thirty-Fifth Symposium on Principles of Programming Languages (POPL'08)
San Francisco, California, USA
Materialization in Shape Analysis with Structural Invariant Checkers (pdf): August 27, 2007
IT University of Copenhagen
Shape Analysis with Structural Invariant Checkers (pdf): August 24, 2007
Fourteenth International Static Analysis Symposium (SAS'07)
Kongens Lyngby, Denmark
Shape Analysis with Structural Invariant Checkers (pdf): May 10, 2007
Open Source Quality Project Retreat
Santa Cruz, California, USA
Analysis of Low-Level Code Using Cooperating Decompilers (pdf): August 31, 2006
Thirteenth International Static Analysis Symposium (SAS'06)
Seoul, Korea
Compositional Verifiers for Mobile Code Safety: May 12, 2005
Open Source Quality Project Retreat ("5-minute madness")
Santa Cruz, California, USA
Proof-Carrying Verifiers: Sound and Efficient Mobile Code Verification (png): March 5, 2005
With Adam Chlipala
Fourth Annual Berkeley-Stanford Computer Science Day
Stanford University
Inferring Object Invariants (html-ie, pdf, ps): January 21, 2005
First International Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL'05)
Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05)
Paris, France
Abstract Interpretation with Alien Expressions and Heap Structures (html-ie, pdf, ps): January 18, 2005
Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05)
Paris, France
Type-Based Verification of Assembly Language for Compiler Debugging (html-ie, pdf, ps): January 10, 2005
Second Workshop on Types in Language Design and Implementation (TLDI'05)
Thirty-Second Symposium on Principles of Programming Languages (POPL'05)
Long Beach, California, USA
Abstract Interpretation with Alien Expressions and Heap Structures: November 12, 2004
Open Source Quality Project Meeting
University of California, Berkeley
Extensible Verification of Untrusted Code: May 13, 2004
Open Source Quality Project Retreat
Santa Cruz, California
Coolaid: Debugging Compilers with Verification (Poster: jpg, png): May 13, 2004
Open Source Quality Project Retreat ("5-minute madness")
Santa Cruz, California
Programming Languages for Biology: November 11, 2003
Open Source Quality Project Meeting
University of California, Berkeley
Under the Hood of the Open Verifier: October 21, 2003
Open Source Quality Project Meeting
University of California, Berkeley
PML: Toward a High-Level Formal Language for Biological Systems: September 6, 2003
Workshop on Concurrent Models in Molecular Biology (BioConcur)
International Conference on Concurrency Theory (CONCUR '03)
Marseille, France
PML: Toward a High-Level Formal Language for Biological Systems: July 24, 2003
Computational Biology Research Group Meeting
University of California, Berkeley
Coolaid: Debugging Compilers with Untrusted Code Verification: May 13, 2003
Open Source Quality Project Retreat ("5-minute madness")
Santa Cruz, California
Concord: Atomicity and Fault-Tolerance in Large, Dynamic Systems: December 13, 2002
With David Ratajczak and Manu Sridharan
CS262A Final Presentation
University of California, Berkeley
Randomized Analysis with Repeated Conditionals for Affine Equalities: December 4, 2002
CS263 Final Presentation
University of California, Berkeley
Iktara in ConCert: Realizing a Certified Grid Computing Framework from a Programmer's Perspective (Poster: pdf, jpg): May 8, 2002
Senior Research Thesis - Final Presentation
Meeting of the Minds (think Out LOUD) - Undergraduate Research Symposium
Carnegie Mellon University
Towards Programming in a Certified Computing Framework: March 20, 2002
Senior Research Thesis - Mid-Semester Presentation
Carnegie Mellon University
Realizing ConCert: February 19, 2002; February 26, 2002
With Tom Murphy, Margaret DeLap, and Jason Liszka
ConCert Project Meeting
Carnegie Mellon University
An Application for a Certified Grid Computing Framework: Parallel Theorem Proving for Linear Logic: December 12, 2001
Senior Research Thesis - Mid-Year Poster Presentation
Carnegie Mellon University
Parallel Theorem Proving for Linear Logic: December 10, 2001 (not given)
ConCert Project Meeting
Carnegie Mellon University
An Application for a Certified Grid Computing Framework: October 31, 2001
Senior Research Thesis - Mid-Semester Presentation
Carnegie Mellon University
Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic (ps): June 19, 2001
Workshop on Proof Transformations, Proof Presentations and Complexity of Proofs (PTP-01)
International Joint Conference on Automated Reasoning (IJCAR 2001)
Siena, Italy