Activities

Program Committees

2020

• POPL 2020

2018

• CAV 2018
• VMCAI 2018
• ICDCS 2018 (Research track: Distributed Algorithms and Theory)
• OOPLSA ERC 2018

2017

• PLDI ERC 2017

2015

• SYSTOR 2015
• DISC 2015

2014

• PLDI 2014
• POPL 2014

2013

• OOPSLA 2013

2012

• ESOP 2012

2011

• SAS 2011

2009

• IWACO 2009

Organizing Committees

• APLAS 2011 (Publicity chair)