I served on the program committees for
- FoSSaCS 2012
(15th International Conference on Foundations of Software Science and
Computation Structures), held as part of ETAPS in
Tallinn, Estonia, Spring 2012. (LNCS volume 7213.)
- IFL'11
(23rd Symposium on Implementation and Application of Functional Languages),
held in Lawrence, Kansas, Fall 2011.
- ESOP'09
(European Symposium on Programming),
held as part of
ETAPS 2009
in York, United Kingdom, Spring 2009.
(LNCS volume 5502.)
- ICFP'06
(The 11th ACM SIGPLAN International Conference on Functional Programming),
held in Portland, Oregon, September 2006.
- ESOP'04
(European Symposium on Programming),
held as part of ETAPS in Barcelona, Spain, Spring 2004.
(LNCS volume 2986.)
- ITRS'04
(Workshop on Intersection Types and Related Systems),
held co-located with LICS and ICALP in Turku,
Finland, July 2004.
- PADO-II
(Programs as Data Objects),
a symposium
held with MFPS 2001 in Aarhus, Denmark, May 2001.
(LNCS volume 2053.)
I have served as a reviewer on 43 journal submissions:
9 times for
ACM Transactions on Programming Languages and Systems;
5 times for
Higher-Order and Symbolic Computation;
5 times for Information and Computation;
4 times for Information Processing Letters;
4 times for Journal of Functional Programming;
4 times for Theoretical Computer Science;
2 times for Formal Aspects of Computing;
1 time for each of
ACM Computing Surveys,
ACM Transactions of Computational Logic (ToCL),
Computer Languages,
IEEE Transactions on Software Engineering,
International Journal of Foundations of Computer Science,
International Journal on Software Tools for Technology Transfer (STTT),
Journal of Computer Science and Technology,
Journal of Systems and Software,
Logical Methods in Computer Science,
Studia Logica.
On numerous occasions, I have reviewed conference submissions
on request from program committee members.
The conferences include
POPL (Principles of Programming Languages), 15 submissions;
SAS (Static Analysis Symposium), 14 submissions;
ICFP (International Conference on Functional Programming), 12 submissions;
ESOP (European Symposium on Programming), 11 submissions;
CONCUR (Conference on Concurrency Theory), 7 submissions;
ICALP (International Colloquium on Automata, Languages, and Programming),
5 submissions;
PEPM (Partial Evaluation and Semantics-based Program Manipulation),
5 submissions.