Editorship

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

Program committees

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