Madhusudan Parthasarathy

Citirano

	Sve	Od 2019.
Citati	9056	2925
H-indeks	49	25
i10-indeks	97	67

640

320

160

480

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202439 55 76 189 202 253 278 309 362 398 504 456 506 617 623 578 540 509 503 518 535 494 363

Javni pristup

Prikaži sve

22 članka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Pranav GargAmazonPotvrđena adresa e-pošte na amazon.com
Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyPotvrđena adresa e-pošte na unimol.it
Salvatore La TorreUniversità degli Studi di SalernoPotvrđena adresa e-pošte na unisa.it
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityPotvrđena adresa e-pošte na tu-dortmund.de
Azadeh FarzanAssociate Professor, University of TorontoPotvrđena adresa e-pošte na cs.toronto.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignPotvrđena adresa e-pošte na illinois.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyPotvrđena adresa e-pošte na eecs.berkeley.edu
P.S. ThiagarajanVisiting Professor, Laboratory of Systems Pharmacology, Harvard Medical SchoolPotvrđena adresa e-pošte na hms.harvard.edu
Xiaokang QiuPurdue UniversityPotvrđena adresa e-pošte na purdue.edu
Shambwaditya SahaSoftware Engineering Institute | CMUPotvrđena adresa e-pošte na sei.cmu.edu
Francesco SorrentinoPotvrđena adresa e-pošte na uiuc.edu
Deepak D'SouzaDepartment of CSA, Indian Institute of SciencePotvrđena adresa e-pošte na iisc.ac.in
Anna Lisa FerraraUniversita' del MolisePotvrđena adresa e-pošte na unimol.it
Rishabh SinghResearch Scientist, Google BrainPotvrđena adresa e-pošte na google.com
Armando Solar-LezamaMITPotvrđena adresa e-pošte na csail.mit.edu
Prithvi BishtWeb Security Researcher, AdobePotvrđena adresa e-pošte na adobe.com
VN VenkatakrishnanProfessor of Computer Science, University of Illinois at ChicagoPotvrđena adresa e-pošte na uic.edu
Swarat ChaudhuriUT Austin, Google DeepmindPotvrđena adresa e-pošte na cs.utexas.edu
Samuel T KingUniversity of California at DavisPotvrđena adresa e-pošte na ucdavis.edu
Sruthi BandhakaviGoogle Inc.Potvrđena adresa e-pošte na google.com

Prati

Madhusudan Parthasarathy

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

Potvrđena adresa e-pošte na illinois.edu - Početna stranica

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


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	993	2015
Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	741	2004
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	395	2005
Adding nesting structure to words R Alur, P Madhusudan Journal of the ACM (JACM) 56 (3), 1-43, 2009	394	2009
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	264	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	257	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	236	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	231	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	230	2011
Decision problems for timed automata: A survey R Alur, P Madhusudan Formal Methods for the Design of Real-Time Systems, 1-24, 2004	223	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	218	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	172	2007
Symbolic compositional verification by learning assumptions R Alur, P Madhusudan, W Nam International Conference on Computer Aided Verification, 548-562, 2005	165	2005
PENELOPE: weaving threads to expose atomicity violations F Sorrentino, A Farzan, P Madhusudan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	150	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	138	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	133	2008
The tree width of auxiliary storage P Madhusudan, G Parlato ACM SIGPLAN Notices 46 (1), 283-294, 2011	124	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	118	2013
Adding nesting structure to words R Alur, P Madhusudan Developments in Language Theory: 10th International Conference, DLT 2006 …, 2006	117	2006

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori