Adam M. Procter

16 papers A 1B 2C 4Journal 2Unranked 7

Year	Rank	Type	Title / 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