| Decidable synthesis of programs with uninterpreted functions P Krogmeier, U Mathur, A Murali, P Madhusudan, M Viswanathan International Conference on Computer Aided Verification, 634-657, 2020 | 16 | 2020 |
| Deciding memory safety for single-pass heap-manipulating programs U Mathur, A Murali, P Krogmeier, P Madhusudan, M Viswanathan Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 9 | 2019 |
| A first-order logic with frames A Murali, L Peña, C Löding, P Madhusudan ACM Transactions on Programming Languages and Systems 45 (2), 1-44, 2023 | 8 | 2023 |
| Model-guided synthesis of inductive lemmas for FOL with least fixpoints A Murali, L Peña, E Blanchard, C Löding, P Madhusudan Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1873-1902, 2022 | 8 | 2022 |
| Kaizen: Building a performant blockchain system verified for consensus and integrity F Kalim, K Palmskog, J Mehar, A Murali, I Gupta, P Madhusudan 2019 Formal Methods in Computer Aided Design (FMCAD), 96-104, 2019 | 4 | 2019 |
| Synthesizing axiomatizations using logic learning P Krogmeier, Z Lin, A Murali, P Madhusudan Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1697-1725, 2022 | 3 | 2022 |
| Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination A Murali, A Sehgal, P Krogmeier, P Madhusudan arXiv preprint arXiv:1907.05878, 2019 | 3 | 2019 |
| Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning A Murali, P Madhusudan Journal of Environmental Sciences (China) English Ed, 2019 | 3 | 2019 |
| Complete First-Order Reasoning for Properties of Functional Programs A Murali, L Peña, R Jhala, P Madhusudan Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1063-1092, 2023 | 2 | 2023 |
| Deciding Memory Safety for Forest Datastructures U Mathur, A Murali, P Krogmeier, P Madhusudan, M Viswanathan CoRR, abs/1907.00298, 2019 | 1 | 2019 |
| A first order logic with frames C Löding, P Madhusudan, A Murali, L Peña arXiv e-prints, arXiv: 1901.09089, 2019 | 1 | 2019 |
| Predictable Verification using Intrinsic Definitions A Murali, C Rivera, P Madhusudan arXiv preprint arXiv:2404.04515, 2024 | | 2024 |
| Programming Languages and Systems M Vukasovic, A Prokopec, A Boruch-Gruszecki, M Odersky, E Lee, ... ACM Transactions on 45 (4), 2023 | | 2023 |
| 4.2 Explainable AI A Murali Logic and Learning, 18, 2020 | | 2020 |
| 4.3 Injecting Symbolic Knowledge/Constraints into Neural Networks A Murali Logic and Learning, 20, 2020 | | 2020 |
| FO-Complete Program Verification for Frame Logic A MURALI, H BALAKRISHNAN, A COUNCILMAN, P MADHUSUDAN | | |
| Teaching Statement A Murali | | |
| Delta Logics: Logics for Change A Murali, P Madhusudan | | |
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
