Project Management Considerations for Distributed Processing Applications. - Robert G. Felix; William L. Harrison (MIS Q., 1984)

An investigation of microcomputer policies in large organizations. - William L. Harrison; Mary Ellen E. Dick (Inf. Manag., 1987)

A comparison of information management issues in the United States of America and the Republic of China. - William L. Harrison; Cheng-Kiang Farn (Inf. Manag., 1990)

Mechanizing Security in HOL. - William L. Harrison; Karl N. Levitt (TPHOLs, 1991)

A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. - William L. Harrison; Myla Archer; Karl N. Levitt (TPHOLs, 1992)

End User Computing Management Practice s in Taiwan and the U.S. - Huey-Wen Chou; James R. Coakley; William L. Harrison (PACIS, 1995)

Modular Compilers Based on Monad Transformers. - William L. Harrison; Samuel N. Kamin (ICCL, 1998)

Metacomputation-Based Compiler Architecture. - William L. Harrison; Samuel N. Kamin (MPC, 2000)

Dynamically Adaptable Software with Metacomputations in a Staged Language. - William L. Harrison; Tim Sheard (SAIG, 2001)

Modular Compilers and Their Correctness Proofs - William L. Harrison (2001)

Fine Control of Demand in Haskell. - William L. Harrison; Tim Sheard; James Hook (MPC, 2002)

A Simple Semantics for Polymorphic Recursion. - William L. Harrison (APLAS, 2005)

RNA Pseudoknot Prediction Using Term Rewriting. - Xuezheng Fu; Hao Wang 003; William L. Harrison; Robert W. Harrison (BIBE, 2005)

Achieving Information Flow Security through Precise Control of Effects. - William L. Harrison; James Hook (CSFW, 2005)

The logic of demand in Haskell. - William L. Harrison; Richard B. Kieburtz (J. Funct. Program., 2005)

The Essence of Multitasking. - William L. Harrison (AMAST, 2006)

Proof Abstraction for Imperative Languages. - William L. Harrison (APLAS, 2006)

Making monads first-class with template haskell. - Pericles S. Kariotis; Adam M. Procter; William L. Harrison (Haskell, 2008)

Asynchronous Exceptions as an Effect. - William L. Harrison; Gerard Allwein; Andy Gill; Adam M. Procter (MPC, 2008)

A rule-based approach for RNA pseudoknot prediction. - Xuezheng Fu; Hao Wang 003; Robert W. Harrison; William L. Harrison (Int. J. Data Min. Bioinform., 2008)

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 (DSL, 2009)

Achieving information flow security through monadic control of effects. - William L. Harrison; James Hook (J. Comput. Secur., 2009)

Partially-ordered Modalities. - Gerard Allwein; William L. Harrison (Advances in Modal Logic, 2010)

The Confinement Problem in the Presence of Faults. - William L. Harrison; Adam M. Procter; Gerard Allwein (ICFEM, 2012)

The Design of a Practical Proof Checker for a Lazy Functional Language. - Adam M. Procter; William L. Harrison; Aaron Stump (Trends in Functional Programming, 2012)

Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications - Chris Hathhorn; Michela Becchi; William L. Harrison; Adam M. Procter (SSV, 2012)

Semantics-directed machine architecture in ReWire. - Adam M. Procter; William L. Harrison; Ian Graves; Michela Becchi; Gerard Allwein (FPT, 2013)

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 (ARC, 2015)

Provably Correct Development of reconfigurable hardware designs via equational reasoning. - Ian Graves; Adam M. Procter; William L. Harrison; Gerard Allwein (FPT, 2015)

Semantics Driven Hardware Design, Implementation, and Verification with ReWire. - Adam M. Procter; William L. Harrison; Ian Graves; Michela Becchi; Gerard Allwein (LCTES, 2015)

A programming model for reconfigurable computing based in functional concurrency. - William L. Harrison; Ian Graves; Adam M. Procter; Michela Becchi; Gerard Allwein (ReCoSoC, 2016)

Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire. - William L. Harrison; Adam M. Procter; Gerard Allwein (RSP, 2016)

A core calculus for secure hardware: its formal semantics and proof system. - Thomas N. Reynolds; Adam M. Procter; William L. Harrison; Gerard Allwein (MEMOCODE, 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)

Language Abstractions for Hardware-based Control-Flow Integrity Monitoring. - William L. Harrison; Gerard Allwein (ReConFig, 2018)

Semantics-Directed Prototyping of Hardware Runtime Monitors. - William L. Harrison; Gerard Allwein (RSP, 2018)

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)

Verifiable Security Templates for Hardware. - William L. Harrison; Gerard Allwein (DATE, 2020)

Strongly bounded termination with applications to security and hardware synthesis. - Thomas N. Reynolds; William L. Harrison; Rohit Chadha; Gerard Allwein (TyDe@ICFP, 2020)

A Mechanized Semantic Metalanguage for High Level Synthesis. - William L. Harrison; Chris Hathhorn; Gerard Allwein (PPDP, 2021)

Formalized High Level Synthesis with Applications to Cryptographic Hardware. - William L. Harrison; Ian Blumenfeld; Eric Bond; Chris Hathhorn; Paul Li; May Torrence; Jared Ziegler (NFM, 2023)

Temporal Staging for Correct-by-Construction Cryptographic Hardware. - Yakir Forman; William L. Harrison (RSP, 2024)

Enforcing MAVLink Safety & Security Properties via Refined Multiparty Session Types. - Arthur Amorim; Max Taylor; Trevor Kann; William L. Harrison; Gary T. Leavens; Lance Joneckis (NFM, 2025)

UAV Resilience Against Stealthy Attacks. - Arthur Amorim; Max Taylor; Trevor Kann; Gary T. Leavens; William L. Harrison; Lance Joneckis (CoRR, 2025)