Gerard Allwein

33 papers A 1B 4C 8Misc 1Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2021 C conf
A Mechanized Semantic Metalanguage for High Level Synthesis.
PPDP
William L. Harrison, Chris Hathhorn, Gerard Allwein
2020 — conf
Strongly bounded termination with applications to security and hardware synthesis.
TyDe@ICFP
Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein
2020 A conf
Verifiable Security Templates for Hardware.
DATE
William L. Harrison, Gerard Allwein
2019 J jnl
The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware.
ACM Trans. Embed. Comput. Syst.
Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein
2018 — conf
Language Abstractions for Hardware-based Control-Flow Integrity Monitoring.
ReConFig
William L. Harrison, Gerard Allwein
2018 C conf
Semantics-Directed Prototyping of Hardware Runtime Monitors.
RSP
William L. Harrison, Gerard Allwein
2017 J jnl
A Principled Approach to Secure Multi-core Processor Design with ReWire.
ACM Trans. Embed. Comput. Syst.
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein
2017 C conf
A core calculus for secure hardware: its formal semantics and proof system.
MEMOCODE
Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein
2016 — conf
A programming model for reconfigurable computing based in functional concurrency.
ReCoSoC
William L. Harrison, Ian Graves, Adam M. Procter, Michela Becchi, Gerard Allwein
2016 C conf
Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire.
RSP
William L. Harrison, Adam M. Procter, Gerard Allwein
2015 — conf
Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation.
ARC
Ian Graves, Adam M. Procter, William L. Harrison, Michela Becchi, Gerard Allwein
2015 — conf
Provably Correct Development of reconfigurable hardware designs via equational reasoning.
FPT
Ian Graves, Adam M. Procter, William L. Harrison, Gerard Allwein
2015 B conf
Semantics Driven Hardware Design, Implementation, and Verification with ReWire.
LCTES
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein
2013 Misc conf
Capacity of an intensity interferometry channel.
CISS
Pedro N. Safier, Ira S. Moskowitz, Gerard Allwein
2013 — conf
Semantics-directed machine architecture in ReWire.
FPT
Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein
2012 C conf
The Confinement Problem in the Presence of Faults.
ICFEM
William L. Harrison, Adam M. Procter, Gerard Allwein
2010 J jnl
Algebraic information theory for binary channels.
Theor. Comput. Sci.
Keye Martin, Ira S. Moskowitz, Gerard Allwein
2010 B conf
Partially-ordered Modalities.
Advances in Modal Logic
Gerard Allwein, William L. Harrison
2009 — conf
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software.
DSL
William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein
2008 J jnl
A formalism for visual security protocol modeling.
J. Vis. Lang. Comput.
J. McDermott, Gerard Allwein
2008 B conf
Asynchronous Exceptions as an Effect.
MPC
William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter
2006 B conf
Algebraic Information Theory For Binary Channels.
MFPS
Keye Martin, Ira S. Moskowitz, Gerard Allwein
2004 C conf
A qualitative framework for Shannon information theories.
NSPW
Gerard Allwein
2004 C conf
Diagrams and Non-monotonicity in Puzzles.
Diagrams
Benedek Nagy, Gerard Allwein
2004 — conf
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL.
Euler
Nik Swoboda, Gerard Allwein
2004 J jnl
Logics for Classes of Boolean Monoids.
J. Log. Lang. Inf.
Gerard Allwein, Hilmi Demir, Lee Pike
2004 J jnl
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference.
Softw. Syst. Model.
Nik Swoboda, Gerard Allwein
2002 — ch.
Intelligent Diagrammatic Interfaces: State of the Art.
Diagrammatic Representation and Reasoning
Bernd Meyer, Kim Marriott, Gerard Allwein
2002 C conf
Modeling Heterogeneous Systems.
Diagrams
Nik Swoboda, Gerard Allwein
2002 — conf
Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference.
GT-VMT@ICGT
Nik Swoboda, Gerard Allwein
2001 J jnl
A Kripke Semantics for the Logic of Gelfand Quantales.
Stud Logica
Gerard Allwein, Wendy MacCaull
1999 J jnl
The AAAI Fall Symposia.
AI Mag.
Giuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con
1993 J jnl
Kripke Models for Linear Logic.
J. Symb. Log.
Gerard Allwein, J. Michael Dunn