William L. Harrison

44 papers A 1B 7C 8Journal 9Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Enforcing MAVLink Safety & Security Properties via Refined Multiparty Session Types. NFM Arthur Amorim, Max Taylor, Trevor Kann, William L. Harrison, Gary T. Leavens, Lance Joneckis
2025	J	`jnl`	UAV Resilience Against Stealthy Attacks. CoRR Arthur Amorim, Max Taylor, Trevor Kann, Gary T. Leavens, William L. Harrison, Lance Joneckis
2024	C	`conf`	Temporal Staging for Correct-by-Construction Cryptographic Hardware. RSP Yakir Forman, William L. Harrison
2023	—	`conf`	Formalized High Level Synthesis with Applications to Cryptographic Hardware. NFM William L. Harrison, Ian Blumenfeld, Eric Bond, Chris Hathhorn, Paul Li, May Torrence, Jared Ziegler
2021	C	`conf`	A Mechanized Semantic Metalanguage for High Level Synthesis. PPDP William L. Harrison, Chris Hathhorn, Gerard Allwein
2020	—	`conf`	Strongly bounded termination with applications to security and hardware synthesis. TyDe@ICFP Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein
2020	A	`conf`	Verifiable Security Templates for Hardware. DATE William L. Harrison, Gerard Allwein
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
2018	—	`conf`	Language Abstractions for Hardware-based Control-Flow Integrity Monitoring. ReConFig William L. Harrison, Gerard Allwein
2018	C	`conf`	Semantics-Directed Prototyping of Hardware Runtime Monitors. RSP 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	—	`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
2010	B	`conf`	Partially-ordered Modalities. Advances in Modal Logic Gerard Allwein, William L. Harrison
2009	J	`jnl`	Achieving information flow security through monadic control of effects. J. Comput. Secur. William L. Harrison, James Hook
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	J	`jnl`	A rule-based approach for RNA pseudoknot prediction. Int. J. Data Min. Bioinform. Xuezheng Fu, Hao Wang, Robert W. Harrison, William L. Harrison
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
2006	B	`conf`	Proof Abstraction for Imperative Languages. APLAS William L. Harrison
2006	—	`conf`	The Essence of Multitasking. AMAST William L. Harrison
2005	B	`conf`	A Simple Semantics for Polymorphic Recursion. APLAS William L. Harrison
2005	—	`conf`	Achieving Information Flow Security through Precise Control of Effects. CSFW William L. Harrison, James Hook
2005	C	`conf`	RNA Pseudoknot Prediction Using Term Rewriting. BIBE Xuezheng Fu, Hao Wang, William L. Harrison, Robert W. Harrison
2005	J	`jnl`	The logic of demand in Haskell. J. Funct. Program. William L. Harrison, Richard B. Kieburtz
2002	B	`conf`	Fine Control of Demand in Haskell. MPC William L. Harrison, Tim Sheard, James Hook
2001	—	`conf`	Dynamically Adaptable Software with Metacomputations in a Staged Language. SAIG William L. Harrison, Tim Sheard
2001	—	`—`	Modular Compilers and Their Correctness Proofs William L. Harrison
2000	B	`conf`	Metacomputation-Based Compiler Architecture. MPC William L. Harrison, Samuel N. Kamin
1998	—	`conf`	Modular Compilers Based on Monad Transformers. ICCL William L. Harrison, Samuel N. Kamin
1995	—	`conf`	End User Computing Management Practice s in Taiwan and the U.S. PACIS Huey-Wen Chou, James R. Coakley, William L. Harrison
1992	—	`conf`	A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. TPHOLs William L. Harrison, Myla Archer, Karl N. Levitt
1991	—	`conf`	Mechanizing Security in HOL. TPHOLs William L. Harrison, Karl N. Levitt
1990	J	`jnl`	A comparison of information management issues in the United States of America and the Republic of China. Inf. Manag. William L. Harrison, Cheng-Kiang Farn
1987	J	`jnl`	An investigation of microcomputer policies in large organizations. Inf. Manag. William L. Harrison, Mary Ellen E. Dick
1984	J	`jnl`	Project Management Considerations for Distributed Processing Applications. MIS Q. Robert G. Felix, William L. Harrison