default search action

combined dblp search
author search
venue search
publication search

ask others

William L. Harrison

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2001
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/us/Harrison01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Harrison01
William L. Harrison:
Modular Compilers and Their Correctness Proofs. University of Illinois Urbana-Champaign, USA, 2001

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/ReynoldsPHA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/ReynoldsPHA19
Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein:
The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware. ACM Trans. Embed. Comput. Syst. 18(1): 6:1-6:26 (2019)
2017
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/ProcterHGBA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/ProcterHGBA17
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein:
A Principled Approach to Secure Multi-core Processor Design with ReWire. ACM Trans. Embed. Comput. Syst. 16(2): 33:1-33:25 (2017)
2009
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/HarrisonH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/HarrisonH09
William L. Harrison, James Hook:
Achieving information flow security through monadic control of effects. J. Comput. Secur. 17(5): 599-653 (2009)
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijdmb/FuWHH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdmb/FuWHH08
Xuezheng Fu, Hao Wang, Robert W. Harrison, William L. Harrison:
A rule-based approach for RNA pseudoknot prediction. Int. J. Data Min. Bioinform. 2(1): 78-93 (2008)
2005
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HarrisonK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HarrisonK05
William L. Harrison, Richard B. Kieburtz:
The logic of demand in Haskell. J. Funct. Program. 15(5): 837-891 (2005)
1990
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/iam/HarrisonF90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iam/HarrisonF90
William L. Harrison, Cheng-Kiang Farn:
A comparison of information management issues in the United States of America and the Republic of China. Inf. Manag. 18(4): 177-188 (1990)
1987
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/iam/HarrisonD87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iam/HarrisonD87
William L. Harrison, Mary Ellen E. Dick:
An investigation of microcomputer policies in large organizations. Inf. Manag. 12(5): 223-233 (1987)
1984
[j1]
- view
  - electronic edition @ misq.org
  - no references & citations available
- export record
  dblp key:
  - journals/misq/FelixH84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/misq/FelixH84
