Adithya's Publications

Preprints

FO-Complete Program Verification for Heap Logics

Adithya Murali, Hrishikesh Balakrishnan, Aaron Councilman, P. Madhusudan
To appear at OOPSLA 2025
Towards Eliminating Expert Creative Help in Automated Reasoning

Adithya Murali
Ph.D. Thesis, 2024
Predictable Verification using Intrinsic Definitions

Adithya Murali, Cody Rivera, P. Madhusudan
PLDI 2024
ACM Europe Best Paper Award
Complete First-Order Reasoning for Properties of Functional Programs

Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan
OOPSLA 2023
This work will be presented as a tutorial at POPL 2024!
A First Order Logic with Frames

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
TOPLAS 2023

Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan
OOPSLA 2022
Synthesizing Axiomatizations using Logic Learning

Paul Krogmeier^*, Zhengyao Lin^*, Adithya Murali^*, P. Madhusudan
OOPSLA 2022
Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination

Adithya Murali, Atharva Seghal, Paul Krogmeier, Madhusudan Parthasarathy
IJCAI-ECAI 2022
Explore our website of puzzles!

Decidable Synthesis of Programs with Uninterpreted Functions

Paul Krogmeier^*, Umang Mathur^*, Adithya Murali^*, P. Madhusudan, Mahesh Viswanathan
CAV 2020
A First Order Logic with Frames

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
ESOP 2020 Slides (with notes)
Deciding Memory Safety for Single-Pass Heap-Manipulating Programs

Umang Mathur^*, Adithya Murali^*, Paul Krogmeier^*, P. Madhusudan, Mahesh Viswanathan
POPL 2020

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

Report from Dagstuhl Seminar 19361 (Logic and Learning)

Michael Benedikt, Kristian Kersting, Phokion G. Kolaitis, Daniel Neider;
Edited in co-operation with Adithya Murali.