Eric Bond

According to our database, Eric Bond authored at least 5 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Automated Theory Substitution Toward Proof-Driven Software Development.

John Scebold, Eric Bond, Emily Gray, Jared Ziegler

Proceedings of the 22nd IEEE/ACIS International Conference on Software Engineering Research, 2024

2023

A Formalization of Operads in Coq.

Zachary Flores, Angelo Taranto, Eric Bond, Yakir Forman

CoRR, 2023

A Formal Algebraic Framework for DSL Composition.

Zachary Flores, Angelo Taranto, Eric Bond

CoRR, 2023

Curbing the Vulnerable Parser: Graded Modal Guardrails for Secure Input Handling.

Eric Bond, Matthew Heimerdinger

Proceedings of the IEEE Secure Development Conference, 2023

Formalized High Level Synthesis with Applications to Cryptographic Hardware.

William L. Harrison, Ian Blumenfeld, Eric Bond, Chris Hathhorn, Paul Li, May Torrence, Jared Ziegler

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023