Current/Recent Committees
- VSS 2025 (PC)
- Dafny 2025 (PC)
- ICST 2025 (PC)
- ICSE 2025 (PC)
- FUZZING 2024 (PC)
- ASPLOS 2024 (PC)
- POPL 2024 (Associate Chair
- POPL 2024 (Publicity Co-Chair)
- STAI 2023 (PC)
- ASE 2023 (PC)
- IWOCL/SYCLcon 2023 (PC)
- ISSTA 2023 (PC)
- ECOOP 2023 (PC)
- POPL 2023 (PC)
- MET 2023 (PC)
Please consider submitting your work to these venues.
Organisation and Chairing
I have (co-)chaired/organised:
- MET 2022 (co-chair)
- PLDI 2020: 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, virtual conference, June 2020 (General Chair)
- ECOOP 2019: 33rd European Conference on Object-Oriented Programming, London, July 2019 (PC chair)
- 4th South of England Regional Programming Languages Seminar, Imperial College London, September 2016 (co-organised with Luís Pina)
- Getting Started with Vulkan, UK Khronos Chapter Meetup, Imperial College London, April 2016
- Imperial Concurrency Workshop, Imperial College London, July 2015 (co-organised with John Wickerson, Azalea Raad and Philippa Gardner)
- 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014) (PC co-chair with Vasco Vasconcelos)
- Dagstuhl Seminar 13142 on Correct and Efficient Accelerator Programming (co-organiser, with Albert Cohen, Marieke Huisman and Joost-Pieter Katoen)
- SPIN 2012 Workshop on Model Checking of Software, Oxford, UK, 2012 (PC co-chair with David Parker)
- 6th International Workshop on Symmetry and Constraint Satisfaction Problems, Nantes, France, 2006 (PC co-chair with Peter Gregory and Karen Petrie)
- 27th Scottish Theorem Proving Seminar, Glasgow, UK, 2006 (organiser)
- SymNet Workshop on “Almost Symmetry” in Search, New Lanark, UK, 2005, funded by the SymNet EPSRC Network of Excellence (co-organizer with Peter Gregory)
Peer Review for Funding Bodies
I am a member of the EPSRC Peer Review College.
I served on an EPSRC ICT Prioritisation Panel, December 2014.
External PhD Examination
I have served as an External PhD Examiner at the following institutions:
- École Normale Superiéure
- University of Bristol
- University of Cambridge
- University of Edinburgh
- University College London
- University of Kent
- University of Sheffield
- University of Twente
- Linköping University
Past Committees
In addition to the above, I have served on the committees of:
- Student Research Competition at PLDI 2022(Review committee)
- IWOCL/SYCLcon 2022 (PC)
- ASE 2022 (PC)
- CAV 2022 (PC)
- PLDI 2022 Student Research Competition (Review Committee)
- ECOOP 2022 (Area Chair for Pearls/Brave New Ideas)
- FUZZING 2022 (PC)
- CAV 2021 (PC)
- OOPSLA 2021 (ERC)
- POPL 2020 (PC)
- OOPSLA 2019 (Review Committee)
- PLDI 2019 (PC)
- OOPSLA 2018 (PC)
- ICST 2018 (PC)
- CORRECTNESS 2017 (PC)
- PLOS 2017 (PC)
- SPLASH Workshops 2017 (PC)
- PLDI 2017 (ERC)
- MET 2017 (PC)
- IWOCL 2017 (PC)
- DAC 2017, Designer track (PC)
- ICSE-NIER 2017 (PC)
- PPoPP 2017 (ERC)
- POPL 2016 (PC)
- PPoPP 2016 (ERC)
- FSTTCS 2016 (PC)
- DAC 2016, Design/IP track (PC)
- SYCL 2016 (PC)
- IWOCL 2016 (PC)
- CAV 2015 (PC)
- ESOP 2015 (PC)
- IWOCL 2015 (PC)
- PPoPP 2015 (PC)
- RV 2015 (PC)
- POPL 2015 (ERC)
- PLDI 2014 (ERC)
- RV 2014 (PC and tool demonstration committee)
- SPIN 2014 (PC)
- HIPS 2014 (PC)
- EuroPar 2013 (PC)
- SPIN 2013 (PC)
- PLACES 2013 (PC)
- GRAPHITE 2013 (PC)
- VSSE 2013 (PC)
- DAC 2012 (Expert Reviewer for subcommittee on Embedded System Specification and Software Engineering)
- PLACES 2012 (PC)
- GRAPHITE 2012 (PC)
- PLACES 2011 (PC)
- CISIS 2011 (PC)
- HPCC 2010 (PC)
- 3PGCIC 2010 (PC)
- HIPS 2010 (PC)
- MuCoCoS 2010 (PC)
- International Symmetry Conference 2007 (PC and model Checking area chair. Web page no longer seems to exist)