P. Madhusudan

Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan: Verifying security invariants in ExpressOS. ASPLOS 2013: 293-304

Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato: Policy Analysis for Self-administrated Role-Based Access Control. TACAS 2013: 432-447

Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider: Learning Universally Quantified Invariants of Linear Data Structures. CoRR abs/1302.2273 (2013)

Pranav Garg, P. Madhusudan, Gennaro Parlato: Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists. CoRR abs/1304.0660 (2013)

Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato: Security Analysis of Role-Based Access Control through Program Verification. CSF 2012: 113-125

Parthasarathy Madhusudan: Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures. FSTTCS 2012: 34-35

Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu: Recursive proofs for inductive tree data-structures. POPL 2012: 123-136

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

Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino: Predicting null-pointer dereferences in concurrent programs. SIGSOFT FSE 2012: 47

Rohit Chadha, P. Madhusudan, Mahesh Viswanathan: Reachability under Contextual Locking. TACAS 2012: 437-450

Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Sequentializing Parameterized Programs. FIT 2012: 34-47

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

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)

Rajeev Alur, Swarat Chaudhuri, P. Madhusudan: Software model checking using languages of nested trees. ACM Trans. Program. Lang. Syst. 33(5): 15 (2011)

Parthasarathy Madhusudan: Synthesizing Reactive Programs. CSL 2011: 428-442

P. Madhusudan, Gennaro Parlato: The tree width of auxiliary storage. POPL 2011: 283-294

P. Madhusudan, Gennaro Parlato, Xiaokang Qiu: Decidable logics combining heap structures and data. POPL 2011: 611-622

Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore: Thread contracts for safe parallelism. PPOPP 2011: 125-134

P. Madhusudan, Xiaokang Qiu: Efficient Decision Procedures for Heaps Using STRAND. SAS 2011: 43-59

Pranav Garg, P. Madhusudan: Compositionality Entails Sequentializability. TACAS 2011: 26-40

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)

Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV 2010: 629-644

Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: The Language Theory of Bounded Context-Switching. LATIN 2010: 96-107

Francesco Sorrentino, Azadeh Farzan, P. Madhusudan: PENELOPE: weaving threads to expose atomicity violations. SIGSOFT FSE 2010: 37-46

Sruthi Bandhakavi, Samuel T. King, P. Madhusudan, Marianne Winslett: VEX: Vetting Browser Extensions for Security Vulnerabilities. USENIX Security Symposium 2010: 339-354

Rajeev Alur, P. Madhusudan: Adding nesting structure to words. J. ACM 56(3) (2009)

Azadeh Farzan, P. Madhusudan, Francesco Sorrentino: Meta-analysis for Atomicity Violations under Nested Locking. CAV 2009: 248-262

Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV 2009: 477-492

P. Madhusudan, Mahesh Viswanathan: Query Automata for Nested Words. MFCS 2009: 561-573

Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: Analyzing recursive programs using a fixed-point calculus. PLDI 2009: 211-222

Azadeh Farzan, P. Madhusudan: The Complexity of Predicting Atomicity Violations. TACAS 2009: 155-169

Wonhong Nam, P. Madhusudan, Rajeev Alur: Automatic symbolic compositional verification by learning assumptions. Formal Methods in System Design 32(3): 207-234 (2008)

Azadeh Farzan, P. Madhusudan: Monitoring Atomicity in Concurrent Programs. CAV 2008: 52-65

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

Salvatore La Torre, P. Madhusudan, Gennaro Parlato: An Infinite Automaton Characterization of Double Exponential Time. CSL 2008: 33-48

Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Context-Bounded Analysis of Concurrent Queue Systems. TACAS 2008: 299-314

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

Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: A Robust Class of Context-Sensitive Languages. LICS 2007: 161-170

Azadeh Farzan, P. Madhusudan: Causal Dataflow Analysis for Concurrent Programs. TACAS 2007: 102-116

P. Madhusudan: Learning Algorithms and Formal Verification (Invited Tutorial). VMCAI 2007: 214

Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Visibly pushdown automata for streaming XML. WWW 2007: 1053-1062

Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular strategies for recursive game graphs. Theor. Comput. Sci. 354(2): 230-249 (2006)

Azadeh Farzan, P. Madhusudan: Causal Atomicity. CAV 2006: 315-328

Rajeev Alur, Swarat Chaudhuri, P. Madhusudan: Languages of Nested Trees. CAV 2006: 329-342

Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Minimization, Learning, and Conformance Testing of Boolean Programs. CONCUR 2006: 203-217

Rajeev Alur, P. Madhusudan: Adding Nesting Structure to Words. Developments in Language Theory 2006: 1-13

Rajeev Alur, Swarat Chaudhuri, P. Madhusudan: A fixpoint calculus for local and global program flows. POPL 2006: 153-165

Rajeev Alur, P. Madhusudan, Wonhong Nam: Symbolic computational techniques for solving games. STTT 7(2): 118-128 (2005)

Rajeev Alur, P. Madhusudan, Wonhong Nam: Symbolic Compositional Verification by Learning Assumptions. CAV 2005: 548-562

P. Madhusudan, P. S. Thiagarajan, Shaofa Yang: The MSO Theory of Connectedly Communicating Processes. FSTTCS 2005: 201-212

Rajeev Alur, Salvatore La Torre, P. Madhusudan: Perturbed Timed Automata. HSCC 2005: 70-85

Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan: Congruences for Visibly Pushdown Languages. ICALP 2005: 1102-1114

Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam: Synthesis of interface specifications for Java classes. POPL 2005: 98-109

Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan: On-the-Fly Reachability and Cycle Detection for Recursive State Machines. TACAS 2005: 61-76

Christof Löding, P. Madhusudan, Olivier Serre: Visibly Pushdown Games. FSTTCS 2004: 408-420

Rajeev Alur, Mikhail Bernadsky, P. Madhusudan: Optimal Reachability for Weighted Timed Games. ICALP 2004: 122-133

Rajeev Alur, P. Madhusudan: Decision Problems for Timed Automata: A Survey. SFM 2004: 1-24

Rajeev Alur, P. Madhusudan: Visibly pushdown languages. STOC 2004: 202-211

Rajeev Alur, Kousha Etessami, P. Madhusudan: A Temporal Logic of Nested Calls and Returns. TACAS 2004: 467-481

P. Madhusudan, Wonhong Nam, Rajeev Alur: Symbolic computational techniques for solving games. Electr. Notes Theor. Comput. Sci. 89(4): 578-592 (2003)

Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular Strategies for Infinite Games on Recursive Graphs. CAV 2003: 67-79

Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit: Timed Control with Partial Observability. CAV 2003: 180-192

Rajeev Alur, Salvatore La Torre, P. Madhusudan: Playing Games with Boxes and Diamonds. CONCUR 2003: 127-141

P. Madhusudan: Model-checking Trace Event Structures. LICS 2003: 371-380

Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular Strategies for Recursive Game Graphs. TACAS 2003: 363-378

P. Madhusudan, P. S. Thiagarajan: Branching time controllers for discrete event systems. Theor. Comput. Sci. 274(1-2): 117-149 (2002)

P. Madhusudan, P. S. Thiagarajan: A Decidable Class of Asynchronous Distributed Controllers. CONCUR 2002: 145-160

Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay: Dynamic Message Sequence Charts. FSTTCS 2002: 253-264

Deepak D'Souza, P. Madhusudan: Timed Control Synthesis for External Specifications. STACS 2002: 571-582

P. Madhusudan, B. Meenakshi: Beyond Message Sequence Graphs. FSTTCS 2001: 256-267

P. Madhusudan, P. S. Thiagarajan: Distributed Controller Synthesis for Local Specifications. ICALP 2001: 396-407

P. Madhusudan: Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs. ICALP 2001: 809-820

Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi: Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107

P. Madhusudan, P. S. Thiagarajan: Controllers for Discrete Event Systems via Morphisms. CONCUR 1998: 18-33