Benjamin Delaware
- Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats
2018/03/13 by Benjamin Delaware, Sorawit Suriyakarn, Delaware, Benjamin +7 · 1 voice · 2 citations
Computer Science · #cs.PL
- RHLE: Modular Deductive Verification of Relational ∀∃ Properties
2020/02/07 by Robert M. Dickerson, Dickerson, Robert, Qianchuan Ye +5 · 2 citations
Computer Science · #D.2.4 #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Reliability and Analysis Research
- Towards Automated Verification of LLM-Synthesized C Programs
2024/10/18 by Prasita Mukherjee, Mukherjee, Prasita, Benjamin Delaware +1 · 6 citations
Computer Science · #Parallel Computing and Optimization Techniques #Embedded Systems Design Techniques #Software Testing and Debugging Techniques
- KestRel: Relational Verification Using E-Graphs for Program Alignment
2024/04/11 by Robert Dickerson, Prasita Mukherjee, Dickerson, Robert +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software Engineering Techniques and Practices