( en | de | ru )

 

Disambiguation of "Harrison, William L."

Author of the publication

copydeleteadd this publication to your clipboard
Provably Correct Development of reconfigurable hardware designs via equational reasoning.

, , , and . FPT, page 160-171. IEEE, (2015)

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)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)The Confinement Problem in the Presence of Faults., , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 182-197. Springer, (2012)Formalized High Level Synthesis with Applications to Cryptographic Hardware., , , , , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 332-352. Springer, (2023)Verifiable Security Templates for Hardware., and . DATE, page 658-661. IEEE, (2020)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)Dynamically Adaptable Software with Metacomputations in a Staged Language., and . SAIG, volume 2196 of Lecture Notes in Computer Science, page 163-182. Springer, (2001)Asynchronous Exceptions as an Effect., , , and . MPC, volume 5133 of Lecture Notes in Computer Science, page 153-176. Springer, (2008)