Editorship

  1. Area editor for programming languages of Journal of the ACM.
  2. Member of the editorial board of Journal of Automated Reasoning.
  3. Former member (2013-2017) of the editorial board of the Research Highlights column of Communications of the ACM.
  4. Former co-editor in chief (2007-2012) of Journal of Functional Programming.

Program committees

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