This page lists my professional activities in the academic community.
Member of Steering Committees for International Conferences
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.
Member of Editorial Boards
Large-Scale Non-Academic Event Organiser
Invited Keynote Speaker
- 13th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2022)
Talk title: Growing a Smart Contract Language for a High-Throughput Blockchain
April 2022, Munich, Germany
- 1st Workshop on Formal Methods for Blockchains (FMBC 2019)
Talk title: The Scilla Journey: From Proof General to Thousands of Nodes
October 2019, Porto, Portugal
- The 2019 ACM Symposium on Principles of Distributed Computing (PODC 2019)
Talk title: Engineering Distributed Systems that We Can Trust (and Also Run)
August 2019, Toronto, Canada
- 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Talk title: Composing Distributed Systems that are Provably Correct
July 2019, London, UK
- 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
Talk title: Monadic Abstract Interpreters
September 2013, Madrid, Spain
Programme Committee Member for International Conferences
PC Member for International Workshops
Reviewing for Journals
Additional Conference and Workshop Refereeing
ICFP 2021,
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
- Programming Languages Mentoring Workshop 2022 (PLMW @ POPL 2022),
Speaker on the topic Automatically Synthesising Programs that We Can Trust
- Workshops Co-Chair for POPL 2022
- Virtualization Committee member for PLDI 2021
- POPL 2021:
- Social Co-Chair (for the Asia-Pacific time band)
- Student Research Competition, Selection Committee member
- Contributor to the SIGPLAN PL Perspectives blog (https://blog.sigplan.org):
- Programming Languages Mentoring Workshop 2019 (PLMW @ ICFP 2019),
Speaker on the topic Functional Programming is Everywhere
- Programming Languages Mentoring Workshop 2019 (PLMW @ POPL 2019),
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