Gerard Allwein - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2021

A Mechanized Semantic Metalanguage for High Level SynthesisWilliam L. Harrison, Chris Hathhorn, Gerard Allwein. ppdp 2021: [doi]

2020

Verifiable Security Templates for HardwareWilliam L. Harrison, Gerard Allwein. date 2020: 658-661 [doi]

Strongly bounded termination with applications to security and hardware synthesisThomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein. ICFP 2020: 1-10 [doi]

2019

The Mechanized Marriage of Effects and Monads with Applications to High-assurance HardwareThomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein. tecs, 18(1), 2019. [doi]

2018

Language Abstractions for Hardware-based Control-Flow Integrity MonitoringWilliam L. Harrison, Gerard Allwein. reconfig 2018: 1-6 [doi]

Semantics-Directed Prototyping of Hardware Runtime MonitorsWilliam L. Harrison, Gerard Allwein. rsp 2018: 42-48 [doi]

2017

A Principled Approach to Secure Multi-core Processor Design with ReWireAdam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein. tecs, 16(2), 2017. [doi]

A core calculus for secure hardware: its formal semantics and proof systemThomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein. memocode 2017: 122-131 [doi]

2016

Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewireWilliam L. Harrison, Adam M. Procter, Gerard Allwein. rsp 2016: 114-120 [doi]

A programming model for reconfigurable computing based in functional concurrencyWilliam L. Harrison, Ian Graves, Adam M. Procter, Michela Becchi, Gerard Allwein. recosoc 2016: 1-8 [doi]

2015

2013

Semantics-directed machine architecture in ReWireAdam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein. fpt 2013: 446-449 [doi]

Capacity of an intensity interferometry channelPedro N. Safier, Ira S. Moskowitz, Gerard Allwein. ciss 2013: 1-6 [doi]

2012

The Confinement Problem in the Presence of FaultsWilliam L. Harrison, Adam M. Procter, Gerard Allwein. icfem 2012: 182-197 [doi]

2010

Partially-ordered ModalitiesGerard Allwein, William L. Harrison. aiml 2010: 1-21 [doi]

Algebraic information theory for binary channelsKeye Martin, Ira S. Moskowitz, Gerard Allwein. TCS, 411(19):1918-1927, 2010. [doi]

2009

Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and SoftwareWilliam L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein. DSL 2009: 20-44 [doi]

2008

Asynchronous Exceptions as an EffectWilliam L. Harrison, Gerard Allwein, Andy Gill, Adam Procter. mpc 2008: 153-176 [doi]

A formalism for visual security protocol modelingJ. McDermott, Gerard Allwein. JCL (JVLC), 19(2):153-181, 2008. [doi]

2006

Algebraic Information Theory For Binary ChannelsKeye Martin, Ira S. Moskowitz, Gerard Allwein. ENTCS, 158:289-306, 2006. [doi]

2005

Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOLNik Swoboda, Gerard Allwein. ENTCS, 134:153-187, 2005. [doi]

2004

2003

Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of InferenceNik Swoboda, Gerard Allwein. ENTCS, 72(3):78-92, 2003. [doi]

2002

Intelligent Diagrammatic Interfaces: State of the ArtBernd Meyer 0001, Kim Marriott, Gerard Allwein. In Michael Anderson, Bernd Meyer 0001, Patrick Olivier, editors, Diagrammatic Representation and Reasoning. pages 411-429, Springer, 2002. [doi]

Modeling Heterogeneous SystemsNik Swoboda, Gerard Allwein. diagrams 2002: 131-145 [doi]

2001

A Kripke Semantics for the Logic of Gelfand QuantalesGerard Allwein, Wendy MacCaull. sLogica, 68(2):173-228, 2001.

1999

The AAAI Fall SymposiaGiuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con. aim, 20(3):87-89, 1999.

1993

Kripke Models for Linear LogicGerard Allwein, J. Michael Dunn. JSYML, 58(2):514-545, 1993.

Sign in or sign up to see more results.

runs on WebDSL