Professional service
Conference and workshop organisation:
- 2025
-
Design, Automation, and Test in Europe (DATE), topic co-chair for System-Level Design Methodologies and High-Level Synthesis
- 2024
-
POPL 2024 Workshop on The Future of Weak Memory, co-organiser
IEEE Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), vice chair of Software and Tools track
Design, Automation, and Test in Europe (DATE), topic co-chair for System-Level Design Methodologies and High-Level Synthesis
- 2023
-
IEEE Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), vice chair of Software and Tools track
- 2022
-
Isaac Newton Institute Concurrency Meeting, co-organiser
Field-Programmable Logic and Applications (FPL), workshops/tutorials chair
FLASHLIGHT, co-organiser
- 2021
-
ACM Int. Conf. on Programming Lang. Design and Implementation (PLDI), publicity chair
- 2020
-
ACM Int. Conf. on Programming Lang. Design and Implementation (PLDI), publicity chair
- 2015
-
Imperial Concurrency Workshop, co-organiser
Program/review committee member:
- 2025
-
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
ACM Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
- 2024
-
Field-Programmable Logic and Applications (FPL)
ACM Int. Conf. on Programming Lang. Design and Implementation (PLDI)
- 2023
-
Asian Symposium on Programming Languages and Systems (APLAS)
Designer Track, Design Automation Conference (DAC)
- 2022
-
ACM Symp. on Principles of Programming Languages (POPL)
ACM SIGSOFT Int. Symp. on Software Testing and Analysis (ISSTA)
IEEE Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)
- 2021
-
ACM Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Europ. Conf. on Object-Oriented Programming (ECOOP)
IEEE Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)
- 2020
-
ACM Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
IEEE Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)
- 2019
-
Europ. Conf. on Object-Oriented Programming (ECOOP), external review committee
ACM Int. Conf. on Programming Lang. Design and Implementation (PLDI)
Asia and South Pacific Design Automation Conference (ASP-DAC)
Designer Track, Design Automation Conference (DAC)
Field-Programmable Logic and Applications (FPL)
- 2018
-
Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara)
Designer Track, Design Automation Conference (DAC)
Field-Programmable Logic and Applications (FPL)
- 2017
-
Field-Programmable Logic and Applications (FPL)
- 2016
-
Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara)
Tiny Transactions on Computer Science (TinyTOCS)
- 2015
-
Automated Verification of Critical Systems (AVoCS)
Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara)
Artifact evaluation committee member:
- 2015
-
ACM Symp. on Principles of Programming Languages (POPL)
Reviewer for the following conferences and journals:
- 2024
-
IEEE Transactions on Computer-Aided Design of Integrated Circuits (TCAD)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Springer Science of Computer Programming (SCICO)
- 2022
-
ACM Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Springer Formal Methods in System Design (FMSD)
- 2021
-
ACM Trans. on Reconfigurable Technology and Systems (TRETS)
ACM Trans. on Programming Languages and Systems (TOPLAS)
- 2020
-
ACM Trans. on Reconfigurable Technology and Systems (TRETS)
- 2019
-
Science of Computer Programming
- 2018
-
IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
IEEE Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST)
ACM Int. Conf. on Programming Lang. Design and Implementation (PLDI)
- 2017
-
ACM/SIGDA Int. Symp. on Field-Programmable Gate Arrays (FPGA)
Journal of Supercomputing
Symp. on Parallelism in Algorithms and Architectures (SPAA)
- 2016
-
ACM Trans. on Computational Logic (TOCL)
ACM Trans. on Reconfigurable Technology and Systems (TRETS)
ACM Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
ACM Symp. on Principles of Programming Languages (POPL)
ACM Symp. on Principles and Practice of Parallel Programming (PPoPP)
- 2015
-
Int. Conf. on Computer Aided Verification (CAV)
Europ. Symp. on Programming (ESOP)
ACM Symp. on Principles of Programming Languages (POPL)
ACM Symp. on Principles and Practice of Parallel Programming (PPoPP)
- 2014
-
Joint Int. Conf. on Rewriting and Typed Lambda Calculi (RTA-TLCA)
Int. Conf. on Runtime Verification (RV)
Static Analysis Symp. (SAS)
- 2012
-
ACM Int. Conf. on Certified Programs and Proofs (CPP)
Int. Conf. on Relational and Algebraic Methods in Computer Science (RAMiCS)
Symp. on Parallelism in Algorithms and Architectures (SPAA)
Int. Conf. on Verified Software: Theories, Tools, and Experiments (VSTTE)
- 2011
-
Int. Conf. on Computer Aided Verification (CAV)
- 2010
-
Europ. Symp. on Programming (ESOP)
ACM/IEEE Symp. on Logic in Computer Science (LICS)
ACM Symp. on Principles of Programming Languages (POPL)
Int. Conf. on Verified Software: Theories, Tools, and Experiments (VSTTE)
- 2009
-
ACM Int. Conf. on Programming Lang. Design and Implementation (PLDI)