P. Madhusudan - RankMe

126 papers A* 31A 16B 15C 1Misc 1Journal 46Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	FO-Complete Program Verification for Heap Logics. CoRR Adithya Murali, Hrishikesh Balakrishnan, Aaron Councilman, P. Madhusudan
2025	J	`jnl`	FO-Complete Program Verification for Heap Logics. Proc. ACM Program. Lang. Adithya Murali, Hrishikesh Balakrishnan, Aaron Councilman, P. Madhusudan
2025	J	`jnl`	Synthesizing DSLs for Few-Shot Learning. CoRR Paul Krogmeier, P. Madhusudan
2025	J	`jnl`	Synthesizing DSLs for Few-Shot Learning. Proc. ACM Program. Lang. Paul Krogmeier, P. Madhusudan
2024	J	`jnl`	Predictable Verification using Intrinsic Definitions. CoRR Adithya Murali, Cody Rivera, P. Madhusudan
2024	J	`jnl`	Predictable Verification using Intrinsic Definitions. Proc. ACM Program. Lang. Adithya Murali, Cody Rivera, P. Madhusudan
2023	J	`jnl`	A First-order Logic with Frames. ACM Trans. Program. Lang. Syst. Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2023	J	`jnl`	Complete First-Order Reasoning for Properties of Functional Programs. Proc. ACM Program. Lang. Adithya Murali, Lucas Peña, Ranjit Jhala, P. Madhusudan
2023	J	`jnl`	Languages With Decidable Learning: A Meta-Theorem. CoRR Paul Krogmeier, P. Madhusudan
2023	J	`jnl`	Languages with Decidable Learning: A Meta-theorem. Proc. ACM Program. Lang. Paul Krogmeier, P. Madhusudan
2023	J	`jnl`	Perception Contracts for Safety of ML-Enabled Systems. Proc. ACM Program. Lang. Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra
2022	A*	`conf`	Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. IJCAI Adithya Murali, Atharva Sehgal, Paul Krogmeier, P. Madhusudan
2022	J	`jnl`	Learning formulas in finite variable logics. Proc. ACM Program. Lang. Paul Krogmeier, P. Madhusudan
2022	J	`jnl`	Model-guided synthesis of inductive lemmas for FOL with least fixpoints. Proc. ACM Program. Lang. Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan
2022	J	`jnl`	Synthesizing axiomatizations using logic learning. Proc. ACM Program. Lang. Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan
2021	J	`jnl`	Learning Formulas in Finite Variable Logics. CoRR Paul Krogmeier, P. Madhusudan
2021	J	`jnl`	Synthesizing contracts correct modulo a test generator. Proc. ACM Program. Lang. Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie
2020	A	`conf`	A First-Order Logic with Frames. ESOP Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2020	J	`jnl`	A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. J. Autom. Reason. Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park
2020	—	`conf`	Decidable Synthesis of Programs with Uninterpreted Functions. CAV (2) Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
2020	J	`jnl`	Deciding memory safety for single-pass heap-manipulating programs. Proc. ACM Program. Lang. Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
2020	J	`jnl`	Synthesizing Lemmas for Inductive Reasoning. CoRR Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
2020	—	`conf`	What's Decidable About Program Verification Modulo Axioms? TACAS (2) Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2019	J	`jnl`	A First Order Logic with Frames. CoRR Christof Löding, P. Madhusudan, Adithya Murali, Lucas Peña
2019	J	`jnl`	Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning. CoRR Adithya Murali, P. Madhusudan
2019	J	`jnl`	Decidable Synthesis of Programs with Uninterpreted Functions. CoRR Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan
2019	J	`jnl`	Decidable verification of uninterpreted programs. Proc. ACM Program. Lang. Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2019	J	`jnl`	Deciding Memory Safety for Forest Datastructures. CoRR Umang Mathur, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan
2019	B	`conf`	Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. FMCAD Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan
2019	A*	`conf`	Learning stateful preconditions modulo a test generator. PLDI Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie
2019	B	`conf`	Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. SAS Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan
2019	J	`jnl`	What's Decidable About Program Verification Modulo Axioms? CoRR Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2018	B	`conf`	A Decidable Fragment of Second Order Logic With Applications to Synthesis. CSL P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
2018	J	`jnl`	Compositional Synthesis of Piece-Wise Functions by Learning Classifiers. ACM Trans. Comput. Log. Daniel Neider, Shambwaditya Saha, P. Madhusudan
2018	J	`jnl`	Decidable Verification of Uninterpreted Programs. CoRR Umang Mathur, P. Madhusudan, Mahesh Viswanathan
2018	J	`jnl`	Foundations for natural proofs and quantifier instantiation. Proc. ACM Program. Lang. Christof Löding, P. Madhusudan, Lucas Peña
2018	J	`jnl`	Horn-ICE learning for synthesizing invariants and contracts. Proc. ACM Program. Lang. P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan
2018	—	`conf`	Invariant Synthesis for Incomplete Verification Engines. TACAS (1) Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
2018	B	`conf`	Lagrange's Theorem for Binary Squares. MFCS P. Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit
2017	J	`jnl`	A Decidable Fragment of Second Order Logic With Applications to Synthesis. CoRR P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan
2017	A	`conf`	Efficient Incrementalized Runtime Checking of Linear Measures on Lists. ICST Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan
2017	J	`jnl`	Horn-ICE Learning for Synthesizing Invariants and Contracts. CoRR Deepak D'Souza, P. Ezudheen, Pranav Garg, P. Madhusudan, Daniel Neider
2017	J	`jnl`	Inferring Formal Properties of Production Key-Value Stores. CoRR Edgar Pek, Pranav Garg, Muntasir Raihan Rahman, Karl Palmskog, Indranil Gupta, P. Madhusudan
2017	J	`jnl`	Invariant Synthesis for Incomplete Verification Engines. CoRR Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
2016	A	`conf`	Abstract Learning Frameworks for Synthesis. TACAS Christof Löding, P. Madhusudan, Daniel Neider
2016	A*	`conf`	Learning invariants using decision trees and implication counterexamples. POPL Pranav Garg, Daniel Neider, P. Madhusudan, Dan Roth
2016	A	`conf`	Synthesizing Piece-Wise Functions by Learning Classifiers. TACAS Daniel Neider, Shambwaditya Saha, P. Madhusudan
2015	J	`jnl`	Abstract Learning Frameworks for Synthesis. CoRR Christof Löding, P. Madhusudan, Daniel Neider
2015	—	`conf`	Alchemist: Learning Guarded Affine Functions. CAV (1) Shambwaditya Saha, Pranav Garg, P. Madhusudan
2015	—	`conf`	NetGen: synthesizing data-plane configurations for network policies. SOSR Shambwaditya Saha, Santhosh Prabhu, P. Madhusudan
2015	J	`jnl`	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. Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2015	—	`ch.`	Syntax-Guided Synthesis. Dependable Software Systems Engineering Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2014	—	`conf`	Explicit and symbolic techniques for fast and scalable points-to analysis. SOAP@PLDI Edgar Pek, P. Madhusudan
2014	A*	`conf`	ICE: A Robust Framework for Learning Invariants. CAV Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2014	A	`conf`	Natural proofs for asynchronous programs using almost-synchronous reductions. OOPSLA Ankush Desai, Pranav Garg, P. Madhusudan
2014	A*	`conf`	Natural proofs for data structure manipulation in C using separation logic. PLDI Edgar Pek, Xiaokang Qiu, P. Madhusudan
2014	J	`jnl`	Security analysis for temporal role based access control. J. Comput. Secur. Emre Uzun, Vijayalakshmi Atluri, Jaideep Vaidya, Shamik Sural, Anna Lisa Ferrara, Gennaro Parlato, P. Madhusudan
2014	A*	`conf`	Vac - Verifier of Administrative Role-Based Access Control Policies. CAV Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato
2013	J	`jnl`	Learning Universally Quantified Invariants of Linear Data Structures CoRR Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2013	A*	`conf`	Learning Universally Quantified Invariants of Linear Data Structures. CAV Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
2013	A	`conf`	Policy Analysis for Self-administrated Role-Based Access Control. TACAS Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato
2013	B	`conf`	Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists. SAS Pranav Garg, P. Madhusudan, Gennaro Parlato
2013	J	`jnl`	Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists CoRR Pranav Garg, P. Madhusudan, Gennaro Parlato
2013	J	`jnl`	Reachability under Contextual Locking. Log. Methods Comput. Sci. Rémi Bonnet, Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
2012	A*	`ed.`	Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings CAV P. Madhusudan, Sanjit A. Seshia
2012	—	`conf`	Predicting null-pointer dereferences in concurrent programs. SIGSOFT FSE Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino
2012	A	`conf`	Reachability under Contextual Locking. TACAS Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
2012	A	`conf`	Security Analysis of Role-Based Access Control through Program Verification. CSF Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato
2012	Misc	`conf`	Sequentializing Parameterized Programs FIT Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2011	A	`conf`	Compositionality Entails Sequentializability. TACAS Pranav Garg, P. Madhusudan
2011	A*	`conf`	Decidable logics combining heap structures and data. POPL P. Madhusudan, Gennaro Parlato, Xiaokang Qiu
2011	B	`conf`	Efficient Decision Procedures for Heaps Using STRAND. SAS P. Madhusudan, Xiaokang Qiu
2011	J	`jnl`	Software model checking using languages of nested trees. ACM Trans. Program. Lang. Syst. Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
2011	A*	`conf`	The tree width of auxiliary storage. POPL P. Madhusudan, Gennaro Parlato
2011	B	`conf`	Thread contracts for safe parallelism. PPoPP Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore
2011	J	`jnl`	Vetting browser extensions for security vulnerabilities with VEX. Commun. ACM Sruthi Bandhakavi, Nandit Tiku, Wyatt Pittman, Samuel T. King, P. Madhusudan, Marianne Winslett
2010	A*	`conf`	Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2010	—	`conf`	PENELOPE: weaving threads to expose atomicity violations. SIGSOFT FSE Francesco Sorrentino, Azadeh Farzan, P. Madhusudan
2010	A*	`conf`	VEX: Vetting Browser Extensions for Security Vulnerabilities. USENIX Security Symposium Sruthi Bandhakavi, Samuel T. King, P. Madhusudan, Marianne Winslett
2009	J	`jnl`	Adding nesting structure to words. J. ACM Rajeev Alur, P. Madhusudan
2009	A*	`conf`	Meta-analysis for Atomicity Violations under Nested Locking. CAV Azadeh Farzan, P. Madhusudan, Francesco Sorrentino
2009	B	`conf`	Query Automata for Nested Words. MFCS P. Madhusudan, Mahesh Viswanathan
2009	A*	`conf`	Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2009	A	`conf`	The Complexity of Predicting Atomicity Violations. TACAS Azadeh Farzan, P. Madhusudan
2008	A*	`conf`	A formal framework for reflective database access control policies. CCS Lars E. Olson, Carl A. Gunter, P. Madhusudan
2008	B	`conf`	An Infinite Automaton Characterization of Double Exponential Time. CSL Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2008	J	`jnl`	Automatic symbolic compositional verification by learning assumptions. Formal Methods Syst. Des. Wonhong Nam, P. Madhusudan, Rajeev Alur
2008	A	`conf`	Context-Bounded Analysis of Concurrent Queue Systems. TACAS Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2008	A*	`conf`	Monitoring Atomicity in Concurrent Programs. CAV Azadeh Farzan, P. Madhusudan
2007	A*	`conf`	CANDID: preventing sql injection attacks using dynamic candidate evaluations. CCS Sruthi Bandhakavi, Prithvi Bisht, P. Madhusudan, V. N. Venkatakrishnan
2007	A	`conf`	Causal Dataflow Analysis for Concurrent Programs. TACAS Azadeh Farzan, P. Madhusudan
2007	B	`conf`	Learning Algorithms and Formal Verification (Invited Tutorial). VMCAI P. Madhusudan
2007	A*	`conf`	Visibly pushdown automata for streaming XML. WWW Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
2006	A*	`conf`	A fixpoint calculus for local and global program flows. POPL Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
2006	C	`conf`	Adding Nesting Structure to Words. Developments in Language Theory Rajeev Alur, P. Madhusudan
2006	A*	`conf`	Causal Atomicity. CAV Azadeh Farzan, P. Madhusudan
2006	A*	`conf`	Languages of Nested Trees. CAV Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
2006	B	`conf`	Minimization, Learning, and Conformance Testing of Boolean Programs. CONCUR Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
2006	J	`jnl`	Modular strategies for recursive game graphs. Theor. Comput. Sci. Rajeev Alur, Salvatore La Torre, P. Madhusudan
2005	A*	`conf`	Congruences for Visibly Pushdown Languages. ICALP Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
2005	A	`conf`	On-the-Fly Reachability and Cycle Detection for Recursive State Machines. TACAS Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan
2005	—	`conf`	Perturbed Timed Automata. HSCC Rajeev Alur, Salvatore La Torre, P. Madhusudan
2005	A*	`conf`	Symbolic Compositional Verification by Learning Assumptions. CAV Rajeev Alur, P. Madhusudan, Wonhong Nam
2005	J	`jnl`	Symbolic computational techniques for solving games. Int. J. Softw. Tools Technol. Transf. Rajeev Alur, P. Madhusudan, Wonhong Nam
2005	A*	`conf`	Synthesis of interface specifications for Java classes. POPL Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam
2005	—	`conf`	The MSO Theory of Connectedly Communicating Processes. FSTTCS P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
2004	A	`conf`	A Temporal Logic of Nested Calls and Returns. TACAS Rajeev Alur, Kousha Etessami, P. Madhusudan
2004	—	`conf`	Decision Problems for Timed Automata: A Survey. SFM Rajeev Alur, P. Madhusudan
2004	A*	`conf`	Optimal Reachability for Weighted Timed Games. ICALP Rajeev Alur, Mikhail Bernadsky, P. Madhusudan
2004	—	`conf`	Visibly Pushdown Games. FSTTCS Christof Löding, P. Madhusudan, Olivier Serre
2004	A*	`conf`	Visibly pushdown languages. STOC Rajeev Alur, P. Madhusudan
2003	A*	`conf`	Model-checking Trace Event Structures. LICS P. Madhusudan
2003	A*	`conf`	Modular Strategies for Infinite Games on Recursive Graphs. CAV Rajeev Alur, Salvatore La Torre, P. Madhusudan
2003	A	`conf`	Modular Strategies for Recursive Game Graphs. TACAS Rajeev Alur, Salvatore La Torre, P. Madhusudan
2003	B	`conf`	Playing Games with Boxes and Diamonds. CONCUR Rajeev Alur, Salvatore La Torre, P. Madhusudan
2003	—	`conf`	Symbolic computational techniques for solving games. BMC@CAV P. Madhusudan, Wonhong Nam, Rajeev Alur
2003	A*	`conf`	Timed Control with Partial Observability. CAV Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit
2002	B	`conf`	A Decidable Class of Asynchronous Distributed Controllers. CONCUR P. Madhusudan, P. S. Thiagarajan
2002	J	`jnl`	Branching time controllers for discrete event systems. Theor. Comput. Sci. P. Madhusudan, P. S. Thiagarajan
2002	—	`conf`	Dynamic Message Sequence Charts. FSTTCS Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay
2002	A	`conf`	Timed Control Synthesis for External Specifications. STACS Deepak D'Souza, P. Madhusudan
2001	—	`conf`	Beyond Message Sequence Graphs. FSTTCS P. Madhusudan, B. Meenakshi
2001	A*	`conf`	Distributed Controller Synthesis for Local Specifications. ICALP P. Madhusudan, P. S. Thiagarajan
2001	A*	`conf`	Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs. ICALP P. Madhusudan
2000	B	`conf`	Open Systems in Reactive Environments: Control and Synthesis. CONCUR Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi
1998	B	`conf`	Controllers for Discrete Event Systems via Morphisms. CONCUR P. Madhusudan, P. S. Thiagarajan