Adithya Murali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | IJCAI | Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. | Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan |
| 2020 | CAV | Decidable Synthesis of Programs with Uninterpreted Functions. | Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan |
| 2020 | ESOP | A First-Order Logic with Frames. | Adithya Murali, Lucas Pea, Christof Lding, P. Madhusudan |
| 2019 | FMCAD | Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. | Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan |