Madhusudan Parthasarathy

Dikutip oleh

	Semua	Sejak 2020
Kutipan	9391	2675
indeks-h	49	23
indeks-i10	99	64

640

320

160

480

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202538 55 74 190 207 255 282 310 372 405 506 455 517 640 619 578 538 527 512 533 524 493 531 82

Akses publik

Lihat semua

21 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyEmail yang diverifikasi di unimol.it
Pranav GargAmazonEmail yang diverifikasi di amazon.com
Salvatore La TorreUniversità degli Studi di SalernoEmail yang diverifikasi di unisa.it
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityEmail yang diverifikasi di tu-dortmund.de
Azadeh FarzanAssociate Professor, University of TorontoEmail yang diverifikasi di cs.toronto.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignEmail yang diverifikasi di illinois.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail yang diverifikasi di eecs.berkeley.edu
P.S. ThiagarajanVisiting Professor, Laboratory of Systems Pharmacology, Harvard Medical SchoolEmail yang diverifikasi di hms.harvard.edu
Shambwaditya SahaSoftware Engineering Institute | CMUEmail yang diverifikasi di sei.cmu.edu
Xiaokang QiuPurdue UniversityEmail yang diverifikasi di purdue.edu
Francesco SorrentinoEmail yang diverifikasi di uiuc.edu
Anna Lisa FerraraUniversita' del MoliseEmail yang diverifikasi di unimol.it
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceEmail yang diverifikasi di iisc.ac.in
Rishabh SinghResearch Scientist, Google BrainEmail yang diverifikasi di google.com
Armando Solar-LezamaMITEmail yang diverifikasi di csail.mit.edu
Prithvi BishtWeb Security Researcher, AdobeEmail yang diverifikasi di adobe.com
VN VenkatakrishnanProfessor of Computer Science, University of Illinois at ChicagoEmail yang diverifikasi di uic.edu
Swarat ChaudhuriUT Austin, Google DeepmindEmail yang diverifikasi di cs.utexas.edu
Samuel T KingUniversity of California at DavisEmail yang diverifikasi di ucdavis.edu
Kousha EtessamiUniversity of EdinburghEmail yang diverifikasi di inf.ed.ac.uk

Ikuti

Madhusudan Parthasarathy

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

Email yang diverifikasi di illinois.edu - Beranda

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


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	1078	2015
Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	756	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	416	2005
Adding nesting structure to words R Alur, P Madhusudan Journal of the ACM (JACM) 56 (3), 1-43, 2009	403	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	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	263	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	248	2016
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	236	2011
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	236	2010
Decision problems for timed automata: A survey R Alur, P Madhusudan Formal Methods for the Design of Real-Time Systems, 1-24, 2004	235	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	178	2007
Symbolic compositional verification by learning assumptions R Alur, P Madhusudan, W Nam International Conference on Computer Aided Verification, 548-562, 2005	167	2005
PENELOPE: weaving threads to expose atomicity violations F Sorrentino, A Farzan, P Madhusudan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	149	2010
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	140	2000
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
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	136	2008
The tree width of auxiliary storage P Madhusudan, G Parlato ACM SIGPLAN Notices 46 (1), 283-294, 2011	129	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	121	2013
Adding nesting structure to words R Alur, P Madhusudan Developments in Language Theory: 10th International Conference, DLT 2006 …, 2006	120	2006

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama