Professional service
Conference and workshop organisation:
- 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:
- 2022
-
ACM Symp. on Principles of Programming Languages (POPL)
- 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:
- 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)
