Editorship

Member of the editorial board of the Research Highlights column of Communications of the ACM.

Member of the editorial board of Journal of Automated Reasoning.

Member of the editorial board of Journal of Functional Programming.

Member of the editorial board of Journal of Formalized Reasoning.

Program committees

1. European Symposium on Programming (ESOP) 2013
2. Principles of Programming Languages (POPL) 2013
3. International conference on Compiler Construction (CC) 2011
4. Practical Aspects of Declarative Languages (PADL) 2011
5. Verified Software: Theories, Tools and Experiments (VSTTE) 2010
6. Interactive Theorem Proving (ITP) 2010
7. Programming Language Design and Implementation (PLDI) 2010 (member of the external review committee)
8. Programming Languages meets Program Verification (PLPV) 2010
9. International Conference on Functional Programming (ICFP) 2009
10. Theorem Proving in Higher-Order Logics (TPHOL) 2009
11. European Symposium on Programming (ESOP) 2009
12. Commercial Users of Functional Programming (CUFP) 2007
13. European Symposium on Programming (ESOP) 2007
14. Asian Computing Science Conference 2006
15. Formal Methods 2006
16. ML Workshop 2005 (co-program chairman)
17. MetaOCaml Workshop 2005
18. Virtual Execution Environments conference (VEE) 2005
19. European Symposium on Programming (ESOP) 2005
20. Smart Card Research and Advanced Application Conference (CARDIS) 2004
21. Principles of Programming Languages 2004 (program chairman)
22. Foundations of Object-Oriented Languages 2003
23. Types in Language Design and Implementation 2003
24. Journées Francophones des Langages Applicatifs 2003
25. Smart Card Research and Advanced Application Conference (CARDIS) 2002
26. Principles of Programming Languages 2002
27. International Conference on Functional Programming 2001 (program chairman)
28. Compiler Construction 2001
29. International Conference on Functional Programming 2000
30. Programming Languages Design and Implementation 2000
31. European Symposium on Programming 2000
32. Principles and Practice of Declarative Programming 1999
33. Programming Language Implementation and Logic Programming 1998
34. Workshop Types in Compilation 1998 (program chairman)
35. Principles of Programming Languages 1998
36. Workshop Types in Compilation 1997
37. International Conference on Functional Programming 1997
38. Functional Programming and Computer Architecture 1995
39. Static Analysis Symposium 1994