William L. Harrison

发表

RNA pseudoknot prediction using term rewriting

Hao Wang, Robert W. Harrison, Xuezheng Fu, 2005, Fifth IEEE Symposium on Bioinformatics and Bioengineering (BIBE'05).

Fine Control of Demand in Haskell

William L. Harrison, Tim Sheard, James Hook, 2002, MPC.

A core calculus for secure hardware: its formal semantics and proof system

William L. Harrison, Thomas N. Reynolds, Adam M. Procter, 2017, MEMOCODE.

Domain Separation by Construction

William L. Harrison, James Hook, Mark Tullsen, 2003 .

Proof Abstraction for Imperative Languages

William L. Harrison, W. Harrison, 2006, APLAS.

Asynchronous Exceptions as an Effect

William L. Harrison, Adam M. Procter, Gerard Allwein, 2008, MPC.

A rule-based approach for RNA pseudoknot prediction

Hao Wang, Robert W. Harrison, Xuezheng Fu, 2008, Int. J. Data Min. Bioinform..

Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation

Michela Becchi, William L. Harrison, Adam M. Procter, 2015, ARC.

A HOL Mechanization of The Axiomatic Semantics of a Simple Distributed Programming Language11The research reported here was funded in part by contract DOD-MDA 904-91-C-7053 with the National Security Agency's University Program.

Karl N. Levitt, William L. Harrison, Myla Archer, 1993 .

Metacomputation-Based Compiler Architecture

Samuel N. Kamin, William L. Harrison, W. Harrison, 2000, MPC.

Mechanizing Security In HOL

Karl N. Levitt, William L. Harrison, K. Levitt, 1991, 1991., International Workshop on the HOL Theorem Proving System and Its Applications.

A Principled Approach to Secure Multi-core Processor Design with ReWire

Michela Becchi, William L. Harrison, Adam M. Procter, 2017, ACM Trans. Embed. Comput. Syst..

The Design of a Practical Proof Checker for a Lazy Functional Language

William L. Harrison, Adam M. Procter, Aaron Stump, 2012, Trends in Functional Programming.

A Simple Semantics for Polymorphic Recursion

William L. Harrison, 2005, APLAS.

Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software

William L. Harrison, Adam M. Procter, Gerard Allwein, 2009, DSL.

Verifiable Security Templates for Hardware

William L. Harrison, Gerard Allwein, W. Harrison, 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Semantics-directed machine architecture in ReWire

Michela Becchi, William L. Harrison, Adam M. Procter, 2013, 2013 International Conference on Field-Programmable Technology (FPT).

Language Abstractions for Hardware-based Control-Flow Integrity Monitoring

William L. Harrison, Gerard Allwein, 2018, 2018 International Conference on ReConFigurable Computing and FPGAs (ReConFig).

Under Consideration for Publication in J. Functional Programming the Logic of Demand in Haskell

William L. Harrison, Richard B. Kieburtz, W. Harrison, 2022 .

Provably Correct Development of reconfigurable hardware designs via equational reasoning

William L. Harrison, Adam M. Procter, Gerard Allwein, 2015, 2015 International Conference on Field Programmable Technology (FPT).

Project Management Considerations for Distributed Processing Applications

William L. Harrison, Robert G. Felix, 1984, MIS Q..

The Confinement Problem in the Presence of Faults

William L. Harrison, Adam M. Procter, Gerard Allwein, 2012, ICFEM.

Semantics-Directed Prototyping of Hardware Runtime Monitors

William L. Harrison, Gerard Allwein, 2018, 2018 International Symposium on Rapid System Prototyping (RSP).

The Essence of Multitasking

William L. Harrison, W. Harrison, 2006, AMAST.

Partially-ordered Modalities

William L. Harrison, Gerard Allwein, W. Harrison, 2010, Advances in Modal Logic.

End User Computing Management Practice s in Taiwan and the U.S

William L. Harrison, Huey-Wen Chou, James R. Coakley, 1995, PACIS.

A programming model for reconfigurable computing based in functional concurrency

Michela Becchi, William L. Harrison, Adam M. Procter, 2016, 2016 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC).

Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire

William L. Harrison, Adam M. Procter, Gerard Allwein, 2016, 2016 International Symposium on Rapid System Prototyping (RSP).

Achieving information flow security through precise control of effects

William L. Harrison, James Hook, W. Harrison, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).

Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications

Michela Becchi, William L. Harrison, Adam M. Procter, 2012, SSV.

A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language

Karl N. Levitt, William L. Harrison, Myla Archer, 1992, TPHOLs.

Making monads first-class with template haskell

William L. Harrison, Adam M. Procter, Pericles S. Kariotis, 2008, Haskell '08.

Achieving information flow security through monadic control of effects

William L. Harrison, James Hook, W. Harrison, 2009, J. Comput. Secur..

Modular compilers based on monad transformers

Samuel N. Kamin, William L. Harrison, 1998, Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).

The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware

William L. Harrison, Thomas N. Reynolds, Adam M. Procter, 2019, ACM Trans. Embed. Comput. Syst..

Semantics Driven Hardware Design, Implementation, and Verification with ReWire

Michela Becchi, William L. Harrison, Adam M. Procter, 2015, LCTES.

Strongly bounded termination with applications to security and hardware synthesis

Rohit Chadha, William L. Harrison, Gerard Allwein, 2020, TyDe@ICFP.

Dynamically Adaptable Software with Metacomputations in a Staged Language

William L. Harrison, Tim Sheard, 2001, SAIG.

A Mechanized Semantic Metalanguage for High Level Synthesis

William L. Harrison, Gerard Allwein, Chris Hathhorn, 2021, PPDP.

Deriving Compilers from Monadic Semantics

William L. Harrison, 1997 .