Madhusudan Parthasarathy

19982019
If you made any changes in Pure, your changes 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
Specifications Engineering & Materials Science
Model checking Engineering & Materials Science
Data structures Engineering & Materials Science
Automata Mathematics
Learning algorithms Engineering & Materials Science
Surface mount technology Engineering & Materials Science
Reachability Mathematics
Specification Mathematics

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

Research Output 1998 2019

Learning stateful preconditions modulo a test generator

Astorga, A., Parthasarathy, M., 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

A decidable fragment of second order logic with applications to synthesis

Parthasarathy, M., 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

Surface mount technology

Compositional synthesis of piece-wise functions by learning classifiers

Neider, D., Saha, S. & Parthasarathy, M., Feb 2018, In : ACM Transactions on Computational Logic. 19, 2, 10.

Research output: Contribution to journalArticle

Classifiers
Classifier
Synthesis
Specification
Specifications

Invariant synthesis for incomplete verification engines

Neider, D., Garg, P., Madhusudan, P., Saha, S. & Park, D., Jan 1 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer-Verlag, p. 232-250 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS).

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

Engine
Synthesis
Engines
Invariant
Separation Logic

Lagrange’s theorem for binary squares

Parthasarathy, M., Nowotka, D., Rajasekaran, A. & Shallit, J., Aug 1 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 117. 18

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

Number theory
Finite automata