Community Service
New
- 17th Static Analysis Symposium
PC Member - Object-oriented Programming languages and Systems - Part of the 25th ACM symposium on Applied Computing
PC Member - STatic Analysis Tools Implementation and eXperience
PC Member - Workshop on Invariant Generation
PC Member - Bytecode 2010
PC Member
Past
2009
- 10th Conference on Verification, Model checking and Abstract Interpretation
PC Member - Object-oriented Programming languages and Systems - Part of the 24th ACM symposium on Applied Computing
PC Member - Bytecode 2009
PC Member - ACM SIGPLAN 7th Conference on Principles and Practice of Programming In Java
PC Member - Workshop on Invariant Generation
PC Member
2008
- ACM SIGPLAN 6th 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
PC Chair - Bytecode 2008
PC Chair and organizer
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
