4 citations · 8 across the 6 of their papers we have counts for
6 papers
Towards Automated Verification of LLM-Synthesized C Programs
Prasita Mukherjee, Benjamin Delaware
We present \synver{}, a novel synthesis and verification framework for C programs, that deploys a Large Language Model (LLM) to search for a candidate program that satisfies the gi…
KestRel: Relational Verification Using E-Graphs for Program Alignment
Robert Dickerson, Prasita Mukherjee, Benjamin Delaware
Many interesting program properties involve the execution of multiple programs, including observational equivalence, noninterference, co-termination, monotonicity, and idempotency.…
OCTAL: Graph Representation Learning for LTL Model Checking
Prasita Mukherjee, Haoteng Yin
Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, suffer from the sta…
OCTAL: Graph Representation Learning for LTL Model Checking
Prasita Mukherjee, Haoteng Yin, Susheel Suresh +1
Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, still suffer from t…
A GNN Based Approach to LTL Model Checking
Prasita Mukherjee, Tiark Rompf
Model Checking is widely applied in verifying complicated and especially concurrent systems. Despite of its popularity, model checking suffers from the state space explosion proble…
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
Geo-replicated systems provide a number of desirable properties such as globally low latency, high availability, scalability, and built-in fault tolerance. Unfortunately, programmi…