Gerard Allwein

According to our database, Gerard Allwein authored at least 31 papers between 1993 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Mechanized Semantic Metalanguage for High Level Synthesis.

William L. Harrison, Chris Hathhorn, Gerard Allwein

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.

Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein

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

Verifiable Security Templates for Hardware.

William L. Harrison, Gerard Allwein

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.

Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein

ACM Trans. Embed. Comput. Syst., 2019

2018

Semantics-Directed Prototyping of Hardware Runtime Monitors.

William L. Harrison, Gerard Allwein

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

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

William L. Harrison, Gerard Allwein

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

2017

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

Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein

ACM Trans. Embed. Comput. Syst., 2017

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

Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein

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.

William L. Harrison, Adam M. Procter, Gerard Allwein

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

A programming model for reconfigurable computing based in functional concurrency.

William L. Harrison, Ian Graves, Adam M. Procter, Michela Becchi, Gerard Allwein

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

2015

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

Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein

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

Provably Correct Development of reconfigurable hardware designs via equational reasoning.

Ian Graves, Adam M. Procter, William L. Harrison, Gerard Allwein

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.

Ian Graves, Adam M. Procter, William L. Harrison, Michela Becchi, Gerard Allwein

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

2013

Semantics-directed machine architecture in ReWire.

Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein

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

Capacity of an intensity interferometry channel.

Pedro N. Safier, Ira S. Moskowitz, Gerard Allwein

Proceedings of the 47th Annual Conference on Information Sciences and Systems, 2013

2012

The Confinement Problem in the Presence of Faults.

William L. Harrison, Adam M. Procter, Gerard Allwein

Proceedings of the Formal Methods and Software Engineering, 2012

2010

Algebraic information theory for binary channels.

Keye Martin, Ira S. Moskowitz, Gerard Allwein

Theor. Comput. Sci., 2010

Partially-ordered Modalities.

Gerard Allwein, William L. Harrison

Proceedings of the Advances in Modal Logic 8, 2010

2009

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

William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein

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

2008

A formalism for visual security protocol modeling.

J. McDermott, Gerard Allwein

J. Vis. Lang. Comput., 2008

Asynchronous Exceptions as an Effect.

William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter

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

2004

Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference.

Nik Swoboda, Gerard Allwein

Softw. Syst. Model., 2004

Logics for Classes of Boolean Monoids.

Gerard Allwein, Hilmi Demir, Lee Pike

J. Log. Lang. Inf., 2004

Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL.

Nik Swoboda, Gerard Allwein

Proceedings of the First International Workshop on Euler Diagrams, 2004

A qualitative framework for Shannon information theories.

Gerard Allwein

Proceedings of the New Security Paradigms Workshop 2004, 2004

Diagrams and Non-monotonicity in Puzzles.

Benedek Nagy, Gerard Allwein

Proceedings of the Diagrammatic Representation and Inference, 2004

2002

Modeling Heterogeneous Systems.

Nik Swoboda, Gerard Allwein

Proceedings of the Diagrammatic Representation and Inference, 2002

Intelligent Diagrammatic Interfaces: State of the Art.

Bernd Meyer, Kim Marriott, Gerard Allwein

Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001

A Kripke Semantics for the Logic of Gelfand Quantales.

Gerard Allwein, Wendy MacCaull

Stud Logica, 2001

1999

The AAAI Fall Symposia.

Giuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con

AI Mag., 1999

1993

Kripke Models for Linear Logic.

Gerard Allwein, J. Michael Dunn

J. Symb. Log., 1993