Editorship

  1. Member of the editorial board of the Research Highlights column of Communications of the ACM.
  2. Member of the editorial board of Journal of Automated Reasoning.
  3. Member of the editorial board of Journal of Formalized Reasoning.

Program committees

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