William L. Harrison

Chris Hathhorn

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.

[BibT_eX]

[DOI]

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

Verifiable Security Templates for Hardware.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

2018

Semantics-Directed Prototyping of Hardware Runtime Monitors.

[BibT_eX]

[DOI]

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

Language Abstractions for Hardware-based Control-Flow Integrity Monitoring.

[BibT_eX]

[DOI]

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

2017

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

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

A programming model for reconfigurable computing based in functional concurrency.

[BibT_eX]

[DOI]

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

2015

Semantics Driven Hardware Design, Implementation, and Verification with ReWire.

[BibT_eX]

[DOI]

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

Provably Correct Development of reconfigurable hardware designs via equational reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2013

Semantics-directed machine architecture in ReWire.

[BibT_eX]

[DOI]

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

2012

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Aaron Stump

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

The Confinement Problem in the Presence of Faults.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

2010

Partially-ordered Modalities.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

2009

Achieving information flow security through monadic control of effects.

[BibT_eX]

[DOI]

James Hook

J. Comput. Secur., 2009

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

[BibT_eX]

[DOI]

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

2008

A rule-based approach for RNA pseudoknot prediction.

[BibT_eX]

[DOI]

Int. J. Data Min. Bioinform., 2008

Asynchronous Exceptions as an Effect.

[BibT_eX]

[DOI]

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

Making monads first-class with template haskell.

[BibT_eX]

[DOI]

Pericles S. Kariotis

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

2006

Proof Abstraction for Imperative Languages.

[BibT_eX]

[DOI]

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

The Essence of Multitasking.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

The logic of demand in Haskell.

[BibT_eX]

[DOI]

Richard B. Kieburtz

J. Funct. Program., 2005

Achieving Information Flow Security through Precise Control of Effects.

[BibT_eX]

[DOI]

James Hook

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

RNA Pseudoknot Prediction Using Term Rewriting.

[BibT_eX]

[DOI]

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

A Simple Semantics for Polymorphic Recursion.

[BibT_eX]

[DOI]

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

2002

Fine Control of Demand in Haskell.

[BibT_eX]

[DOI]

Tim Sheard

James Hook

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

2001

Modular Compilers and Their Correctness Proofs

[BibT_eX]

[DOI]

PhD thesis, 2001

Dynamically Adaptable Software with Metacomputations in a Staged Language.

[BibT_eX]

[DOI]

Tim Sheard

Proceedings of the Semantics, 2001

2000

Metacomputation-Based Compiler Architecture.

[BibT_eX]

[DOI]

Samuel N. Kamin

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

1998

Modular Compilers Based on Monad Transformers.

[BibT_eX]

[DOI]

Samuel N. Kamin

Proceedings of the 1998 International Conference on Computer Languages, 1998

1995

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

[BibT_eX]

[DOI]

Huey-Wen Chou

James R. Coakley

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.

[BibT_eX]

Myla Archer

Karl N. Levitt

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

1991

Mechanizing Security in HOL.

[BibT_eX]

Karl N. Levitt

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.

[BibT_eX]

[DOI]

Cheng-Kiang Farn

Inf. Manag., 1990

1987

An investigation of microcomputer policies in large organizations.

[BibT_eX]

[DOI]

Mary Ellen E. Dick

Inf. Manag., 1987

1984

Project Management Considerations for Distributed Processing Applications.

[BibT_eX]

[DOI]

Robert G. Felix