Eric Bond

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 4

Top Topics

Random Number Generator

Top Venues

Publications

Zachary Flores, Angelo Taranto, Eric Bond
A Formal Algebraic Framework for DSL Composition. CoRR (2023)
William L. Harrison, Ian Blumenfeld, Eric Bond, Chris Hathhorn, Paul Li, May Torrence, Jared Ziegler
Formalized High Level Synthesis with Applications to Cryptographic Hardware. NFM (2023)
Eric Bond, Matthew Heimerdinger
Curbing the Vulnerable Parser: Graded Modal Guardrails for Secure Input Handling. SecDev (2023)
Zachary Flores, Angelo Taranto, Eric Bond, Yakir Forman
A Formalization of Operads in Coq. CoRR (2023)