conf.researchr.org / Joshua Dawes
Registered user since Thu 31 Jan 2019
See my website, http://cern.ch/jdawes.
Affiliation:University of Manchester and CERN
Research interests:Runtime Verification, Dynamic Program Analysis, Static Program Analysis, Performance Analysis
|TACAS 2019||Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the TACAS 2019-track|
|ETAPS 2019||Author of VyPR2: A Framework for Runtime Verification of Python Web Services within the Posters-track|