-
Notifications
You must be signed in to change notification settings - Fork 1
/
publications.html
188 lines (176 loc) · 7.12 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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8" />
<title>CamFort: Automated evolution and verification of computational
science models</title>
<link rel="stylesheet" href="main.css" />
<link href="https://fonts.googleapis.com/css?family=Rasa"
rel="stylesheet" />
<script>window.twttr = (function(d, s, id) {
var js, fjs = d.getElementsByTagName(s)[0],
t = window.twttr || {};
if (d.getElementById(id)) return t;
js = d.createElement(s);
js.id = id;
js.src = "https://platform.twitter.com/widgets.js";
fjs.parentNode.insertBefore(js, fjs);
t._e = [];
t.ready = function(f) {
t._e.push(f);
};
return t;
}(document, "script", "twitter-wjs"));</script>
</head>
<body>
<a href="https://github.com/camfort/camfort"><img style="position: absolute; top: 0; right: 0; border: 0;" src="https://camo.githubusercontent.com/652c5b9acfaddf3a9c326fa6bde407b87f7be0f4/68747470733a2f2f73332e616d617a6f6e6177732e636f6d2f6769746875622f726962626f6e732f666f726b6d655f72696768745f6f72616e67655f6666373630302e706e67" alt="Fork me on GitHub" data-canonical-src="https://s3.amazonaws.com/github/ribbons/forkme_right_orange_ff7600.png"></a>
<div id="main">
<section>
<div id="header">
<a href="index.html"><img src="camfort.png" alt="CamFort logo"/></a><br />
<span class="title-big">
Specify, verify, and refactor Fortran code
</span>
</div>
</section><br />
<section>
<p>
<span class="title-small">Publications</span>
<table id="pubs">
<tr>
<th><a
href="https://arxiv.org/abs/2011.06094">pdf</a>,
<a href="https://dblp.org/rec/journals/corr/abs-2011-06094.html?view=bibtex">bib</a>
</th>
<td><b>Guiding user annotations for units-of-measure verification</b>,
Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice,
<i>Workshop on Human Aspects of Types and Reasoning Assistants
(<a href="https://2020.splashcon.org/home/hatra-2020?plenary=Hide%20plenary%20sessions">HATRA 2020</a>)</i>
</td>
</tr>
<tr>
<th><a
href="https://www.cl.cam.ac.uk/~mrd45/se4science19.pdf">pdf</a>,
<a href="bib/DanishABRO19.bib">bib</a>
</th>
<td><b> Learning units-of-measure from scientific code</b>,
Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew Rice,
Dominic Orchard,
<i>Software Engineering for Science, 2019</i>
</td>
</tr>
<tr>
<th><a href="https://www.cs.kent.ac.uk/people/staff/dao7/publ/reprinter2017.pdf">pdf</a>, <a href="bib/ClarkeLO17.bib">bib</a></th>
<td><b>Scrap Your Reprinter: A Datatype Generic Algorithm for
Layout-Preserving Refactoring</b>,
Harry Clarke, Dominic Orchard, IFL pre-proceedings 2017</td>
</tr>
<tr>
<th><a
href="https://www.repository.cam.ac.uk/bitstream/handle/1810/267779/oopsla-proof.pdf?sequence=5">pdf</a>,
<a href="bib/OrchardCDR17.bib">bib</a></th>
<td><b>Verifying Spatial Properties of Array Computations</b>,
Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew
Rice, OOPSLA 2017</td>
</tr>
<tr>
<th><a
href="http://ceur-ws.org/Vol-1686/WSSSPE4_paper_23.pdf">pdf</a>,
<a href="bib/ContrastinDOR16.bib">bib</a></th>
<td><b>Supporting software sustainability with lightweight
specifications</b>, Mistral Contrastin, Matthew Danish, Dominic
Orchard, Andrew Rice, WSSSPE4 (2016)
</td>
</tr>
<tr>
<th><a href="http://www.cl.cam.ac.uk/~acr31/pubs/contrastin-units.pdf">pdf</a>, <a href="bib/ContrastinRDO16.bib">bib</a></th>
<td><b>Units-of-Measure Correctness in Fortran
Programs</b>, Mistral Contrastin, Andrew C. Rice, Matthew Danish, Dominic
Orchard, Computing in Science and Engineering 18(1): 102-107 (2016)
</td>
</tr>
<tr>
<th><a
href="https://www.cs.kent.ac.uk/people/staff/dao7/publ/iccs15-fortran-units.pdf">pdf</a>, <a href="bib/OrchardRO15.bib">bib</a></th>
<td><b>Evolving Fortran types with inferred units-of-measure</b>,
Dominic Orchard, Andrew C. Rice, Oleg Oshmyan, J. Comput. Science 9:
156-162 (2015)
</td>
</tr>
<tr>
<th><a
href="https://www.cs.kent.ac.uk/people/staff/dao7/publ/iccs14-orchard-rice.pdf">pdf</a>, <a href="bib/OrchardR14.bib">bib</a>
</th>
<td><b>A Computational Science Agenda for Programming Language
Research</b>, Dominic Orchard, Andrew C. Rice, ICCS 2014: 713-727
</td>
</tr>
<tr>
<th><a
href="https://www.cs.kent.ac.uk/people/staff/dao7/publ/wrt13-orchard-rice.pdf">pdf</a>, <a href="bib/OrchardR13.bib">bib</a>
</th>
<td><b>Upgrading Fortran source code
using automatic refactoring</b>,
Dominic Orchard, Andrew C. Rice, WRT@SPLASH 2013: 29-32
</td>
</tr>
</table>
</p>
</section>
</div>
<div id="side">
<a class="twitter-follow-button" href="https://twitter.com/camfort_tool"
data-show-count="false" data-size="large">
Follow @camfort_tool</a><br /><br /><br />
<section style='margin-top:-5pt'>
<a href="news.html" class="menu_button">News and releases</a><br /><br />
<a href="https://github.com/camfort/camfort/wiki" class="menu_button">Usage instructions</a><br /><br />
<a href="team.html" class="menu_button">Team</a><br /><br />
<a href="publications.html" class="menu_button">Publications</a><br /><br />
<a href="projects.html" class="menu_button">Project ideas</a>
</section>
<section>
<span class="title-small">Download</span><br />
The source code for CamFort is hosted on
<a href="https://github.com/camfort/camfort">GitHub</a>.<br /><br />
Latest binary release for Windows, Mac OS, and Linux:
<a href="https://github.com/camfort/camfort/releases">v1.2.0 (Oct 2022)</a>.
</section>
<section>
<span class="title-small">Mailing list</span><br />
For help and announcements you can sign-up to our
<a href="https://lists.cam.ac.uk/mailman/listinfo/cl-camfort">mailing list</a>.
</section>
<section>
<span class="title-small">Events</span><br />
An introduction to CamFort and training material is provided
as part of the <a
href="http://www.nag.co.uk/content/fortran-modernization-workshop">Fortran
Modernization Workshops</a> run by the Numerical Algorithms Group (<em>nag</em>) in the UK and
Europe.<br /><br />
We organise an annual workshop on <b style="font-weight:400;">Testing and Verification in
Computational Science</b>. Previous versions:
<ul style="margin-top:5pt;"><li>
<a href="http://www.cl.cam.ac.uk/~dao29/meeting-tvcs/" style="font-weight:400;">TVCS 2016</a></li>
<li><a href="https://camfort.github.io/tvcs2017/" style="font-weight:400;">TVCS
2017</a></li>
</ul>
</section>
<section>
<span class="title-small">Project</span><br />
CamFort is a joint project between the University of Cambridge
and University of Kent
supported by an <a
href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/M026124/1">EPSRC
grant</a>.</section>
<center class="logos">
<img alt="ucam" src='tvcs2017/ucam-logo.gif' class="logo"
style="top:15px;width:170px;position:relative;top:-9px;" />
<img alt="kent" src='tvcs2017/kent-logo.jpg' class="logo"
style="width:90px;"
/>
</center>
</section>
</div>
</body>
</html>