Adam M. Procter

According to our database, Adam M. Procter authored at least 16 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware.

Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein

ACM Trans. Embed. Comput. Syst., 2019

2017

A Principled Approach to Secure Multi-core Processor Design with ReWire.

Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein

ACM Trans. Embed. Comput. Syst., 2017

A core calculus for secure hardware: its formal semantics and proof system.

Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2016

Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire.

William L. Harrison, Adam M. Procter, Gerard Allwein

Proceedings of the 2016 International Symposium on Rapid System Prototyping, 2016

A programming model for reconfigurable computing based in functional concurrency.

William L. Harrison, Ian Graves, Adam M. Procter, Michela Becchi, Gerard Allwein

Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2016

2015

Semantics Driven Hardware Design, Implementation, and Verification with ReWire.

Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

Provably Correct Development of reconfigurable hardware designs via equational reasoning.

Ian Graves, Adam M. Procter, William L. Harrison, Gerard Allwein

Proceedings of the 2015 International Conference on Field Programmable Technology, 2015

Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation.

Ian Graves, Adam M. Procter, William L. Harrison, Michela Becchi, Gerard Allwein

Proceedings of the Applied Reconfigurable Computing - 11th International Symposium, 2015

2013

Semantics-directed machine architecture in ReWire.

Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein

Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

2012

Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications

Chris Hathhorn, Michela Becchi, William L. Harrison, Adam M. Procter

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

The Design of a Practical Proof Checker for a Lazy Functional Language.

Adam M. Procter, William L. Harrison, Aaron Stump

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

The Confinement Problem in the Presence of Faults.

William L. Harrison, Adam M. Procter, Gerard Allwein

Proceedings of the Formal Methods and Software Engineering, 2012

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

Proceedings of the 21st International Symposium on High-Performance Parallel and Distributed Computing, 2012

2009

Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software.

William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

Asynchronous Exceptions as an Effect.

William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Making monads first-class with template haskell.

Pericles S. Kariotis, Adam M. Procter, William L. Harrison

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008