Adithya Murali

21 papers A* 1A 1B 1Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
FO-Complete Program Verification for Heap Logics.
CoRR
Adithya Murali, Hrishikesh Balakrishnan, Aaron Councilman, P. Madhusudan
2026 J jnl
Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions.
Proc. ACM Program. Lang.
Neta Elad, Adithya Murali, Sharon Shoham
2025 J jnl
FO-Complete Program Verification for Heap Logics.
Proc. ACM Program. Lang.
Adithya Murali, Hrishikesh Balakrishnan, Aaron Councilman, P. Madhusudan
2025 J jnl
Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions.
CoRR
Neta Elad, Adithya Murali, Sharon Shoham
2024 J jnl
Predictable Verification using Intrinsic Definitions.
CoRR
Adithya Murali, Cody Rivera, P. Madhusudan
2024 J jnl
Predictable Verification using Intrinsic Definitions.
Proc. ACM Program. Lang.
Adithya Murali, Cody Rivera, P. Madhusudan
2023 J jnl
A First-order Logic with Frames.
ACM Trans. Program. Lang. Syst.
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2023 J jnl
Complete First-Order Reasoning for Properties of Functional Programs.
Proc. ACM Program. Lang.
Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan
2022 J jnl
Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction.
CoRR
Kaiyuan Yang, Houjing Huang, Olafs Vandans, Adithya Murali, Fujia Tian, Roland H. C. Yap, Liang Dai
2022 A* conf
Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination.
IJCAI
Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan
2022 J jnl
Model-guided synthesis of inductive lemmas for FOL with least fixpoints.
Proc. ACM Program. Lang.
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan
2022 J jnl
Synthesizing axiomatizations using logic learning.
Proc. ACM Program. Lang.
Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan
2020 A conf
A First-Order Logic with Frames.
ESOP
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2020 — conf
Decidable Synthesis of Programs with Uninterpreted Functions.
CAV (2)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
2020 J jnl
Deciding memory safety for single-pass heap-manipulating programs.
Proc. ACM Program. Lang.
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
2020 J jnl
Synthesizing Lemmas for Inductive Reasoning.
CoRR
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2019 J jnl
A First Order Logic with Frames.
CoRR
Christof Löding, P. Madhusudan, Adithya Murali, Lucas Peña
2019 J jnl
Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning.
CoRR
Adithya Murali, P. Madhusudan
2019 J jnl
Decidable Synthesis of Programs with Uninterpreted Functions.
CoRR
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
2019 J jnl
Deciding Memory Safety for Forest Datastructures.
CoRR
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
2019 B conf
Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity.
FMCAD
Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan