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