Researcher in Computer Science at SnT, Luxembourg
I’m currently an academic, working at the SnT Centre in Luxembourg. Before that, I got my PhD at CERN in 2021 (with the University of Manchester, in the UK).
At SnT, I lead research activities at SnT on Runtime Verification, as part of the COSMOS Horizon 2020 project. This involves performing my own fundamental research (which involves extending my PhD), working on multiple tools, managing the development of other tools, and working with companies across Europe to apply our research on Runtime Verification to their use cases.
You can reach me at joshua dot dawes at uni.lu.
My PhD
I was awarded my PhD in 2021 by the University of Manchester in the UK. I spent the entirety of my PhD at the CMS Experiment at CERN in Geneva.
My focus was on Runtime Verification for the performance analysis of web services. I introduced the CFTL specification language, and led a small team to develop an ecosystem of tools that is released as the VyPR Project.
You can find my thesis on CERN’s document repository.
What I’ve published
- Joshua Heneage Dawes and Domenico Bianculli. Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. Oslo, Norway, FACS 2022 - to appear
- Joshua Heneage Dawes and Domenico Bianculli. Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs. Los Angeles, USA, RV 2021 - paper
- Omar Javed, Joshua Heneage Dawes, Marta Han, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer. PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects - Demo. Melbourne, Australia, ASE 2020 - paper
- Joshua Heneage Dawes, Marta Han, Omar Javed, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer. Analysing the Performance of Python-based Web Services with the VyPR Framework - Tutorial. Los Angeles, USA, RV 2020 - paper
- Joshua Heneage Dawes, Marta Han, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer. Analysis Tools for the VyPR Performance Analysis Framework for Python. Adelaide, Australia, CHEP 2019 - paper
- Joshua Heneage Dawes, Giles Reger. Explaining Violations of Properties in Control-Flow Temporal Logic. Porto, Portugal, RV 2019 - paper
- Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer and Giacomo Govi. VyPR2: A Framework for Runtime Verification of Python Web Services. Prague, Czech Republic, TACAS 2019 - paper
- Joshua Heneage Dawes and Giles Reger. Specification of Temporal Properties of Functions for Runtime Verification. Limassol, Cyprus, SAC-SVT 2019 - paper
- Joshua Heneage Dawes on behalf of the CMS Collaboration. A Python object-oriented framework for the CMS alignment and calibration data. San Francisco, USA, CHEP 2016 - paper
Additional Talks
At various times I’ve given talks about various aspects of my work, separately from publications. Here’s a list:
- Becoming a Scientist: from Burnley to Luxembourg, via Geneva - UK National Careers Week - Nelson and Colne College - 2022 - slides
- Working in Research - UK National Careers Week - Nelson and Colne College - 2021 - slides
- Automated Performance Analysis for Python with VyPR - CMS Offline Software and Computing Week - Fermilab, USA - video call, invited - 2019 - slides
- VyPR2: A Framework for Automated Performance Analysis of Python Programs - CERN Computing Seminar - Geneva, Switzerland - 2019 - slides
- Towards Automated Performance Analysis of Python Programs - University of Manchester Formal Methods Seminar - 2019 - slides
- Computer Systems on the CERN LHC: How do we measure how well they’re doing? UK Naitonal Careers Week - Nelson and Colne College - 2017 - slides
Student Supervision
- Bahar Hadadi (University of Ottawa), PhD Student (mentor), beginning 2022
- Cristina Stratan (University of Luxembourg), PhD Student (co-supervisor), beginning 2022
- Per Sunde (University of Oslo), CERN Summer Student 2018, Timed Pushdown Automata for Offline Runtime Verification
- Marta Han (University of Zagreb), CERN Summer Student 2019 and CERN Technical Student 2020, Development of Analysis Tools for VyPR
- Jurgis Rancevas (University of Vilnius), Erasmus Student 2019, Automated Release Validation of the CMS Experiment’s Conditions Upload Service