-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathpublications.html
98 lines (89 loc) · 5.64 KB
/
publications.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
<title>VyPR - Performance Analysis for Python Programs</title>
<!-- Bootstrap -->
<link href="static/css/bootstrap.min.css" rel="stylesheet" />
<link href="static/css/custom.css" rel="stylesheet" />
<script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script type="text/javascript" src="static/js/bootstrap.min.js"></script>
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
<!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
<!--[if lt IE 9]>
<script src="https://oss.maxcdn.com/html5shiv/3.7.3/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<![endif]-->
</head>
<body>
<nav class="navbar navbar">
<div class="container-fluid">
<!-- Brand and toggle get grouped for better mobile display -->
<div class="navbar-header">
<a class="navbar-brand" href="index.html"><img src="static/images/vypr_logo.jpeg" height="50px" margin-top="-10px" /></a>
</div>
<!-- nav links -->
<div class="collapse navbar-collapse" id="navbar">
<ul class="nav navbar-nav">
<!--<li><a href="tutorial.html">Tutorial</a></li>-->
<li><a href="use-vypr.html">Get Started with VyPR</a></li>
<li><a href="publications.html">Research</a></li>
<li><a href="team.html">Team</a></li>
<li><a href="licence.html">Licence</a></li>
</ul>
</div><!-- /.navbar-collapse -->
</div><!-- /.container-fluid -->
</nav>
<div class="container">
<h1>Research</h1>
<p>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.</p>
<h2>Publications</h2>
<h4>Tutorials</h4>
<ul>
<li>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. <i>Proceedings of RV 2020.</i></li>
</ul>
<h4>Applications at CERN</h4>
<ul>
<li>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. <i>Proceedings of ASE 2020.</i></li>
<li>Joshua Heneage Dawes, Marta Han, Giles Reger, Giovanni Franzoni and Andreas Pfeiffer. 2019. Analysis Tools for the VyPR Performance Analysis Framework for Python. <i>Proceedings of CHEP 2019.</i></li>
<li>Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer and Giacomo Govi. 2019. VyPR2: A Framework for Runtime Verification of Python Web Services. <i>Proceedings of TACAS 2019.</i></li>
</ul>
<h4>Initial Implementations</h4>
<ul>
<li>Joshua Heneage Dawes and Giles Reger. 2019. Explaining Violations of Properties in Control-Flow Temporal Logic. <i>Proceedings of RV 2019.</i></li>
</ul>
<h4>Theoretical Foundations</h4>
<ul>
<li>Joshua Heneage Dawes and Giles Reger. 2019. Specification of Temporal Properties of Functions for Runtime Verification. <i>Proceedings of SAC-SVT 2019.</i></li>
</ul>
<h2>Preprints</h2>
<h4>Theoretical Foundations</h4>
<ul>
<li>Joshua Heneage Dawes and Giles Reger. 2018. Specification of State and Time Constraints for Runtime Verification of Functions. arXiv:1806.02621. <a href="https://arxiv.org/pdf/1806.02621.pdf" target="new">PDF</a></li>
</ul>
<h2>Talks</h2>
<h4>Applications at CERN</h4>
<ul>
<li>PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects - ASE 2020 - Melbourne, Australia - Speaker: Omar Javed</li>
<li>Analysis Tools for the VyPR Performance Analysis Framework for Python - CHEP 2019 - Adelaide, Australia - Speaker: Joshua Heneage Dawes. <a href="talks/CHEP-2019.pdf">PDF</a></li>
<li>VyPR2: A Framework for Runtime Verification of Python Web Services - CERN Computing Seminar 2019 - Geneva, Switzerland - Speaker: Joshua Heneage Dawes. <a href="https://cds.cern.ch/record/2676710">Recording</a></li>
<li>VyPR2: A Framework for Runtime Verification of Python Web Services - TACAS 2019 - Prague, Czech Republic - Speaker: Joshua Heneage Dawes. <a href="talks/TACAS-2019.pdf">PDF</a></li>
<li>Towards Automated Performance Analysis of Python Programs - University of Manchester Formal Methods Seminar 2019 - Manchester, UK - Speaker: Joshua Heneage Dawes. <a href="talks/Manchester-FM-Seminar-2019.pdf">PDF</a></li>
</ul>
<h4>Initial Implementations</h4>
<ul>
<li>Explaining Violations of Properties in Control-Flow Temporal Logic - RV 2019 - Porto, Portugal - Speaker: Joshua Heneage Dawes. <a href="talks/RV-2019.pdf">PDF</a></i></li>
</ul>
<h4>Theoretical Foundations</h4>
<ul>
<li>Specification of Temporal Properties of Functions for Runtime Verification - SAC-SVT 2019 - Limassol, Cyprus - Speaker: Giles Reger. <a href="talks/SAC-SVT-2019.pdf">PDF</a></i></li>
</ul>
</div>
<div class="footer-copyright text-center py-3">
<p>(C) Copyright 2020 CERN and University of Manchester.</p>
</div>
</body>
</html>