Madhusudan Parthasarathy
TitleCited byYear
Visibly pushdown languages
R Alur, P Madhusudan
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004
5672004
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
3982015
Synthesis of interface specifications for Java classes
R Alur, P Černý, P Madhusudan, W Nam
ACM SIGPLAN Notices 40 (1), 98-109, 2005
3582005
Adding nesting structure to words
R Alur, P Madhusudan
Journal of the ACM (JACM) 56 (3), 16, 2009
2872009
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
2022004
Decision problems for timed automata: A survey
R Alur, P Madhusudan
Formal Methods for the Design of Real-Time Systems, 1-24, 2004
1702004
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), 14, 2010
1642010
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
1492007
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
1442007
Symbolic compositional verification by learning assumptions
R Alur, P Madhusudan, W Nam
International Conference on Computer Aided Verification, 548-562, 2005
1402005
VEX: Vetting Browser Extensions for Security Vulnerabilities.
S Bandhakavi, ST King, P Madhusudan, M Winslett
USENIX Security Symposium 10, 339-354, 2010
1322010
Open systems in reactive environments: Control and synthesis
O Kupferman, P Madhusudan, PS Thiagarajan, MY Vardi
International Conference on Concurrency Theory, 92-107, 2000
1212000
PENELOPE: weaving threads to expose atomicity violations
F Sorrentino, A Farzan, P Madhusudan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1162010
Adding nesting structure to words
R Alur, P Madhusudan
International Conference on Developments in Language Theory, 1-13, 2006
1102006
Reducing context-bounded concurrent reachability to sequential reachability
S La Torre, P Madhusudan, G Parlato
International Conference on Computer Aided Verification, 477-492, 2009
1052009
ICE: A robust framework for learning invariants
P Garg, C Löding, P Madhusudan, D Neider
International Conference on Computer Aided Verification, 69-87, 2014
1032014
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
1012008
Timed control with partial observability
P Bouyer, D D’Souza, P Madhusudan, A Petit
International Conference on Computer Aided Verification, 180-192, 2003
992003
Distributed controller synthesis for local specifications
P Madhusudan, PS Thiagarajan
International Colloquium on Automata, Languages, and Programming, 396-407, 2001
992001
The tree width of auxiliary storage
P Madhusudan, G Parlato
ACM SIGPLAN Notices 46 (1), 283-294, 2011
922011
The system can't perform the operation now. Try again later.
Articles 1–20