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 | 17 | 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 | | |