Gerard Allwein
Affiliations:- US Naval Research Laboratory, Washington, DC, USA
According to our database1,
Gerard Allwein
authored at least 31 papers
between 1993 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on andrej.com
On csauthors.net:
Bibliography
2021
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021
2020
Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, 2020
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.
ACM Trans. Embed. Comput. Syst., 2019
2018
Proceedings of the 2018 International Symposium on Rapid System Prototyping, 2018
Proceedings of the 2018 International Conference on ReConFigurable Computing and FPGAs, 2018
2017
ACM Trans. Embed. Comput. Syst., 2017
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.
Proceedings of the 2016 International Symposium on Rapid System Prototyping, 2016
Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2016
2015
Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015
Provably Correct Development of reconfigurable hardware designs via equational reasoning.
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.
Proceedings of the Applied Reconfigurable Computing - 11th International Symposium, 2015
2013
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013
Proceedings of the 47th Annual Conference on Information Sciences and Systems, 2013
2012
Proceedings of the Formal Methods and Software Engineering, 2012
2010
2009
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009
2008
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008
2006
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006
2004
Proceedings of the First International Workshop on Euler Diagrams, 2004
Proceedings of the New Security Paradigms Workshop 2004, 2004
Proceedings of the Diagrammatic Representation and Inference, 2004
2002
Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002
Proceedings of the Diagrammatic Representation and Inference, 2002
Proceedings of the Diagrammatic Representation and Reasoning, 2002
2001
1999
1993