Adam M. Procter

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