This page lists my professional activities in the research community.
Large-Scale Event Organiser
International Conference Chair
Workshop Chair/Organiser
- The Fifth International Workshop on Coq for Programming Languages (CoqPL 2019)
Co-chair (with Robbert Krebbers). January 2019, Lisbon, Portugal.
- The Fifth International Workshop on Coq for Programming Languages (CoqPL 2018)
Co-chair (with Yves Bertot). January 2018, Los Angeles, CA, USA.
- 6th South of England Regional Programming Language Seminar (S-REPLS 6)
Organiser. May 2017, London, UK.
The meeting has attracted speakers from 10 institutions from France, New Zealand, Singapore, UK, USA, and has been attended by approximately 90 researchers, students, and industry practitioners.
Long-Term Committee Membership
Invited Keynote Speaker
Member of Editorial Boards
Programme Committee Member for International Conferences
PC — Programme Committee, EPC — External Programme Committee
- DISC 2021: 35th International Symposium on DIStributed Computing, PC
- CPP 2021:
10th ACM SIGPLAN International Conference on Certified
Programs and Proofs, PC
- VMCAI 2021:
22nd Conference on Verification, Model
Checking, and Abstract Interpretation, PC
- APLAS 2020:
18th Asian Symposium on Programming Languages and Systems, PC
- PLDI 2020:
41st ACM SIGPLAN Conf. on Programming Language Design
and Implementation, EPC
- FLOPS 2020:
15th International Symposium on Functional and Logic
Programming, PC
- ESOP 2020: 29th European Symposium on
Programming, PC
- CPP 2020:
9th ACM SIGPLAN International Conference on Certified
Programs and Proofs, PC
- PLDI 2019:
40th ACM SIGPLAN Conf. on Programming Language Design
and Implementation, PC
- ECOOP 2019: 33rd European Conference on
Object-Oriented Programming, PC
- Tokenomics 2019:
International Conference on Blockchain Economics, Security
and Protocols, PC
- POPL 2019: 46th ACM SIGPLAN Symposium on Principles
of Programming Languages, PC
- APLAS 2018: 16th
Asian Symposium on Programming Languages and Systems, PC
- ICFP 2018: 23rd
ACM SIGPLAN International Conference on Functional Programming, PC
- APLAS 2017: 15th
Asian Symposium on Programming Languages and Systems, PC
- Scala 2017:
Scala Symposium 2017, PC
- SAS 2017: 24th Static
Analysis Symposium, PC
- POPL 2017: 44th ACM SIGPLAN Symposium on Principles
of Programming Languages, PC
- TMPA 2017: 4th International Conference
on Tools And Methods of Program Analysis, PC
- Scala 2016:
Scala Symposium 2016, PC
- ESOP 2016: 25th
European Symposium on Programming, PC
- SEIM 2016: 1st Russian Conference
on Software Engineering and Information Management, PC
- PPDP 2014: 16th
International Symposium on Principles and Practice of Declarative
Programming, PC
PC Member for International Workshops
Reviewing for Journals
Additional Conference and Workshop Refereeing
OOPSLA 2020,
CONCUR 2020,
S&P (Oakland) 2020,
CONCUR 2018,
ECOOP 2018,
ISSTA 2018,
ICALP 2018,
PLDI 2018,
S&P (Oakland) 2018,
TYPES 2017 (Post-proceedings),
PLDI 2017,
TACAS 2017,
ESOP 2017,
ATVA 2016,
CONCUR 2016,
DISC 2015,
ECOOP 2015,
ESOP 2015,
POPL 2015,
GPCE 2014,
ICFP 2014,
CSF 2014,
PROLE 2013,
CC 2013,
ESOP 2013,
POPL 2013,
CPP 2012,
ECOOP 2012,
NFM 2012,
ESOP 2012,
DSL 2011,
IWACO 2011,
Coordination 2010, Coordination 2009.
Other Academic Service
- POPL 2021, Student Research Competition, Selection Committee member
- Contributor to the SIGPLAN PL Perspectives blog (https://blog.sigplan.org):
- Programming Languages Mentoring Workshop 2019 (PLMW 2019) @ ICFP 2019,
Speaker on the topic Functional Programming is Everywhere
- Programming Languages Mentoring Workshop 2019 (PLMW 2019) @ POPL2019,
Speaker on the topic Research Skills: How to Bootstrap a Research Project
- Social Track at ICFP 2020, Panellist
- PLDI 2019, Student Research Competition, Selection Committee member
- SPLASH 2017 Workshops, Workshop Program Committee member
- ICFP 2017, September 2017, Oxford, UK. Student Research Competition Chair
- ICFP 2016, Student Research Competition, Selection Committee member
- Programming Languages Mentoring Workshop at POPL 2016, Panellist
- ECOOP 2014, Artifact Evaluation Committee member