Research

Work on VyPR is supported by fundamental research that yields new specification formalisms; algorithms for instrumentation, monitoring and analysis; and ways for performance data to be explored by software engineers.

Publications

Tutorials

• Joshua Heneage Dawes, Marta Han, Omar Javed, Giles Reger, Giovanni Franzoni and Andreas Pfeiffer. 2020. Analysing the Performance of Python-Based Web Services with the VyPR Framework. Proceedings of RV 2020.

Applications at CERN

• Omar Javed, Joshua Heneage Dawes, Marta Han, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Walter Binder. 2020. PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. Proceedings of ASE 2020.
• Joshua Heneage Dawes, Marta Han, Giles Reger, Giovanni Franzoni and Andreas Pfeiffer. 2019. Analysis Tools for the VyPR Performance Analysis Framework for Python. Proceedings of CHEP 2019.
• Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer and Giacomo Govi. 2019. VyPR2: A Framework for Runtime Verification of Python Web Services. Proceedings of TACAS 2019.

Initial Implementations

• Joshua Heneage Dawes and Giles Reger. 2019. Explaining Violations of Properties in Control-Flow Temporal Logic. Proceedings of RV 2019.

Theoretical Foundations

• Joshua Heneage Dawes and Giles Reger. 2019. Specification of Temporal Properties of Functions for Runtime Verification. Proceedings of SAC-SVT 2019.

Preprints

Theoretical Foundations

• Joshua Heneage Dawes and Giles Reger. 2018. Specification of State and Time Constraints for Runtime Verification of Functions. arXiv:1806.02621. PDF

Talks

Applications at CERN

• PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects - ASE 2020 - Melbourne, Australia - Speaker: Omar Javed
• Analysis Tools for the VyPR Performance Analysis Framework for Python - CHEP 2019 - Adelaide, Australia - Speaker: Joshua Heneage Dawes. PDF
• VyPR2: A Framework for Runtime Verification of Python Web Services - CERN Computing Seminar 2019 - Geneva, Switzerland - Speaker: Joshua Heneage Dawes. Recording
• VyPR2: A Framework for Runtime Verification of Python Web Services - TACAS 2019 - Prague, Czech Republic - Speaker: Joshua Heneage Dawes. PDF
• Towards Automated Performance Analysis of Python Programs - University of Manchester Formal Methods Seminar 2019 - Manchester, UK - Speaker: Joshua Heneage Dawes. PDF

Initial Implementations

• Explaining Violations of Properties in Control-Flow Temporal Logic - RV 2019 - Porto, Portugal - Speaker: Joshua Heneage Dawes. PDF

Theoretical Foundations

• Specification of Temporal Properties of Functions for Runtime Verification - SAC-SVT 2019 - Limassol, Cyprus - Speaker: Giles Reger. PDF