February 1,
2016
Fixr: Mining and Understanding Bug Fixes for App-Framework Protocol Defects
DARPA MUSE Demonstration Workshop. Arlington, Virginia, USA.
October 3,
2015
Goal-Directed Program Analysis with Jumping
Max Planck Institute for Software Systems. Kaiserslautern, Germany.
October 1,
2015
Goal-Directed Program Analysis with Jumping
École Normale Supérieure. Paris, France.
July 24,
2015
Goal-Directed Program Analysis with Jumping
Google. Mountain View, California, USA.
July 22,
2015
Fixr: Mining and Understanding Bug Fixes for App-Framework Protocol Defects
DARPA MUSE PI Meeting. SRI International. Menlo Park, California, USA.
February 25,
2015
Fixr: Mining and Understanding Bug Fixes for App-Framework Protocol Defects
DARPA MUSE Site Visit. University of Colorado Boulder. Boulder, Colorado, USA.
October 15,
2014
Fixr: Mining and Understanding Bug Fixes for App-Framework Protocol Defects
DARPA MUSE Kickoff. Annapolis, Maryland, USA
September 22,
2014
Cooperative Program Analysis
Colorado State University. Fort Collins, Colorado, USA.
August 6,
2014
Fissile Type Analysis: Modular Checking of Almost Everywhere Invariants
Japan Advanced Institute of Science and Technology. Nomi, Japan.
August 1,
2014
Fissile Type Analysis: Modular Checking of Almost Everywhere Invariants
National Taiwan University. Taipei, Taiwan.
July 30,
2014
Fissile Type Analysis: Modular Checking of Almost Everywhere Invariants
Academia Sinica. Taipei, Taiwan.
April 23,
2014
Fissile Type Analysis: Modular Checking of Almost Everywhere Invariants
Carnegie Mellon University. Pittsburgh, Pennsylvania, USA.
February 26,
2014
Fissile Type Analysis: Modular Checking of Almost Everywhere Invariants
University of Maryland, College Park. College Park, Maryland, USA.
January 20,
2014
Refuting Heap Reachability
VMCAI 2014:
International Conference on Verification, Model Checking, and Abstract Interpretation
San Diego, California, USA
October 3,
2013
Cooperative Program Analysis
University of Colorado Boulder. Boulder, Colorado, USA.
July 22,
2013
Precise Heap Reachability by Refutation Analysis
Université Paris Diderot. Paris, France.
July 19,
2013
Precise Heap Reachability by Refutation Analysis
École Normale Supérieure. Paris, France.
April 16,
2013
Precise Heap Reachability by Refutation Analysis
Dagstuhl 13162
August 29,
2012
Witnessing Heap Reachability for Resource Leaks in Android
Google. Mountain View, California, USA.
August 24,
2012
Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say
August 23,
2012
Xisa: Extensible Inductive Shape Analysis
Aarhus University. Aarhus, Denmark.
August 20,
2012
Modular Reflection Checking using Relationship Refinements
Aarhus University. Aarhus, Denmark.
December 5,
2009
Mixing Type Checking and Symbolic Execution
FRACTAL F2009:
Front Range Architecture Compilers Tools and Languages Workshop
Boulder, Colorado, USA
July 24,
2009
Reduction in End-User Shape Analysis
Dagstuhl Seminar 09301: Typing, Analysis, and Verification of Heap-Manipulating Programs
June 16,
2009
Gradual Programming: Bridging the Semantic Gap
PLDI-FIT 2009:
Fun Ideas and Thoughts at ACM SIGPLAN Conference on Programming Language Design and Implementation
Dublin, Ireland
January 21,
2005
Inferring Object Invariants
AIOOL 2005:
International Workshop on Abstract Interpretation of Object-Oriented Languages
January 18,
2005
Abstract Interpretation with Alien Expressions and Heap Structures
VMCAI 2005:
International Conference on Verification, Model Checking, and Abstract Interpretation
November 12,
2004
Abstract Interpretation with Alien Expressions and Heap Structures
Open Source Quality Project
Meeting
University of California, Berkeley
May 13,
2004
Extensible Verification of Untrusted Code
OSQ 2004:
Open Source Quality Project Retreat
Santa Cruz, California, USA
May 13, 2004 2004
Coolaid: Debugging Compilers with Verification
OSQ 2004:
Open Source Quality Project Retreat
Santa Cruz, California, USA
"5-minute madness"
November 11,
2003
Programming Languages for Biology
Open Source Quality Project
Meeting
University of California, Berkeley
October 21,
2003
Under the Hood of the Open Verifier
Open Source Quality Project
Meeting
University of California, Berkeley
September 6,
2003
PML: Toward a High-Level Formal Language for Biological Systems
BioConcur 2003:
Workshop on Concurrent Models in Molecular Biology
July 24,
2003
PML: Toward a High-Level Formal Language for Biological Systems
Computational Biology Research Group Meeting
University of California, Berkeley
May 13,
2003
Coolaid: Debugging Compilers with Untrusted Code Verification
OSQ 2003:
Open Source Quality Project Retreat
Santa Cruz, California, USA
"5-minute madness"
May 8,
2002
Iktara in ConCert: Realizing a Certified Grid Computing Framework from a Programmer's Perspective
Senior Research Thesis - Final Presentation
Meeting of the Minds
(think Out LOUD) -
Undergraduate Research Symposium
Carnegie Mellon University
March 20,
2002
Towards Programming in a Certified Computing Framework
Senior Research Thesis - Mid-Semester Presentation
Carnegie Mellon University
December 12,
2001
An Application for a Certified Grid Computing Framework: Parallel Theorem Proving for Linear Logic
Senior Research Thesis - Mid-Year Poster Presentation, Carnegie Mellon University
October 31,
2001
An Application for a Certified Grid Computing Framework
Senior Research Thesis - Mid-Semester Presentation, Carnegie Mellon University