Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
P. Madhusudan
Parthasarathy Madhusudan
2010 – today
- 2013
[c64]Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan: Verifying security invariants in ExpressOS. ASPLOS 2013: 293-304- [c63]Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan: Natural proofs for structure, data, and separation. PLDI 2013: 231-242
- [c62]Pranav Garg, P. Madhusudan, Gennaro Parlato: Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists. SAS 2013: 172-193
- [c61]Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato: Policy Analysis for Self-administrated Role-Based Access Control. TACAS 2013: 432-447
- [i2]Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider: Learning Universally Quantified Invariants of Linear Data Structures. CoRR abs/1302.2273 (2013)
- [i1]Pranav Garg, P. Madhusudan, Gennaro Parlato: Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists. CoRR abs/1304.0660 (2013)
- 2012
- [c60]Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato: Security Analysis of Role-Based Access Control through Program Verification. CSF 2012: 113-125
- [c59]Parthasarathy Madhusudan: Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures. FSTTCS 2012: 34-35
- [c58]Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu: Recursive proofs for inductive tree data-structures. POPL 2012: 123-136
- [c57]Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Gennaro Parlato, Anna Lisa Ferrara, Parthasarathy Madhusudan: Analyzing temporal role based access control models. SACMAT 2012: 177-186
- [c56]Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino: Predicting null-pointer dereferences in concurrent programs. SIGSOFT FSE 2012: 47
- [c55]Rohit Chadha, P. Madhusudan, Mahesh Viswanathan: Reachability under Contextual Locking. TACAS 2012: 437-450
- [c54]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Sequentializing Parameterized Programs. FIT 2012: 34-47
- [e1]P. Madhusudan, Sanjit A. Seshia (Eds.): Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Lecture Notes in Computer Science 7358, Springer 2012, ISBN 978-3-642-31423-0
- 2011
- [j9]Sruthi Bandhakavi, Nandit Tiku, Wyatt Pittman, Samuel T. King, P. Madhusudan, Marianne Winslett: Vetting browser extensions for security vulnerabilities with VEX. Commun. ACM 54(9): 91-99 (2011)
- [j8]Rajeev Alur, Swarat Chaudhuri, P. Madhusudan: Software model checking using languages of nested trees. ACM Trans. Program. Lang. Syst. 33(5): 15 (2011)
- [c53]
- [c52]
- [c51]P. Madhusudan, Gennaro Parlato, Xiaokang Qiu: Decidable logics combining heap structures and data. POPL 2011: 611-622
- [c50]Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore: Thread contracts for safe parallelism. PPOPP 2011: 125-134
- [c49]
- [c48]
- 2010
- [j7]Prithvi Bisht, Parthasarathy Madhusudan, V. N. Venkatakrishnan: CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks. ACM Trans. Inf. Syst. Secur. 13(2) (2010)
- [c47]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV 2010: 629-644
- [c46]Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: The Language Theory of Bounded Context-Switching. LATIN 2010: 96-107
- [c45]Francesco Sorrentino, Azadeh Farzan, P. Madhusudan: PENELOPE: weaving threads to expose atomicity violations. SIGSOFT FSE 2010: 37-46
- [c44]Sruthi Bandhakavi, Samuel T. King, P. Madhusudan, Marianne Winslett: VEX: Vetting Browser Extensions for Security Vulnerabilities. USENIX Security Symposium 2010: 339-354
2000 – 2009
- 2009
- [j6]
- [c43]Azadeh Farzan, P. Madhusudan, Francesco Sorrentino: Meta-analysis for Atomicity Violations under Nested Locking. CAV 2009: 248-262
- [c42]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV 2009: 477-492
- [c41]
- [c40]Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: Analyzing recursive programs using a fixed-point calculus. PLDI 2009: 211-222
- [c39]Azadeh Farzan, P. Madhusudan: The Complexity of Predicting Atomicity Violations. TACAS 2009: 155-169
- 2008
- [j5]Wonhong Nam, P. Madhusudan, Rajeev Alur: Automatic symbolic compositional verification by learning assumptions. Formal Methods in System Design 32(3): 207-234 (2008)
- [c38]
- [c37]Lars E. Olson, Carl A. Gunter, P. Madhusudan: A formal framework for reflective database access control policies. ACM Conference on Computer and Communications Security 2008: 289-298
- [c36]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: An Infinite Automaton Characterization of Double Exponential Time. CSL 2008: 33-48
- [c35]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Context-Bounded Analysis of Concurrent Queue Systems. TACAS 2008: 299-314
- 2007
- [c34]Sruthi Bandhakavi, Prithvi Bisht, P. Madhusudan, V. N. Venkatakrishnan: CANDID: preventing sql injection attacks using dynamic candidate evaluations. ACM Conference on Computer and Communications Security 2007: 12-24
- [c33]Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: A Robust Class of Context-Sensitive Languages. LICS 2007: 161-170
- [c32]
- [c31]
- [c30]Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Visibly pushdown automata for streaming XML. WWW 2007: 1053-1062
- 2006
- [j4]Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular strategies for recursive game graphs. Theor. Comput. Sci. 354(2): 230-249 (2006)
- [c29]
- [c28]
- [c27]Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Minimization, Learning, and Conformance Testing of Boolean Programs. CONCUR 2006: 203-217
- [c26]Rajeev Alur, P. Madhusudan: Adding Nesting Structure to Words. Developments in Language Theory 2006: 1-13
- [c25]Rajeev Alur, Swarat Chaudhuri, P. Madhusudan: A fixpoint calculus for local and global program flows. POPL 2006: 153-165
- 2005
- [j3]Rajeev Alur, P. Madhusudan, Wonhong Nam: Symbolic computational techniques for solving games. STTT 7(2): 118-128 (2005)
- [c24]Rajeev Alur, P. Madhusudan, Wonhong Nam: Symbolic Compositional Verification by Learning Assumptions. CAV 2005: 548-562
- [c23]P. Madhusudan, P. S. Thiagarajan, Shaofa Yang: The MSO Theory of Connectedly Communicating Processes. FSTTCS 2005: 201-212
- [c22]
- [c21]Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Congruences for Visibly Pushdown Languages. ICALP 2005: 1102-1114
- [c20]Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam: Synthesis of interface specifications for Java classes. POPL 2005: 98-109
- [c19]Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan: On-the-Fly Reachability and Cycle Detection for Recursive State Machines. TACAS 2005: 61-76
- 2004
- [c18]
- [c17]Rajeev Alur, Mikhail Bernadsky, P. Madhusudan: Optimal Reachability for Weighted Timed Games. ICALP 2004: 122-133
- [c16]
- [c15]
- [c14]Rajeev Alur, Kousha Etessami, P. Madhusudan: A Temporal Logic of Nested Calls and Returns. TACAS 2004: 467-481
- 2003
- [j2]P. Madhusudan, Wonhong Nam, Rajeev Alur: Symbolic computational techniques for solving games. Electr. Notes Theor. Comput. Sci. 89(4): 578-592 (2003)
- [c13]Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular Strategies for Infinite Games on Recursive Graphs. CAV 2003: 67-79
- [c12]Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit: Timed Control with Partial Observability. CAV 2003: 180-192
- [c11]Rajeev Alur, Salvatore La Torre, P. Madhusudan: Playing Games with Boxes and Diamonds. CONCUR 2003: 127-141
- [c10]
- [c9]Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular Strategies for Recursive Game Graphs. TACAS 2003: 363-378
- 2002
- [j1]P. Madhusudan, P. S. Thiagarajan: Branching time controllers for discrete event systems. Theor. Comput. Sci. 274(1-2): 117-149 (2002)
- [c8]P. Madhusudan, P. S. Thiagarajan: A Decidable Class of Asynchronous Distributed Controllers. CONCUR 2002: 145-160
- [c7]Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay: Dynamic Message Sequence Charts. FSTTCS 2002: 253-264
- [c6]Deepak D'Souza, P. Madhusudan: Timed Control Synthesis for External Specifications. STACS 2002: 571-582
- 2001
- [c5]
- [c4]P. Madhusudan, P. S. Thiagarajan: Distributed Controller Synthesis for Local Specifications. ICALP 2001: 396-407
- [c3]P. Madhusudan: Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs. ICALP 2001: 809-820
- 2000
- [c2]Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107
1990 – 1999
- 1998
- [c1]P. Madhusudan, P. S. Thiagarajan: Controllers for Discrete Event Systems via Morphisms. CONCUR 1998: 18-33
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18 22:40 CEST by the dblp team