New
- 10th Conference on Verification, Model checking and Abstract Interpretation
- Object-oriented
Programming languages and Systems - Part of the 24th ACM symposium
on Applied Computing
PC Member -
Bytecode 2009
PC Member -
Workshop on Invariant
Generation
PC Member
PC Member
Past
2008
-
ACM SIGPLAN
Conference on Principles and Practice of Programming In Java
PC Member -
ACM SIGPLAN Static
Analysis Workshop, part of PLDI'08
PC Member - Interaction and Concurrency Experience
PC Member - 9th Conference on Verification, Model checking and Abstract Interpretation
- Bytecode 2008
PC Chair and organizer
PC Chair
2007
- Object-oriented
Programming languages and Systems - Part of the 23th ACM symposium
on Applied Computing
PC Member - 10th Workshop on Formal techniques for Java-like programs,
part of ECOOP'08
PC Member - Bytecode
2007, part of ETAPS 2007
PC Member
2006
- Program Analysis
for Security and Privacy Workshop Discussion (PASSWORD'06)
PC Co-Chair - Object-oriented
Programming languages and Systems - Part of the 22nd ACM symposium
on Applied Computing
PC Member - Software
Verification - Part of the 22nd ACM symposium on Applied Computing
PC Member
2005
- 7th Workshop on
Formal Techniques for Java-like Programs (FTfJP'05)
PC Co-chair and organizer - 1st
International Workshop on Abstract Interpretation of Object-oriented
Languages (AIOOL'05)
PC Co-chair and organizer - Object-oriented
Programming languages and Systems - Part of the 21st ACM symposium
on Applied Computing
PC Member - Software
Verification - Part of the 21st ACM Symposium on Applied Computing
PC Member - Programming
Languages - Part of the 21st ACM Symposium on Applied Computing
PC Member
2004