( en | de | ru )

 

Disambiguation of "Harrison, William L."

Author of the publication

copydeleteadd this publication to your clipboard
The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware.

, , , and . ACM Trans. Embed. Comput. Syst., 18 (1): 6:1-6:26 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

William L Schutter

Dave Harrison

David Harrison

Elizabeth Harrison

Harrison Kia

 

Other publications of authors with the same name

Proof Abstraction for Imperative Languages.. APLAS, volume 4279 of Lecture Notes in Computer Science, page 97-113. Springer, (2006)Verifiable Security Templates for Hardware., and . DATE, page 658-661. IEEE, (2020)Formalized High Level Synthesis with Applications to Cryptographic Hardware., , , , , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 332-352. Springer, (2023)The Confinement Problem in the Presence of Faults., , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 182-197. Springer, (2012)Language Abstractions for Hardware-based Control-Flow Integrity Monitoring., and . ReConFig, page 1-6. IEEE, (2018)Semantics-directed machine architecture in ReWire., , , , and . FPT, page 446-449. IEEE, (2013)Semantics Driven Hardware Design, Implementation, and Verification with ReWire., , , , and . LCTES, page 13:1-13:10. ACM, (2015)Strongly bounded termination with applications to security and hardware synthesis., , , and . TyDe@ICFP, page 1-10. ACM, (2020)A Mechanized Semantic Metalanguage for High Level Synthesis., , and . PPDP, page 22:1-22:14. ACM, (2021)Modular Compilers Based on Monad Transformers., and . ICCL, page 122-131. IEEE Computer Society, (1998)