This page lists my professional activities in the research community.

Large-Scale Event Organiser

• ICFP Programming Contest 2019, Organiser.
  The contest took place on June 21-24, 2019. 194 teams from 25 countries have participated.

International Conference Chair

• 20th Asian Symposium on Programming Languages and Systems (APLAS 2022)
  Programme Committee Chair
• 31st European Symposium on Programming (ESOP 2022)
  Programme Committee 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

• European Symposium on Programming (ESOP). Steering Committee Member. 2021-2025
• International Conference on Functional Programming (ICFP). Publicity Chair. 2022-2024

Invited Keynote Speaker

• 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

Member of Editorial Boards

• The Journal of Financial Technology, May 2018 – present.

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

• FMBC 2021: 3rd Workshop on Formal Methods for Blockchains
• PriSC 2021: Workshop on Principles of Secure Compilation 2021
• miniKanren 2020: miniKanren and Relational Programming Workshop 2020
• FMBC 2020: 2nd Workshop on Formal Methods for Blockchains
• Coq 2019: The Coq Workshop 2019
• PEPM 2019: ACM SIGPLAN 2019 Workshop on Partial Evaluation and Program Manipulation
• HOPE 2018: The 6th ACM SIGPLAN Workshop on Higher-Order Programming with Effects
• WTSC 2018: 2nd Workshop on Trusted Smart Contracts
• WTSC 2017: 1st Workshop on Trusted Smart Contracts
• PEPM 2017: ACM SIGPLAN 2017 Workshop on Partial Evaluation and Program Manipulation
• TAPAS 2016: The Seventh Workshop on Tools for Automatic Program Analysis
• STOP 2015: International Workshop on Scripts to Programs
• Scala 2014: The Fifth Annual Scala Workshop

Reviewing for Journals

• ACM Computing Surveys (2019)
• Science of Computer Programming (SCP) (2019 x 2)
• Journal of Automated Reasoning (JAR) (2017)
• ACM Transactions on Programming Languages and Systems (TOPLAS) (2014, 2015 x 2, 2016, 2017)
• Philosophical Transactions of the Royal Society of London (2017)
• Journal of Functional Programming (JFP) (2015)
• Formal Aspects of Computing (2015).

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

• 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):
  • Composition in Distributed Systems, December 23, 2019.
  • What Does It Mean for a Program Analysis to Be Sound?, August 7, 2019.
• 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