Eric Bond

Orcid: 0009-0008-1575-9606

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2023
2024
0
1
2
3
4
5
2
1
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Automated Theory Substitution Toward Proof-Driven Software Development.
Proceedings of the 22nd IEEE/ACIS International Conference on Software Engineering Research, 2024

2023
A Formalization of Operads in Coq.
CoRR, 2023

A Formal Algebraic Framework for DSL Composition.
CoRR, 2023

Curbing the Vulnerable Parser: Graded Modal Guardrails for Secure Input Handling.
Proceedings of the IEEE Secure Development Conference, 2023

Formalized High Level Synthesis with Applications to Cryptographic Hardware.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023


  Loading...