Mukherjee, Prasita

1. 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
2. OCTAL: Graph Representation Learning for LTL Model Checking
   2022/07/24 by Mukherjee, Prasita, Yin, Haoteng, Suresh, Susheel +1 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Programming Languages (cs.PL)
3. 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