Adithya Murali

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 17

Top Topics

Functional Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Adithya Murali, Cody Rivera, P. Madhusudan
Predictable Verification using Intrinsic Definitions. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Adithya Murali, Cody Rivera, P. Madhusudan
Predictable Verification using Intrinsic Definitions. CoRR (2024)
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
A First-order Logic with Frames. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan
Complete First-Order Reasoning for Properties of Functional Programs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan
Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. IJCAI (2022)
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan
Model-guided synthesis of inductive lemmas for FOL with least fixpoints. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Kaiyuan Yang, Houjing Huang, Olafs Vandans, Adithya Murali, Fujia Tian, Roland H. C. Yap, Liang Dai
Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction. CoRR (2022)
Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan
Synthesizing axiomatizations using logic learning. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
Deciding memory safety for single-pass heap-manipulating programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
Synthesizing Lemmas for Inductive Reasoning. CoRR (2020)
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
A First-Order Logic with Frames. ESOP (2020)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Decidable Synthesis of Programs with Uninterpreted Functions. CAV (2) (2020)
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
Deciding Memory Safety for Forest Datastructures. CoRR (2019)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Decidable Synthesis of Programs with Uninterpreted Functions. CoRR (2019)
Christof Löding, P. Madhusudan, Adithya Murali, Lucas Peña
A First Order Logic with Frames. CoRR (2019)
Adithya Murali, P. Madhusudan
Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning. CoRR (2019)
Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan
Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. FMCAD (2019)