Activities

Current/Recent:

• Dagstuhl Seminar on Software Synthesis (Co-organizer)
• PSY 2009: Practical Synthesis for Concurrent Systems (Co-organizer)
• ICSE NIER 2010
• VEE 2010
• HVC 2009
• SAS 2009

Past: DEFECTS 2009 CSR 2009 ISSTA 2009 ISMM 2009 RC BYTECODE 2009, HAV 2008, SPIN 2008, PLDI SRC 2008, SPACE 2008, HAV 2007, PASSWORD 2006

Practical Synthesis of Concurrent Programs Invited talk, ARTIST Summer School in Europe 2009, September 2009 [slides]

Abstraction-Guided Synthesis Dagstuhl Seminar on Design and Validation of Concurrent Systems, September 2009 [slides]

Inferring Synchronization Under Limited Observability Technion, Israel, June 2009 [slides]

Phalanx: Parallel Checking of Expressive Heap Assertions State of the Art in Testing and Analysis Day, NCSU, March 2009 [slides]

Shape Analysis for Concurrent Programs Workshop on the Verification of Concurrent Algorithms, MSR Cambridge, UK, May 2008 [slides]

QVM: An Efficient Runtime for Detecting Defects in Deployed Systems Dagstuhl Seminar on Scalable Program Analysis, Feb 2008 [slides]

SAFE: scalable verification for heap-manipulating programs (tool presentation) Dagstuhl Seminar on Scalable Program Analysis, Feb 2008 [slides]

Static Specification Mining Using Automata-Based Abstractions Technion, Israel, Feb 2008 [slides]

Deriving Linearizable Fine-Grained Concurrent Objects Technion, Israel, Feb 2008 [slides]