# William L. Harrison

Orcid: 0000-0002-3760-3556
According to our database

Collaborative distances:

^{1}, William L. Harrison authored at least 41 papers between 1984 and 2023.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2023

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2021

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

Strongly bounded termination with applications to security and hardware synthesis.

Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, 2020

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

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

ACM Trans. Embed. Comput. Syst., 2019

2018

Proceedings of the 2018 International Symposium on Rapid System Prototyping, 2018

Proceedings of the 2018 International Conference on ReConFigurable Computing and FPGAs, 2018

2017

ACM Trans. Embed. Comput. Syst., 2017

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2016

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

Proceedings of the 2016 International Symposium on Rapid System Prototyping, 2016

Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2016

2015

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

Provably Correct Development of reconfigurable hardware designs via equational reasoning.

Proceedings of the 2015 International Conference on Field Programmable Technology, 2015

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

Proceedings of the Applied Reconfigurable Computing - 11th International Symposium, 2015

2013

Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

2012

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Proceedings of the Formal Methods and Software Engineering, 2012

2010

Proceedings of the Advances in Modal Logic 8, 2010

2009

J. Comput. Secur., 2009

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

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

Int. J. Data Min. Bioinform., 2008

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2006

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

J. Funct. Program., 2005

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

Proceedings of the Fifth IEEE International Symposium on Bioinformatic and Bioengineering (BIBE 2005), 2005

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2002

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

2001

PhD thesis, 2001

Proceedings of the Semantics, 2001

2000

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

1998

Proceedings of the 1998 International Conference on Computer Languages, 1998

1995

Proceedings of the Second Pacific Asia Conference on Information Systems, 1995

1992

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

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1991

Mechanizing Security in HOL.

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1990

A comparison of information management issues in the United States of America and the Republic of China.

Inf. Manag., 1990

1987

Inf. Manag., 1987

1984

MIS Q., 1984