Activities

Current/Recent:

• ESOP'13 (PC)
• POPL'13 (ERC)
• APLAS'12 (PC)
• SYNTH'12 (PC)
• PSY'12 (co-organizer)
• SAS'12 (PC)
• WoDet'12 (PC)
• VMCAI'12 (PC)
• ISMM'12 (XRC)
• PLDI'12 (PC)
• SAS'11: 18th International Static Analysis Symposium
• POPL'11: 38th ACM Symposium on Principles of Programming Languages
• PSY 2010: Practical Synthesis for Concurrent Systems (Co-organizer)
• Dagstuhl Seminar on Software Synthesis (Co-organizer)

Past: OOPSLA 2010 (PC) LFX 2010: Learning From eXperience (co-organizer) TAPAS 2010: Tools for Automatic Program AnalysiS, ICSE NIER 2010, VEE 2010, PSY 2009 (co-organizer), SAS 2009 (PC), ISSTA 2009 (PC), HVC 2009, DEFECTS 2009, CSR 2009, ISSTA 2009, ISMM 2009 RC, BYTECODE 2009, HAV 2008, SPIN 2008, PLDI SRC 2008, SPACE 2008, HAV 2007, PASSWORD 2006

Synthesis of Synchronization 2011 Summer School on Program Synthesis, August 2011 [slides]

Programming with Millions of Examples 2011 Summer School on Program Synthesis, August 2011 [slides]

Synthesis of Memory Fences SVARM'11: Synthesis, Verification, and Analysis of Rich Models , April 2011 [slides]

Automatic Verification and Fence Inference for Relaxed Memory Models The Chemistry of Concurrent and Distributed Programming, Mysore Park Workshop, February 2011 [slides]

Abstraction-Guided Synthesis of Synchronization Invited talk, Haifa Verification Conference (HVC), October 2010 [slides]

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

Abstraction-Guided Synthesis of Synchronization Dagstuhl Seminar on Design and Validation of Concurrent Systems, September 2009 Dagstuhl Seminar on Software Synthesis, December 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]