Madhusudan Parthasarathy

19982019

Research output per year

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.

  • 4 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Kaizen: Building a performant blockchain system verified for consensus and integrity

Kalim, F., Palmskog, K., Mehar, J., Murali, A., Gupta, I. & Madhusudan, P., Oct 2019, Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 96-104 9 p. 8894248. (Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019).

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

  • Learning stateful preconditions modulo a test generator

    Astorga, A., Madhusudan, P., Saha, S., Wang, S. & Xie, T., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 775-787 13 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    Open Access

    Reachability in concurrent uninterpreted programs

    Torre, S. L. & Parthasarathy, M., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 46. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

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

  • Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants

    Neider, D., Saha, S., Garg, P. & Madhusudan, P., Jan 1 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer, p. 323-346 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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

  • A decidable fragment of second order logic with applications to synthesis

    Madhusudan, P., Mathur, U., Saha, S. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

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