The best way to contact me is my CERN inbox.
Joshua Dawes
Doctoral Student at CERN & Manchester
Contact
Research
Supervised by Dr Giles Reger (Manchester), Dr Giovanni Franzoni (CERN) and Dr Andreas Pfeiffer (CERN)
- Developing methods for non-intrusive instrumentation and analysis of software.
- Focus on application at the CMS Experiment, and further afield, at CERN.
- Runtime Verification, in particular for automated performance analysis.
One of the main results of my research is the VyPR tool (see below).
Results of Research
VyPR - a prototype framework for automated performance analysis of Python programs and web services
VyPR, one of the main results of my research, is a growing project at the CMS Experiment at CERN. You can see VyPR-related news below.
News
November 2019 - Omar Javed from USI joined the CMS Experiment to work on a project based on VyPR.
Publications
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. Slides.
Joshua Heneage Dawes, Giles Reger. Explaining Violations of Properties in Control-Flow Temporal Logic. Porto, Portugal, RV 2019. Slides | 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. Slides | Paper
Joshua Heneage Dawes and Giles Reger. Specification of Temporal Properties of Functions for Runtime Verification. Limassol, Cyprus, SAC-SVT 2019. Slides | Paper
Joshua Heneage Dawes and CMS Collaboration A Python object-oriented framework for the CMS alignment and calibration data, 2017 J. Phys.: Conf. Ser. 898 042059 (in Proceedings of 22nd International Conference on Computing in High Energy and Nuclear Physics, CHEP 2016, San Francisco, USA, 10 - 14 Oct 2016) - Paper
Talks
Technical Reports
Joshua Heneage Dawes and Giles Reger Specification of State and Time Constraints for Runtime Verification of Functions - arXiv:1806.02621, 2018
Joshua Heneage Dawes, Python object-oriented framework for consuming, manipulating and releasing non-event data for the CMS alignment and calibration, CMS Internal Note
Posters
VyPR2: A Framework for Runtime Verification of Python Web Services - Prague, Czech Republic, TACAS 19 - Poster
Towards a Verification Infrastructure for Web Services used on the CMS Experiment at the CERN LHC - Postgraduate Summer Research Showcase, University of Manchester, 2018 - PDF
Joshua H Dawes and CMS Collaboration A Python object-oriented framework for the CMS alignment and calibration data, 2017 J. Phys.: Conf. Ser. 898 042059 (in Proceedings of 22nd International Conference on Computing in High Energy and Nuclear Physics, CHEP 2016, San Francisco, USA, 10 - 14 Oct 2016) - PDF
CERN Students
In line with my research, I supervise CERN Students (Summer and Erasmus) on software performance analysis projects. Information on the summer student programme, including how to apply, can be found here.
My students include:
| Student | University | Project title | Talk and Report |
|---|---|---|---|
| 2018 | |||
| Per Sunde | University of Oslo | Timed Pushdown Automata for Offline Runtime Verification | Talk PDF |
| 2019 | |||
| Marta Han | University of Zagreb | Development of Analysis Tools for VyPR | Talk PDF |
| Jurgis Rancevas | University of Vilnius | Automated Release Validation of the CMS Experiment's Conditions Upload Service | |
Outreach and Public Engagement
Allowing students to see the cutting-edge of the subjects that they study, so that they can see exactly where they can go with what they study, is vital.
Details of my involvement in Computer Science outreach will appear here.
Talk - Computer Systems on the CERN LHC: How do we measure how well they're doing? - given at Nelson and Colne College, UK, on 24th October, 2017. Slides
Talk - Towards Runtime Verification Infrastructure for the CMS Experiment at the CERN LHC - University of Manchester, UK, on 22nd/23rd June, 2018.