Adam M. Procter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2008–2017
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | MEMOCODE | A core calculus for secure hardware: its formal semantics and proof system. | Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein |
| 2016 | RSP | Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire. | William L. Harrison, Adam M. Procter, Gerard Allwein |
| 2012 | HPDC | A virtual memory based runtime to support multi-tenancy in clusters with GPUs. | Michela Becchi, Kittisak Sajjapongse, Ian Graves, Adam M. Procter, Vignesh T. Ravi, Srimat T. Chakradhar |
| 2012 | ICFEM | The Confinement Problem in the Presence of Faults. | William L. Harrison, Adam M. Procter, Gerard Allwein |
| 2008 | HASKELL | Making monads first-class with template haskell. | Pericles S. Kariotis, Adam M. Procter, William L. Harrison |
| 2008 | MPC | Asynchronous Exceptions as an Effect. | William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter |