Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. - Faria Kalim; Karl Palmskog; Jayasi Mehar; Adithya Murali; Indranil Gupta; P. Madhusudan (FMCAD, 2019)

Deciding Memory Safety for Forest Datastructures. - Umang Mathur 001; Adithya Murali; Paul Krogmeier; P. Madhusudan; Mahesh Viswanathan 001 (CoRR, 2019)

Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning. - Adithya Murali; P. Madhusudan (CoRR, 2019)

Decidable Synthesis of Programs with Uninterpreted Functions. - Paul Krogmeier; Umang Mathur 001; Adithya Murali; P. Madhusudan; Mahesh Viswanathan 001 (CAV (2), 2020)

Synthesizing Lemmas for Inductive Reasoning. - Adithya Murali; Lucas Peña; Christof Löding; P. Madhusudan (CoRR, 2020)

Deciding memory safety for single-pass heap-manipulating programs. - Umang Mathur 001; Adithya Murali; Paul Krogmeier; P. Madhusudan; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2020)

Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. - Adithya Murali; Atharva Sehgal; Paul Krogmeier; P. Madhusudan (IJCAI, 2022)

Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction. - Kaiyuan Yang 003; Houjing Huang; Olafs Vandans; Adithya Murali; Fujia Tian; Roland H. C. Yap; Liang Dai (CoRR, 2022)

Synthesizing axiomatizations using logic learning. - Paul Krogmeier; Zhengyao Lin; Adithya Murali; P. Madhusudan (Proc. ACM Program. Lang., 2022)

Model-guided synthesis of inductive lemmas for FOL with least fixpoints. - Adithya Murali; Lucas Peña; Eion Blanchard; Christof Löding; P. Madhusudan (Proc. ACM Program. Lang., 2022)

A First-order Logic with Frames. - Adithya Murali; Lucas Peña; Christof Löding; P. Madhusudan (ACM Trans. Program. Lang. Syst., 2023)

Complete First-Order Reasoning for Properties of Functional Programs. - Adithya Murali; Lucas Peña; Ranjit Jhala; P. Madhusudan (Proc. ACM Program. Lang., 2023)

Predictable Verification using Intrinsic Definitions. - Adithya Murali; Cody Rivera; P. Madhusudan (Proc. ACM Program. Lang., 2024)

FO-Complete Program Verification for Heap Logics. - Adithya Murali; Hrishikesh Balakrishnan; Aaron Councilman; P. Madhusudan (Proc. ACM Program. Lang., 2025)