Gerard Allwein

Publication Activity (10 Years)

Years Active: 1993-2021
Publications (10 Years): 10

Top Topics

Hardware Designs

Trusted Computing

Deterministic Finite Automata

Formal Semantics

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

William L. Harrison, Chris Hathhorn, Gerard Allwein
A Mechanized Semantic Metalanguage for High Level Synthesis. PPDP (2021)
Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein
Strongly bounded termination with applications to security and hardware synthesis. TyDe@ICFP (2020)
William L. Harrison, Gerard Allwein
Verifiable Security Templates for Hardware. DATE (2020)
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) (2019)
William L. Harrison, Gerard Allwein
Language Abstractions for Hardware-based Control-Flow Integrity Monitoring. ReConFig (2018)
William L. Harrison, Gerard Allwein
Semantics-Directed Prototyping of Hardware Runtime Monitors. RSP (2018)
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)
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) (2017)
William L. Harrison, Ian Graves, Adam M. Procter, Michela Becchi, Gerard Allwein
A programming model for reconfigurable computing based in functional concurrency. ReCoSoC (2016)
William L. Harrison, Adam M. Procter, Gerard Allwein
Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire. RSP (2016)
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein
Semantics Driven Hardware Design, Implementation, and Verification with ReWire. LCTES (2015)
Ian Graves, Adam M. Procter, William L. Harrison, Gerard Allwein
Provably Correct Development of reconfigurable hardware designs via equational reasoning. FPT (2015)
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)
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein
Semantics-directed machine architecture in ReWire. FPT (2013)
Pedro N. Safier, Ira S. Moskowitz, Gerard Allwein
Capacity of an intensity interferometry channel. CISS (2013)
William L. Harrison, Adam M. Procter, Gerard Allwein
The Confinement Problem in the Presence of Faults. ICFEM (2012)
Gerard Allwein, William L. Harrison
Partially-ordered Modalities. Advances in Modal Logic (2010)
Keye Martin, Ira S. Moskowitz, Gerard Allwein
Algebraic information theory for binary channels. Theor. Comput. Sci. 411 (19) (2010)
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)
J. McDermott, Gerard Allwein
A formalism for visual security protocol modeling. J. Vis. Lang. Comput. 19 (2) (2008)
William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter
Asynchronous Exceptions as an Effect. MPC (2008)
Keye Martin, Ira S. Moskowitz, Gerard Allwein
Algebraic Information Theory For Binary Channels. MFPS (2006)
Nik Swoboda, Gerard Allwein
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. Electron. Notes Theor. Comput. Sci. 134 (2005)
Gerard Allwein
A qualitative framework for Shannon information theories. NSPW (2004)
Nik Swoboda, Gerard Allwein
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Softw. Syst. Model. 3 (2) (2004)
Gerard Allwein, Hilmi Demir, Lee Pike
Logics for Classes of Boolean Monoids. J. Log. Lang. Inf. 13 (3) (2004)
Benedek Nagy, Gerard Allwein
Diagrams and Non-monotonicity in Puzzles. Diagrams (2004)
Nik Swoboda, Gerard Allwein
Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. Electron. Notes Theor. Comput. Sci. 72 (3) (2003)
Nik Swoboda, Gerard Allwein
Modeling Heterogeneous Systems. Diagrams (2002)
Gerard Allwein, Wendy MacCaull
A Kripke Semantics for the Logic of Gelfand Quantales. Stud Logica 68 (2) (2001)
Giuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con
The AAAI Fall Symposia. AI Mag. 20 (3) (1999)
Gerard Allwein, J. Michael Dunn
Kripke Models for Linear Logic. J. Symb. Log. 58 (2) (1993)