Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. - Kartik Nagar; Prasita Mukherjee; Suresh Jagannathan (CAV (1), 2020)

OCTAL: Graph Representation Learning for LTL Model Checking. - Prasita Mukherjee; Haoteng Yin; Susheel Suresh; Tiark Rompf (CoRR, 2022)

OCTAL: Graph Representation Learning for LTL Model Checking. - Prasita Mukherjee; Haoteng Yin (CoRR, 2023)

Towards Automated Verification of LLM-Synthesized C Programs. - Prasita Mukherjee; Benjamin Delaware (CoRR, 2024)

KestRel: Relational Verification using E-Graphs for Program Alignment. - Robert Dickerson; Prasita Mukherjee; Benjamin Delaware (Proc. ACM Program. Lang., 2025)