Madhusudan Parthasarathy

If you made any changes in Pure these will be visible here soon.

Fingerprint

Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
  • 3 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • A First-Order Logic with Frames

    Murali, A., Peña, L., Löding, C. & Madhusudan, P., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 515-543 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines

    Neider, D., Madhusudan, P., Saha, S., Garg, P. & Park, D., Oct 1 2020, In : Journal of Automated Reasoning. 64, 7, p. 1523-1552 30 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Decidable Synthesis of Programs with Uninterpreted Functions

    Krogmeier, P., Mathur, U., Murali, A., Madhusudan, P. & Viswanathan, M., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 634-657 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Deciding memory safety for single-pass heap-manipulating programs

    Mathur, U., Murali, A., Krogmeier, P., Madhusudan, P. & Viswanathan, M., Jan 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, 35.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • What’s Decidable About Program Verification Modulo Axioms?

    Mathur, U., Madhusudan, P. & Viswanathan, M., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 158-177 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
If you made any changes in Pure these will be visible here soon.