Activities
Program Committees
- ESOP 2012:
The 21st European Symposium on Programming.
- SAS 2011:
The 18th International Static Analysis Symposium 2011.
-
IWACO 2009:
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming 2009
(in conjunction with ECOOP 2009).
Selected Talks
- 26-July-2010
(PODC 2010):
Verifying Linearizability with Hindsight.
[pdf]
[keynote]
- 20-January-2010
(POPL '10):
Sequential verification for serializability.
[pdf]
[keynote]
- 27-June-2009
(EC2'09):
Verifying optimistic concurrent algorithms should be easy!
[pdf]
- 1-Jan-2005
(POPL'05):
A semantics for procedure local heaps and its abstractions.
[ppt]