publications-inner.html

<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>