William L. Harrison

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 14

Top Topics

Computing Power

Formal Semantics

Hardware Designs

High Level Synthesis

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

William L. Harrison, Ian Blumenfeld, Eric Bond, Chris Hathhorn, Paul Li, May Torrence, Jared Ziegler
Formalized High Level Synthesis with Applications to Cryptographic Hardware. NFM (2023)
William L. Harrison, Chris Hathhorn, Gerard Allwein
A Mechanized Semantic Metalanguage for High Level Synthesis. PPDP (2021)
Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein
Strongly bounded termination with applications to security and hardware synthesis. TyDe@ICFP (2020)
William L. Harrison, Gerard Allwein
Verifiable Security Templates for Hardware. DATE (2020)
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)
William L. Harrison, Gerard Allwein
Language Abstractions for Hardware-based Control-Flow Integrity Monitoring. ReConFig (2018)
William L. Harrison, Gerard Allwein
Semantics-Directed Prototyping of Hardware Runtime Monitors. RSP (2018)
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)
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)
Gerard Allwein, William L. Harrison
Partially-ordered Modalities. Advances in Modal Logic (2010)
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, James Hook
Achieving information flow security through monadic control of effects. J. Comput. Secur. 17 (5) (2009)
Xuezheng Fu, Hao Wang, Robert W. Harrison, William L. Harrison
A rule-based approach for RNA pseudoknot prediction. Int. J. Data Min. Bioinform. 2 (1) (2008)
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)
William L. Harrison
Proof Abstraction for Imperative Languages. APLAS (2006)
William L. Harrison
The Essence of Multitasking. AMAST (2006)
William L. Harrison, James Hook
Achieving Information Flow Security through Precise Control of Effects. CSFW (2005)
Xuezheng Fu, Hao Wang, William L. Harrison, Robert W. Harrison
RNA Pseudoknot Prediction Using Term Rewriting. BIBE (2005)
William L. Harrison
A Simple Semantics for Polymorphic Recursion. APLAS (2005)
William L. Harrison, Richard B. Kieburtz
The logic of demand in Haskell. J. Funct. Program. 15 (5) (2005)
William L. Harrison, Tim Sheard, James Hook
Fine Control of Demand in Haskell. MPC (2002)
William L. Harrison, Tim Sheard
Dynamically Adaptable Software with Metacomputations in a Staged Language. SAIG (2001)
William L. Harrison, Samuel N. Kamin
Metacomputation-Based Compiler Architecture. MPC (2000)
William L. Harrison, Samuel N. Kamin
Modular Compilers Based on Monad Transformers. ICCL (1998)
Huey-Wen Chou, James R. Coakley, William L. Harrison
End User Computing Management Practice s in Taiwan and the U.S. PACIS (1995)
William L. Harrison, Myla Archer, Karl N. Levitt
A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. TPHOLs (1992)
William L. Harrison, Karl N. Levitt
Mechanizing Security in HOL. TPHOLs (1991)
William L. Harrison, Cheng-Kiang Farn
A comparison of information management issues in the United States of America and the Republic of China. Inf. Manag. 18 (4) (1990)
William L. Harrison, Mary Ellen E. Dick
An investigation of microcomputer policies in large organizations. Inf. Manag. 12 (5) (1987)
Robert G. Felix, William L. Harrison
Project Management Considerations for Distributed Processing Applications. MIS Q. 8 (3) (1984)