Robert G. Felix, William L. Harrison:
Project Management Considerations for Distributed Processing Applications. MIS Q. 8(3): 161-170 (1984)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/HarrisonBBHLTZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/HarrisonBBHLTZ23
William L. Harrison, Ian Blumenfeld, Eric Bond, Chris Hathhorn, Paul Li, May Torrence, Jared Ziegler:
Formalized High Level Synthesis with Applications to Cryptographic Hardware. NFM 2023: 332-352
2021
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/HarrisonHA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/HarrisonHA21
William L. Harrison, Chris Hathhorn, Gerard Allwein:
A Mechanized Semantic Metalanguage for High Level Synthesis. PPDP 2021: 22:1-22:14
2020
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HarrisonA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HarrisonA20
William L. Harrison, Gerard Allwein:
Verifiable Security Templates for Hardware. DATE 2020: 658-661
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/ReynoldsHCA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/ReynoldsHCA20
Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein:
Strongly bounded termination with applications to security and hardware synthesis. TyDe@ICFP 2020: 1-10
2018
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/reconfig/HarrisonA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/reconfig/HarrisonA18
William L. Harrison, Gerard Allwein:
Language Abstractions for Hardware-based Control-Flow Integrity Monitoring. ReConFig 2018: 1-6
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/HarrisonA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/HarrisonA18
William L. Harrison, Gerard Allwein:
Semantics-Directed Prototyping of Hardware Runtime Monitors. RSP 2018: 42-48
2017
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ReynoldsPHA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ReynoldsPHA17
Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein:
A core calculus for secure hardware: its formal semantics and proof system. MEMOCODE 2017: 122-131
2016
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/recosoc/HarrisonGPBA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/recosoc/HarrisonGPBA16
William L. Harrison, Ian Graves, Adam M. Procter, Michela Becchi, Gerard Allwein:
A programming model for reconfigurable computing based in functional concurrency. ReCoSoC 2016: 1-8
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/HarrisonPA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/HarrisonPA16
William L. Harrison, Adam M. Procter, Gerard Allwein:
Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire. RSP 2016: 114-120
2015
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/arc/GravesPHBA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arc/GravesPHBA15
Ian Graves, Adam M. Procter, William L. Harrison, Michela Becchi, Gerard Allwein:
Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation. ARC 2015: 41-52
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/fpt/GravesPHA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpt/GravesPHA15
Ian Graves, Adam M. Procter, William L. Harrison, Gerard Allwein:
Provably Correct Development of reconfigurable hardware designs via equational reasoning. FPT 2015: 160-171
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/ProcterHGBA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/ProcterHGBA15
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein:
Semantics Driven Hardware Design, Implementation, and Verification with ReWire. LCTES 2015: 13:1-13:10
2013
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/fpt/ProcterHGBA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpt/ProcterHGBA13
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein:
Semantics-directed machine architecture in ReWire. FPT 2013: 446-449
2012
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/HarrisonPA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/HarrisonPA12
William L. Harrison, Adam M. Procter, Gerard Allwein:
The Confinement Problem in the Presence of Faults. ICFEM 2012: 182-197
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/ProcterHS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/ProcterHS12
Adam M. Procter, William L. Harrison, Aaron Stump:
The Design of a Practical Proof Checker for a Lazy Functional Language. Trends in Functional Programming 2012: 117-132
[c17]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-6193
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6193
Chris Hathhorn, Michela Becchi, William L. Harrison, Adam M. Procter:
Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications. SSV 2012: 115-124
2010
[c16]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/AllweinH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/AllweinH10
Gerard Allwein, William L. Harrison:
Partially-ordered Modalities. Advances in Modal Logic 2010: 1-21
2009
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/dsl/HarrisonPAKA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsl/HarrisonPAKA09
William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein:
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. DSL 2009: 20-44
2008
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/KariotisPH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/KariotisPH08
Pericles S. Kariotis, Adam M. Procter, William L. Harrison:
Making monads first-class with template haskell. Haskell 2008: 99-110
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HarrisonAGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HarrisonAGP08
William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter:
Asynchronous Exceptions as an Effect. MPC 2008: 153-176
2006
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Harrison06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Harrison06
William L. Harrison:
The Essence of Multitasking. AMAST 2006: 158-172
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Harrison06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Harrison06
William L. Harrison:
Proof Abstraction for Imperative Languages. APLAS 2006: 97-113
2005
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Harrison05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Harrison05
William L. Harrison:
A Simple Semantics for Polymorphic Recursion. APLAS 2005: 37-51
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/bibe/FuWHH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bibe/FuWHH05
Xuezheng Fu, Hao Wang, William L. Harrison, Robert W. Harrison:
RNA Pseudoknot Prediction Using Term Rewriting. BIBE 2005: 169-176
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HarrisonH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HarrisonH05
William L. Harrison, James Hook:
Achieving Information Flow Security through Precise Control of Effects. CSFW 2005: 16-30
2002
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HarrisonSH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HarrisonSH02
William L. Harrison, Tim Sheard, James Hook:
Fine Control of Demand in Haskell. MPC 2002: 68-93
2001
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/saig/HarrisonS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/HarrisonS01
William L. Harrison, Tim Sheard:
Dynamically Adaptable Software with Metacomputations in a Staged Language. SAIG 2001: 163-182
2000
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HarrisonK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HarrisonK00
William L. Harrison, Samuel N. Kamin:
Metacomputation-Based Compiler Architecture. MPC 2000: 213-229
1998
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iccl/HarrisonK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccl/HarrisonK98
William L. Harrison, Samuel N. Kamin:
Modular Compilers Based on Monad Transformers. ICCL 1998: 122-131
1995
[c3]
- view
  - electronic edition @ aisnet.org
  - no references & citations available
- export record
  dblp key:
  - conf/pacis/ChouCH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pacis/ChouCH95
Huey-Wen Chou, James R. Coakley, William L. Harrison:
End User Computing Management Practice s in Taiwan and the U.S. PACIS 1995: 96
1992
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/HarrisonAL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/HarrisonAL92
William L. Harrison, Myla Archer, Karl N. Levitt:
A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. TPHOLs 1992: 347-356
1991
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tphol/HarrisonL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/HarrisonL91
William L. Harrison, Karl N. Levitt:
Mechanizing Security in HOL. TPHOLs 1991: 63-66

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.