Madhusudan Parthasarathy

Cited by

	All	Since 2020
Citations	9268	2632
h-index	50	23
i10-index	99	65

640

320

160

480

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 55 76 188 203 253 278 309 362 398 503 456 506 620 623 579 540 501 503 525 531 494 522 57

Public access

View all

22 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
Shambwaditya SahaSoftware Engineering Institute | CMUVerified email at sei.cmu.edu
Xiaokang QiuPurdue UniversityVerified email at purdue.edu
Francesco SorrentinoVerified email at uiuc.edu
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Armando Solar-LezamaMITVerified email at csail.mit.edu
Anna Lisa FerraraUniversita' del MoliseVerified email at unimol.it
Prithvi BishtWeb Security Researcher, AdobeVerified email at adobe.com
VN VenkatakrishnanProfessor of Computer Science, University of Illinois at ChicagoVerified email at uic.edu
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
Samuel T KingUniversity of California at DavisVerified email at ucdavis.edu
Kousha EtessamiUniversity of EdinburghVerified email at inf.ed.ac.uk

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
Syntax-Guided Synthesis R Alur, R Bodik, E Dallal, D Fisman, P Garg, G Juniwal, H Kress-Gazit, ... Dependable Software Systems Engineering, 1-25, 2015	1047	2015
Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	745	2004
Adding nesting structure to words R Alur, P Madhusudan Journal of the ACM (JACM) 56 (3), 1-43, 2009	399	2009
Synthesis of interface specifications for Java classes R Alur, P Černý, P Madhusudan, W Nam Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	397	2005
ICE: A robust framework for learning invariants P Garg, C Löding, P Madhusudan, D Neider Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	279	2014
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	258	2004
Learning invariants using decision trees and implication counterexamples P Garg, D Neider, P Madhusudan, D Roth ACM Sigplan Notices 51 (1), 499-512, 2016	245	2016
CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks P Bisht, P Madhusudan, VN Venkatakrishnan ACM Transactions on Information and System Security (TISSEC) 13 (2), 1-39, 2010	235	2010
Vetting browser extensions for security vulnerabilities with vex S Bandhakavi, N Tiku, W Pittman, ST King, P Madhusudan, M Winslett Communications of the ACM 54 (9), 91-99, 2011	233	2011
Decision problems for timed automata: A survey R Alur, P Madhusudan Formal Methods for the Design of Real-Time Systems, 1-24, 2004	229	2004
CANDID: preventing SQL injection attacks using dynamic candidate evaluations S Bandhakavi, P Bisht, P Madhusudan, VN Venkatakrishnan Proceedings of the 14th ACM conference on Computer and communications …, 2007	223	2007
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	173	2007
Symbolic compositional verification by learning assumptions R Alur, P Madhusudan, W Nam International Conference on Computer Aided Verification, 548-562, 2005	166	2005
PENELOPE: weaving threads to expose atomicity violations F Sorrentino, A Farzan, P Madhusudan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	152	2010
Reducing context-bounded concurrent reachability to sequential reachability S La Torre, P Madhusudan, G Parlato International Conference on Computer Aided Verification, 477-492, 2009	139	2009
Open systems in reactive environments: Control and synthesis O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000	138	2000
Context-bounded analysis of concurrent queue systems S La Torre, P Madhusudan, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2008	134	2008
The tree width of auxiliary storage P Madhusudan, G Parlato ACM SIGPLAN Notices 46 (1), 283-294, 2011	127	2011
Natural proofs for structure, data, and separation X Qiu, P Garg, A Ştefănescu, P Madhusudan ACM SIGPLAN Notices 48 (6), 231-242, 2013	120	2013
Distributed controller synthesis for local specifications P Madhusudan, PS Thiagarajan International Colloquium on Automata, Languages, and Programming, 396-407, 2001	118	2001

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