Refereeing

I served on the program committees for

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.