Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Xavier Leroy - Journals and conferences
[go: Go Back, main page]

Editorship

JFP cover

Co-editor in chief of Journal of Functional Programming.


JAR cover

Member of the editorial board of Journal of Automated Reasoning.


Member of the editorial board of Journal of Formalized Reasoning.

Program committees

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