Adithya Murali

According to our database, Adithya Murali authored at least 12 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Complete First-Order Reasoning for Properties of Functional Programs.

Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan

Proc. ACM Program. Lang., October, 2023

A First-order Logic with Frames.

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

ACM Trans. Program. Lang. Syst., June, 2023

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

Synthesizing axiomatizations using logic learning.

Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan

Proc. ACM Program. Lang., 2022

Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction.

Kaiyuan Yang, Houjing Huang, Olafs Vandans, Adithya Murali, Fujia Tian, Roland H. C. Yap, Liang Dai

CoRR, 2022

Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination.

Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2020

Deciding memory safety for single-pass heap-manipulating programs.

Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan

Proc. ACM Program. Lang., 2020

Synthesizing Lemmas for Inductive Reasoning.

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

CoRR, 2020

Decidable Synthesis of Programs with Uninterpreted Functions.

Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning.

Adithya Murali, P. Madhusudan

CoRR, 2019

Deciding Memory Safety for Forest Datastructures.

Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan

CoRR, 2019

Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity.

Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019