Следене
Madhusudan Parthasarathy
Madhusudan Parthasarathy
Professor of Computer Science, University of Illinois at Urbana-Champaign
Потвърден имейл адрес: illinois.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
9932015
Visibly pushdown languages
R Alur, P Madhusudan
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004
7442004
Adding nesting structure to words
R Alur, P Madhusudan
Journal of the ACM (JACM) 56 (3), 1-43, 2009
3962009
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
3952005
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
2662014
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
2572004
Learning invariants using decision trees and implication counterexamples
P Garg, D Neider, P Madhusudan, D Roth
ACM Sigplan Notices 51 (1), 499-512, 2016
2372016
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
2312011
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
2312010
Decision problems for timed automata: A survey
R Alur, P Madhusudan
Formal Methods for the Design of Real-Time Systems, 1-24, 2004
2232004
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
2182007
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
1722007
Symbolic compositional verification by learning assumptions
R Alur, P Madhusudan, W Nam
International Conference on Computer Aided Verification, 548-562, 2005
1662005
PENELOPE: weaving threads to expose atomicity violations
F Sorrentino, A Farzan, P Madhusudan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1502010
Reducing context-bounded concurrent reachability to sequential reachability
S La Torre, P Madhusudan, G Parlato
International Conference on Computer Aided Verification, 477-492, 2009
1382009
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
1382000
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
1332008
The tree width of auxiliary storage
P Madhusudan, G Parlato
ACM SIGPLAN Notices 46 (1), 283-294, 2011
1242011
Natural proofs for structure, data, and separation
X Qiu, P Garg, A Ştefănescu, P Madhusudan
ACM SIGPLAN Notices 48 (6), 231-242, 2013
1182013
Adding nesting structure to words
R Alur, P Madhusudan
Developments in Language Theory: 10th International Conference, DLT 2006 …, 2006
1172006
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20