Adam M. Procter

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 5

Top Topics

Owl Dl Ontology

Hardware Designs

Formal Semantics

Deterministic Finite Automata

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein
The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware. ACM Trans. Embed. Comput. Syst. 18 (1) (2019)
Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein
A core calculus for secure hardware: its formal semantics and proof system. MEMOCODE (2017)
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein
A Principled Approach to Secure Multi-core Processor Design with ReWire. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
William L. Harrison, Ian Graves, Adam M. Procter, Michela Becchi, Gerard Allwein
A programming model for reconfigurable computing based in functional concurrency. ReCoSoC (2016)
William L. Harrison, Adam M. Procter, Gerard Allwein
Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire. RSP (2016)
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein
Semantics Driven Hardware Design, Implementation, and Verification with ReWire. LCTES (2015)
Ian Graves, Adam M. Procter, William L. Harrison, Gerard Allwein
Provably Correct Development of reconfigurable hardware designs via equational reasoning. FPT (2015)
Ian Graves, Adam M. Procter, William L. Harrison, Michela Becchi, Gerard Allwein
Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation. ARC (2015)
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein
Semantics-directed machine architecture in ReWire. FPT (2013)
Chris Hathhorn, Michela Becchi, William L. Harrison, Adam M. Procter
Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications SSV (2012)
William L. Harrison, Adam M. Procter, Gerard Allwein
The Confinement Problem in the Presence of Faults. ICFEM (2012)
Michela Becchi, Kittisak Sajjapongse, Ian Graves, Adam M. Procter, Vignesh T. Ravi, Srimat T. Chakradhar
A virtual memory based runtime to support multi-tenancy in clusters with GPUs. HPDC (2012)
Adam M. Procter, William L. Harrison, Aaron Stump
The Design of a Practical Proof Checker for a Lazy Functional Language. Trends in Functional Programming (2012)
William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. DSL (2009)
William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter
Asynchronous Exceptions as an Effect. MPC (2008)
Pericles S. Kariotis, Adam M. Procter, William L. Harrison
Making monads first-class with template haskell. Haskell (2008)