Prasita Mukherjee
- Towards Automated Verification of LLM-Synthesized C Programs
2024/10/18 by Prasita Mukherjee, Benjamin Delaware, Mukherjee, Prasita +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, Dickerson, Robert, Prasita Mukherjee +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