Adam Procter
University of Missouri(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Security and Verification in Computing, Logic, programming, and type systems, Formal Methods in Verification, Embedded Systems Design Techniques
Most-Cited Works
- → Intel nGraph: An Intermediate Representation, Compiler, and Executor for Deep Learning(2018)105 cited
- → A virtual memory based runtime to support multi-tenancy in clusters with GPUs(2012)65 cited
- → Semantics Driven Hardware Design, Implementation, and Verification with ReWire(2015)20 cited
- → A Principled Approach to Secure Multi-core Processor Design with ReWire(2017)11 cited
- → Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software(2009)8 cited
- → Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation(2015)8 cited
- → The Confinement Problem in the Presence of Faults(2012)8 cited
- Semantics-driven design and implementation of high-assurance hardware(2014)
- → Model-driven design & synthesis of the SHA-256 cryptographic hash function in ReWire(2016)7 cited
- → A programming model for reconfigurable computing based in functional concurrency(2016)6 cited