Madhusudan Parthasarathy

Cited by

	All	Since 2019
Citations	8968	2835
h-index	49	25
i10-index	95	63

640

320

160

480

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202439 55 76 189 202 253 278 309 362 400 502 456 505 618 623 578 542 507 503 516 534 497 275

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Pranav GargAmazonVerified email at amazon.com
Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyVerified email at unimol.it
Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityVerified email at tu-dortmund.de
Azadeh FarzanAssociate Professor, University of TorontoVerified email at cs.toronto.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
P.S. ThiagarajanVisiting Professor, Laboratory of Systems Pharmacology, Harvard Medical SchoolVerified email at hms.harvard.edu
Xiaokang QiuPurdue UniversityVerified email at purdue.edu
Shambwaditya SahaSoftware Engineering Institute | CMUVerified email at sei.cmu.edu
Francesco SorrentinoVerified email at uiuc.edu
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Anna Lisa FerraraUniversita' del MoliseVerified email at unimol.it
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Armando Solar-LezamaMITVerified email at csail.mit.edu
Prithvi BishtWeb Security Researcher, AdobeVerified email at adobe.com
VN VenkatakrishnanProfessor of Computer Science, University of Illinois at ChicagoVerified email at uic.edu
Swarat ChaudhuriProfessor of Computer Science, UT Austin; Visiting Researcher, Google DeepmindVerified email at cs.utexas.edu
Samuel T KingUniversity of California at DavisVerified email at ucdavis.edu
Sruthi BandhakaviGoogle Inc.Verified email at google.com

Madhusudan Parthasarathy

Professor of Computer Science, University of Illinois at Urbana-Champaign

Verified email at illinois.edu - Homepage

Reliable systems formal methods programming languages program synthesis logic in computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
3.15 Learning Logics, Program Synthesis, and Neural Nets M Parthasarathy Logic and Learning, 13, 2020		2020
61, avenue du Président Wilson 94235 Cachan Cedex France P Bouyer, D D’Souza, P Madhusudan, A Petit
A Contract Language for Race-Freedom RK Karmani, P Madhusudan
A decidable class of asynchronous distributed controllers P Madhusudan, PS Thiagarajan International Conference on Concurrency Theory, 145-160, 2002	68	2002
A decidable fragment of second order logic with applications to synthesis P Madhusudan, U Mathur, S Saha, M Viswanathan arXiv preprint arXiv:1712.05513, 2017	5	2017
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	9*	2023
A fixpoint calculus for local and global program flows R Alur, S Chaudhuri, P Madhusudan Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006	51	2006
A formal framework for reflective database access control policies LE Olson, CA Gunter, P Madhusudan Proceedings of the 15th ACM conference on Computer and communications …, 2008	49	2008
A learning-based approach to synthesizing invariants for incomplete verification engines D Neider, P Madhusudan, S Saha, P Garg, D Park Journal of Automated Reasoning 64, 1523-1552, 2020	7	2020
A New Reduction for Event-driven Distributed Programs A Desai, P Garg, P Madhusudan
A robust class of context-sensitive languages S La Torre, P Madhusudan, G Parlato 22nd Annual IEEE symposium on logic in computer science (LICS 2007), 161-170, 2007	171	2007
A temporal logic of nested calls and returns R Alur, K Etessami, P Madhusudan International Conference on Tools and Algorithms for the Construction and …, 2004	255	2004
Abstract learning frameworks for synthesis C Löding, P Madhusudan, D Neider Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	36	2016
Abstraction-guided Runtime Checking of Assertions on Lists A Gyori, P Garg, E Pek, P Madhusudan
Adding nesting structure to words R Alur, P Madhusudan Developments in Language Theory: 10th International Conference, DLT 2006 …, 2006	116	2006
Adding nesting structure to words R Alur, P Madhusudan Journal of the ACM (JACM) 56 (3), 1-43, 2009	392	2009
Alchemist: Learning guarded affine functions S Saha, P Garg, P Madhusudan Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	18	2015
Algorithms for Atomicity A Farzan, P Madhusudan
An infinite automaton characterization of double exponential time S La Torre, P Madhusudan, G Parlato International Workshop on Computer Science Logic, 33-48, 2008	29	2008
Analyzing recursive programs using a fixed-point calculus S La Torre, M Parthasarathy, G Parlato ACM Sigplan Notices 44 (6), 211-222, 2009	65	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors