P. Madhusudan

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 47

Top Venues

CoRR

Proc. ACM Program. Lang.

TACAS

PLDI

Publications

Adithya Murali, Cody Rivera, P. Madhusudan
Predictable Verification using Intrinsic Definitions. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Adithya Murali, Cody Rivera, P. Madhusudan
Predictable Verification using Intrinsic Definitions. CoRR (2024)
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
A First-order Logic with Frames. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Paul Krogmeier, P. Madhusudan
Languages with Decidable Learning: A Meta-theorem. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra
Perception Contracts for Safety of ML-Enabled Systems. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Paul Krogmeier, P. Madhusudan
Languages With Decidable Learning: A Meta-Theorem. CoRR (2023)
Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan
Complete First-Order Reasoning for Properties of Functional Programs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Paul Krogmeier, P. Madhusudan
Learning formulas in finite variable logics. Proc. ACM Program. Lang. 6 (POPL) (2022)
Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan
Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. IJCAI (2022)
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan
Model-guided synthesis of inductive lemmas for FOL with least fixpoints. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan
Synthesizing axiomatizations using logic learning. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie
Synthesizing contracts correct modulo a test generator. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Paul Krogmeier, P. Madhusudan
Learning Formulas in Finite Variable Logics. CoRR (2021)
Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. J. Autom. Reason. 64 (7) (2020)
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
Deciding memory safety for single-pass heap-manipulating programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
Synthesizing Lemmas for Inductive Reasoning. CoRR (2020)
Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
A First-Order Logic with Frames. ESOP (2020)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
What's Decidable About Program Verification Modulo Axioms? TACAS (2) (2020)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Decidable Synthesis of Programs with Uninterpreted Functions. CAV (2) (2020)
Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan
Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. SAS (2019)
Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
Deciding Memory Safety for Forest Datastructures. CoRR (2019)
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
Decidable Synthesis of Programs with Uninterpreted Functions. CoRR (2019)
Christof Löding, P. Madhusudan, Adithya Murali, Lucas Peña
A First Order Logic with Frames. CoRR (2019)
Adithya Murali, P. Madhusudan
Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning. CoRR (2019)
Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan
Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. FMCAD (2019)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
What's Decidable About Program Verification Modulo Axioms? CoRR (2019)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
Decidable verification of uninterpreted programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie
Learning stateful preconditions modulo a test generator. PLDI (2019)
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan
Horn-ICE learning for synthesizing invariants and contracts. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
A Decidable Fragment of Second Order Logic With Applications to Synthesis. CSL (2018)
Umang Mathur, P. Madhusudan, Mahesh Viswanathan
Decidable Verification of Uninterpreted Programs. CoRR (2018)
Daniel Neider, Shambwaditya Saha, P. Madhusudan
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Trans. Comput. Log. 19 (2) (2018)
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
Invariant Synthesis for Incomplete Verification Engines. TACAS (1) (2018)
Christof Löding, P. Madhusudan, Lucas Peña
Foundations for natural proofs and quantifier instantiation. Proc. ACM Program. Lang. 2 (POPL) (2018)
P. Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit
Lagrange's Theorem for Binary Squares. MFCS (2018)
P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
A Decidable Fragment of Second Order Logic With Applications to Synthesis. CoRR (2017)
Deepak D'Souza, P. Ezudheen, Pranav Garg, P. Madhusudan, Daniel Neider
Horn-ICE Learning for Synthesizing Invariants and Contracts. CoRR (2017)
Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan
Efficient Incrementalized Runtime Checking of Linear Measures on Lists. ICST (2017)
Edgar Pek, Pranav Garg, Muntasir Raihan Rahman, Karl Palmskog, Indranil Gupta, P. Madhusudan
Inferring Formal Properties of Production Key-Value Stores. CoRR (2017)
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
Invariant Synthesis for Incomplete Verification Engines. CoRR (2017)
Pranav Garg, Daniel Neider, P. Madhusudan, Dan Roth
Learning invariants using decision trees and implication counterexamples. POPL (2016)
Christof Löding, P. Madhusudan, Daniel Neider
Abstract Learning Frameworks for Synthesis. TACAS (2016)
Daniel Neider, Shambwaditya Saha, P. Madhusudan
Synthesizing Piece-Wise Functions by Learning Classifiers. TACAS (2016)
Christof Löding, P. Madhusudan, Daniel Neider
Abstract Learning Frameworks for Synthesis. CoRR (2015)
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists. Formal Methods Syst. Des. 47 (1) (2015)
Shambwaditya Saha, Pranav Garg, P. Madhusudan
Alchemist: Learning Guarded Affine Functions. CAV (1) (2015)
Shambwaditya Saha, Santhosh Prabhu, P. Madhusudan
NetGen: synthesizing data-plane configurations for network policies. SOSR (2015)
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
ICE: A Robust Framework for Learning Invariants. CAV (2014)
Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato
Vac - Verifier of Administrative Role-Based Access Control Policies. CAV (2014)
Emre Uzun, Vijayalakshmi Atluri, Jaideep Vaidya, Shamik Sural, Anna Lisa Ferrara, Gennaro Parlato, P. Madhusudan
Security analysis for temporal role based access control. J. Comput. Secur. 22 (6) (2014)
Ankush Desai, Pranav Garg, P. Madhusudan
Natural proofs for asynchronous programs using almost-synchronous reductions. OOPSLA (2014)
Edgar Pek, P. Madhusudan
Explicit and symbolic techniques for fast and scalable points-to analysis. SOAP@PLDI (2014)
Edgar Pek, Xiaokang Qiu, P. Madhusudan
Natural proofs for data structure manipulation in C using separation logic. PLDI (2014)
Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato
Policy Analysis for Self-administrated Role-Based Access Control. TACAS (2013)
Pranav Garg, P. Madhusudan, Gennaro Parlato
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists CoRR (2013)
Rémi Bonnet, Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
Reachability under Contextual Locking. Log. Methods Comput. Sci. 9 (3) (2013)
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
Learning Universally Quantified Invariants of Linear Data Structures CoRR (2013)
Pranav Garg, P. Madhusudan, Gennaro Parlato
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists. SAS (2013)
Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
Learning Universally Quantified Invariants of Linear Data Structures. CAV (2013)
Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato
Security Analysis of Role-Based Access Control through Program Verification. CSF (2012)
Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
Reachability under Contextual Locking. TACAS (2012)
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
Sequentializing Parameterized Programs FIT (2012)
Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino
Predicting null-pointer dereferences in concurrent programs. SIGSOFT FSE (2012)
P. Madhusudan, Gennaro Parlato
The tree width of auxiliary storage. POPL (2011)
P. Madhusudan, Gennaro Parlato, Xiaokang Qiu
Decidable logics combining heap structures and data. POPL (2011)
P. Madhusudan, Xiaokang Qiu
Efficient Decision Procedures for Heaps Using STRAND. SAS (2011)
Pranav Garg, P. Madhusudan
Compositionality Entails Sequentializability. TACAS (2011)
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) (2011)
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
Software model checking using languages of nested trees. ACM Trans. Program. Lang. Syst. 33 (5) (2011)
Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore
Thread contracts for safe parallelism. PPOPP (2011)
Francesco Sorrentino, Azadeh Farzan, P. Madhusudan
PENELOPE: weaving threads to expose atomicity violations. SIGSOFT FSE (2010)
Sruthi Bandhakavi, Samuel T. King, P. Madhusudan, Marianne Winslett
VEX: Vetting Browser Extensions for Security Vulnerabilities. USENIX Security Symposium (2010)
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV (2010)
Azadeh Farzan, P. Madhusudan, Francesco Sorrentino
Meta-analysis for Atomicity Violations under Nested Locking. CAV (2009)
P. Madhusudan, Mahesh Viswanathan
Query Automata for Nested Words. MFCS (2009)
Rajeev Alur, P. Madhusudan
Adding nesting structure to words. J. ACM 56 (3) (2009)
Azadeh Farzan, P. Madhusudan
The Complexity of Predicting Atomicity Violations. TACAS (2009)
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV (2009)
Azadeh Farzan, P. Madhusudan
Monitoring Atomicity in Concurrent Programs. CAV (2008)
Wonhong Nam, P. Madhusudan, Rajeev Alur
Automatic symbolic compositional verification by learning assumptions. Formal Methods Syst. Des. 32 (3) (2008)
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
Context-Bounded Analysis of Concurrent Queue Systems. TACAS (2008)
Lars E. Olson, Carl A. Gunter, P. Madhusudan
A formal framework for reflective database access control policies. CCS (2008)
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
An Infinite Automaton Characterization of Double Exponential Time. CSL (2008)
P. Madhusudan
Learning Algorithms and Formal Verification (Invited Tutorial). VMCAI (2007)
Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
Visibly pushdown automata for streaming XML. WWW (2007)
Sruthi Bandhakavi, Prithvi Bisht, P. Madhusudan, V. N. Venkatakrishnan
CANDID: preventing sql injection attacks using dynamic candidate evaluations. CCS (2007)
Azadeh Farzan, P. Madhusudan
Causal Dataflow Analysis for Concurrent Programs. TACAS (2007)
Azadeh Farzan, P. Madhusudan
Causal Atomicity. CAV (2006)
Rajeev Alur, Salvatore La Torre, P. Madhusudan
Modular strategies for recursive game graphs. Theor. Comput. Sci. 354 (2) (2006)
Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
Minimization, Learning, and Conformance Testing of Boolean Programs. CONCUR (2006)
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
A fixpoint calculus for local and global program flows. POPL (2006)
Rajeev Alur, P. Madhusudan
Adding Nesting Structure to Words. Developments in Language Theory (2006)
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
Languages of Nested Trees. CAV (2006)
Rajeev Alur, Salvatore La Torre, P. Madhusudan
Perturbed Timed Automata. HSCC (2005)
Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan
On-the-Fly Reachability and Cycle Detection for Recursive State Machines. TACAS (2005)
Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam
Synthesis of interface specifications for Java classes. POPL (2005)
Rajeev Alur, P. Madhusudan, Wonhong Nam
Symbolic Compositional Verification by Learning Assumptions. CAV (2005)
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
The MSO Theory of Connectedly Communicating Processes. FSTTCS (2005)
Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
Congruences for Visibly Pushdown Languages. ICALP (2005)
Rajeev Alur, P. Madhusudan, Wonhong Nam
Symbolic computational techniques for solving games. Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)

P. Madhusudan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

P. Madhusudan