Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: P. Madhusudan
@article{DBLP:journals/pacmpl/KrogmeierM23, author = {Paul Krogmeier and P. Madhusudan}, title = {Languages with Decidable Learning: {A} Meta-theorem}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA1}}, pages = {143--171}, year = {2023}, url = {https://doi.org/10.1145/3586032}, doi = {10.1145/3586032}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/KrogmeierM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MuraliPJM23, author = {Adithya Murali and Lucas Pe{\~{n}}a and Ranjit Jhala and P. Madhusudan}, title = {Complete First-Order Reasoning for Properties of Functional Programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA2}}, pages = {1063--1092}, year = {2023}, url = {https://doi.org/10.1145/3622835}, doi = {10.1145/3622835}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MuraliPJM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AstorgaHMM23, author = {Angello Astorga and Chiao Hsieh and P. Madhusudan and Sayan Mitra}, title = {Perception Contracts for Safety of ML-Enabled Systems}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA2}}, pages = {2196--2223}, year = {2023}, url = {https://doi.org/10.1145/3622875}, doi = {10.1145/3622875}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AstorgaHMM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/MuraliPLM23, author = {Adithya Murali and Lucas Pe{\~{n}}a and Christof L{\"{o}}ding and P. Madhusudan}, title = {A First-order Logic with Frames}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {45}, number = {2}, pages = {7:1--7:44}, year = {2023}, url = {https://doi.org/10.1145/3583057}, doi = {10.1145/3583057}, timestamp = {Fri, 18 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/MuraliPLM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-05741, author = {Paul Krogmeier and P. Madhusudan}, title = {Languages With Decidable Learning: {A} Meta-Theorem}, journal = {CoRR}, volume = {abs/2302.05741}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.05741}, doi = {10.48550/ARXIV.2302.05741}, eprinttype = {arXiv}, eprint = {2302.05741}, timestamp = {Sun, 19 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-05741.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/KrogmeierLMM22, author = {Paul Krogmeier and Zhengyao Lin and Adithya Murali and P. Madhusudan}, title = {Synthesizing axiomatizations using logic learning}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{OOPSLA2}}, pages = {1697--1725}, year = {2022}, url = {https://doi.org/10.1145/3563348}, doi = {10.1145/3563348}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/KrogmeierLMM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MuraliPBLM22, author = {Adithya Murali and Lucas Pe{\~{n}}a and Eion Blanchard and Christof L{\"{o}}ding and P. Madhusudan}, title = {Model-guided synthesis of inductive lemmas for {FOL} with least fixpoints}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{OOPSLA2}}, pages = {1873--1902}, year = {2022}, url = {https://doi.org/10.1145/3563354}, doi = {10.1145/3563354}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MuraliPBLM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/KrogmeierM22, author = {Paul Krogmeier and P. Madhusudan}, title = {Learning formulas in finite variable logics}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{POPL}}, pages = {1--28}, year = {2022}, url = {https://doi.org/10.1145/3498671}, doi = {10.1145/3498671}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/KrogmeierM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/MuraliSKM22, author = {Adithya Murali and Atharva Sehgal and Paul Krogmeier and P. Madhusudan}, editor = {Luc De Raedt}, title = {Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination}, booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July 2022}, pages = {3358--3365}, publisher = {ijcai.org}, year = {2022}, url = {https://doi.org/10.24963/ijcai.2022/466}, doi = {10.24963/IJCAI.2022/466}, timestamp = {Wed, 27 Jul 2022 16:43:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/MuraliSKM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AstorgaSDWMX21, author = {Angello Astorga and Shambwaditya Saha and Ahmad Dinkins and Felicia Wang and P. Madhusudan and Tao Xie}, title = {Synthesizing contracts correct modulo a test generator}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{OOPSLA}}, pages = {1--27}, year = {2021}, url = {https://doi.org/10.1145/3485481}, doi = {10.1145/3485481}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/AstorgaSDWMX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-03534, author = {Paul Krogmeier and P. Madhusudan}, title = {Learning Formulas in Finite Variable Logics}, journal = {CoRR}, volume = {abs/2111.03534}, year = {2021}, url = {https://arxiv.org/abs/2111.03534}, eprinttype = {arXiv}, eprint = {2111.03534}, timestamp = {Wed, 10 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-03534.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/NeiderMSGP20, author = {Daniel Neider and P. Madhusudan and Shambwaditya Saha and Pranav Garg and Daejun Park}, title = {A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines}, journal = {J. Autom. Reason.}, volume = {64}, number = {7}, pages = {1523--1552}, year = {2020}, url = {https://doi.org/10.1007/s10817-020-09570-z}, doi = {10.1007/S10817-020-09570-Z}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/NeiderMSGP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MathurMKMV20, author = {Umang Mathur and Adithya Murali and Paul Krogmeier and P. Madhusudan and Mahesh Viswanathan}, title = {Deciding memory safety for single-pass heap-manipulating programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{POPL}}, pages = {35:1--35:29}, year = {2020}, url = {https://doi.org/10.1145/3371103}, doi = {10.1145/3371103}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/MathurMKMV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Krogmeier0MM020, author = {Paul Krogmeier and Umang Mathur and Adithya Murali and P. Madhusudan and Mahesh Viswanathan}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {Decidable Synthesis of Programs with Uninterpreted Functions}, booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12225}, pages = {634--657}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53291-8\_32}, doi = {10.1007/978-3-030-53291-8\_32}, timestamp = {Wed, 12 Aug 2020 15:15:44 +0200}, biburl = {https://dblp.org/rec/conf/cav/Krogmeier0MM020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/MuraliPLM20, author = {Adithya Murali and Lucas Pe{\~{n}}a and Christof L{\"{o}}ding and P. Madhusudan}, editor = {Peter M{\"{u}}ller}, title = {A First-Order Logic with Frames}, booktitle = {Programming Languages and Systems - 29th European Symposium on Programming, {ESOP} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12075}, pages = {515--543}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44914-8\_19}, doi = {10.1007/978-3-030-44914-8\_19}, timestamp = {Fri, 14 May 2021 08:34:21 +0200}, biburl = {https://dblp.org/rec/conf/esop/MuraliPLM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/MathurM020, author = {Umang Mathur and P. Madhusudan and Mahesh Viswanathan}, editor = {Armin Biere and David Parker}, title = {What's Decidable About Program Verification Modulo Axioms?}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, {TACAS} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12079}, pages = {158--177}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-45237-7\_10}, doi = {10.1007/978-3-030-45237-7\_10}, timestamp = {Fri, 14 May 2021 08:34:19 +0200}, biburl = {https://dblp.org/rec/conf/tacas/MathurM020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2009-10207, author = {Adithya Murali and Lucas Pe{\~{n}}a and Christof L{\"{o}}ding and P. Madhusudan}, title = {Synthesizing Lemmas for Inductive Reasoning}, journal = {CoRR}, volume = {abs/2009.10207}, year = {2020}, url = {https://arxiv.org/abs/2009.10207}, eprinttype = {arXiv}, eprint = {2009.10207}, timestamp = {Wed, 23 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2009-10207.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MathurMV19, author = {Umang Mathur and P. Madhusudan and Mahesh Viswanathan}, title = {Decidable verification of uninterpreted programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {46:1--46:29}, year = {2019}, url = {https://doi.org/10.1145/3290359}, doi = {10.1145/3290359}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MathurMV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/KalimPMMGM19, author = {Faria Kalim and Karl Palmskog and Jayasi Mehar and Adithya Murali and Indranil Gupta and P. Madhusudan}, editor = {Clark W. Barrett and Jin Yang}, title = {Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity}, booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose, CA, USA, October 22-25, 2019}, pages = {96--104}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.23919/FMCAD.2019.8894248}, doi = {10.23919/FMCAD.2019.8894248}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/KalimPMMGM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/TorreM19, author = {Salvatore La Torre and Parthasarathy Madhusudan}, editor = {Arkadev Chattopadhyay and Paul Gastin}, title = {Reachability in Concurrent Uninterpreted Programs}, booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019, Bombay, India}, series = {LIPIcs}, volume = {150}, pages = {46:1--46:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.46}, doi = {10.4230/LIPICS.FSTTCS.2019.46}, timestamp = {Thu, 05 Dec 2019 15:12:21 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/TorreM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/AstorgaMSWX19, author = {Angello Astorga and P. Madhusudan and Shambwaditya Saha and Shiyu Wang and Tao Xie}, editor = {Kathryn S. McKinley and Kathleen Fisher}, title = {Learning stateful preconditions modulo a test generator}, booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA, June 22-26, 2019}, pages = {775--787}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3314221.3314641}, doi = {10.1145/3314221.3314641}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/AstorgaMSWX19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/NeiderS0M19, author = {Daniel Neider and Shambwaditya Saha and Pranav Garg and P. Madhusudan}, editor = {Bor{-}Yuh Evan Chang}, title = {Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants}, booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto, Portugal, October 8-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11822}, pages = {323--346}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32304-2\_16}, doi = {10.1007/978-3-030-32304-2\_16}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/NeiderS0M19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-09089, author = {Christof L{\"{o}}ding and P. Madhusudan and Adithya Murali and Lucas Pe{\~{n}}a}, title = {A First Order Logic with Frames}, journal = {CoRR}, volume = {abs/1901.09089}, year = {2019}, url = {http://arxiv.org/abs/1901.09089}, eprinttype = {arXiv}, eprint = {1901.09089}, timestamp = {Sat, 02 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-09089.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-00298, author = {Umang Mathur and Adithya Murali and Paul Krogmeier and P. Madhusudan and Mahesh Viswanathan}, title = {Deciding Memory Safety for Forest Datastructures}, journal = {CoRR}, volume = {abs/1907.00298}, year = {2019}, url = {http://arxiv.org/abs/1907.00298}, eprinttype = {arXiv}, eprint = {1907.00298}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-00298.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-05878, author = {Adithya Murali and P. Madhusudan}, title = {Augmenting Neural Nets with Symbolic Synthesis: Applications to Few-Shot Learning}, journal = {CoRR}, volume = {abs/1907.05878}, year = {2019}, url = {http://arxiv.org/abs/1907.05878}, eprinttype = {arXiv}, eprint = {1907.05878}, timestamp = {Wed, 17 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-05878.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-09744, author = {Paul Krogmeier and Umang Mathur and Adithya Murali and P. Madhusudan and Mahesh Viswanathan}, title = {Decidable Synthesis of Programs with Uninterpreted Functions}, journal = {CoRR}, volume = {abs/1910.09744}, year = {2019}, url = {http://arxiv.org/abs/1910.09744}, eprinttype = {arXiv}, eprint = {1910.09744}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-09744.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-10889, author = {Umang Mathur and P. Madhusudan and Mahesh Viswanathan}, title = {What's Decidable About Program Verification Modulo Axioms?}, journal = {CoRR}, volume = {abs/1910.10889}, year = {2019}, url = {http://arxiv.org/abs/1910.10889}, eprinttype = {arXiv}, eprint = {1910.10889}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-10889.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/EzudheenND0M18, author = {P. Ezudheen and Daniel Neider and Deepak D'Souza and Pranav Garg and P. Madhusudan}, title = {Horn-ICE learning for synthesizing invariants and contracts}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{OOPSLA}}, pages = {131:1--131:25}, year = {2018}, url = {https://doi.org/10.1145/3276501}, doi = {10.1145/3276501}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/EzudheenND0M18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/LodingMP18, author = {Christof L{\"{o}}ding and P. Madhusudan and Lucas Pe{\~{n}}a}, title = {Foundations for natural proofs and quantifier instantiation}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{POPL}}, pages = {10:1--10:30}, year = {2018}, url = {https://doi.org/10.1145/3158098}, doi = {10.1145/3158098}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/LodingMP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/NeiderSM18, author = {Daniel Neider and Shambwaditya Saha and P. Madhusudan}, title = {Compositional Synthesis of Piece-Wise Functions by Learning Classifiers}, journal = {{ACM} Trans. Comput. Log.}, volume = {19}, number = {2}, pages = {10:1--10:23}, year = {2018}, url = {https://doi.org/10.1145/3173545}, doi = {10.1145/3173545}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/NeiderSM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/MadhusudanMS018, author = {P. Madhusudan and Umang Mathur and Shambwaditya Saha and Mahesh Viswanathan}, editor = {Dan R. Ghica and Achim Jung}, title = {A Decidable Fragment of Second Order Logic With Applications to Synthesis}, booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}}, series = {LIPIcs}, volume = {119}, pages = {31:1--31:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.CSL.2018.31}, doi = {10.4230/LIPICS.CSL.2018.31}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/MadhusudanMS018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/MadhusudanNRS18, author = {P. Madhusudan and Dirk Nowotka and Aayush Rajasekaran and Jeffrey O. Shallit}, editor = {Igor Potapov and Paul G. Spirakis and James Worrell}, title = {Lagrange's Theorem for Binary Squares}, booktitle = {43rd International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}}, series = {LIPIcs}, volume = {117}, pages = {18:1--18:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.18}, doi = {10.4230/LIPICS.MFCS.2018.18}, timestamp = {Mon, 09 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/MadhusudanNRS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/Neider0MS018, author = {Daniel Neider and Pranav Garg and P. Madhusudan and Shambwaditya Saha and Daejun Park}, editor = {Dirk Beyer and Marieke Huisman}, title = {Invariant Synthesis for Incomplete Verification Engines}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10805}, pages = {232--250}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89960-2\_13}, doi = {10.1007/978-3-319-89960-2\_13}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/Neider0MS018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1811-00192, author = {Umang Mathur and P. Madhusudan and Mahesh Viswanathan}, title = {Decidable Verification of Uninterpreted Programs}, journal = {CoRR}, volume = {abs/1811.00192}, year = {2018}, url = {http://arxiv.org/abs/1811.00192}, eprinttype = {arXiv}, eprint = {1811.00192}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-00192.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/Gyori0PM17, author = {Alex Gyori and Pranav Garg and Edgar Pek and P. Madhusudan}, title = {Efficient Incrementalized Runtime Checking of Linear Measures on Lists}, booktitle = {2017 {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017}, pages = {310--320}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICST.2017.35}, doi = {10.1109/ICST.2017.35}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/icst/Gyori0PM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-04247, author = {Parthasarathy Madhusudan and Dirk Nowotka and Aayush Rajasekaran and Jeffrey O. Shallit}, title = {Lagrange's Theorem for Binary Squares}, journal = {CoRR}, volume = {abs/1710.04247}, year = {2017}, url = {http://arxiv.org/abs/1710.04247}, eprinttype = {arXiv}, eprint = {1710.04247}, timestamp = {Mon, 09 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-04247.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-05513, author = {P. Madhusudan and Umang Mathur and Shambwaditya Saha and Mahesh Viswanathan}, title = {A Decidable Fragment of Second Order Logic With Applications to Synthesis}, journal = {CoRR}, volume = {abs/1712.05513}, year = {2017}, url = {http://arxiv.org/abs/1712.05513}, eprinttype = {arXiv}, eprint = {1712.05513}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-05513.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-05581, author = {Daniel Neider and Pranav Garg and P. Madhusudan and Shambwaditya Saha and Daejun Park}, title = {Invariant Synthesis for Incomplete Verification Engines}, journal = {CoRR}, volume = {abs/1712.05581}, year = {2017}, url = {http://arxiv.org/abs/1712.05581}, eprinttype = {arXiv}, eprint = {1712.05581}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-05581.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-09418, author = {Deepak D'Souza and P. Ezudheen and Pranav Garg and P. Madhusudan and Daniel Neider}, title = {Horn-ICE Learning for Synthesizing Invariants and Contracts}, journal = {CoRR}, volume = {abs/1712.09418}, year = {2017}, url = {http://arxiv.org/abs/1712.09418}, eprinttype = {arXiv}, eprint = {1712.09418}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-09418.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-10056, author = {Edgar Pek and Pranav Garg and Muntasir Raihan Rahman and Karl Palmskog and Indranil Gupta and P. Madhusudan}, title = {Inferring Formal Properties of Production Key-Value Stores}, journal = {CoRR}, volume = {abs/1712.10056}, year = {2017}, url = {http://arxiv.org/abs/1712.10056}, eprinttype = {arXiv}, eprint = {1712.10056}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-10056.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/0001NMR16, author = {Pranav Garg and Daniel Neider and P. Madhusudan and Dan Roth}, editor = {Rastislav Bod{\'{\i}}k and Rupak Majumdar}, title = {Learning invariants using decision trees and implication counterexamples}, booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016}, pages = {499--512}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2837614.2837664}, doi = {10.1145/2837614.2837664}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/0001NMR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/LodingMN16, author = {Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider}, editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin}, title = {Abstract Learning Frameworks for Synthesis}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9636}, pages = {167--185}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49674-9\_10}, doi = {10.1007/978-3-662-49674-9\_10}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/LodingMN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/NeiderSM16, author = {Daniel Neider and Shambwaditya Saha and P. Madhusudan}, editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin}, title = {Synthesizing Piece-Wise Functions by Learning Classifiers}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9636}, pages = {186--203}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49674-9\_11}, doi = {10.1007/978-3-662-49674-9\_11}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/NeiderSM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/CernyKM16, editor = {Pavol Cern{\'{y}} and Viktor Kuncak and Parthasarathy Madhusudan}, title = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco, CA, USA, 18th July 2015}, series = {{EPTCS}}, volume = {202}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.202}, doi = {10.4204/EPTCS.202}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CernyKM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/0001LMN15, author = {Pranav Garg and Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider}, title = {Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists}, journal = {Formal Methods Syst. Des.}, volume = {47}, number = {1}, pages = {120--157}, year = {2015}, url = {https://doi.org/10.1007/s10703-015-0231-6}, doi = {10.1007/S10703-015-0231-6}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/0001LMN15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Saha0M15, author = {Shambwaditya Saha and Pranav Garg and P. Madhusudan}, editor = {Daniel Kroening and Corina S. Pasareanu}, title = {Alchemist: Learning Guarded Affine Functions}, booktitle = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9206}, pages = {440--446}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21690-4\_26}, doi = {10.1007/978-3-319-21690-4\_26}, timestamp = {Fri, 27 Mar 2020 08:45:57 +0100}, biburl = {https://dblp.org/rec/conf/cav/Saha0M15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sosr/SahaPM15, author = {Shambwaditya Saha and Santhosh Prabhu and P. Madhusudan}, editor = {Jennifer Rexford and Amin Vahdat}, title = {NetGen: synthesizing data-plane configurations for network policies}, booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Symposium on Software Defined Networking Research, {SOSR} '15, Santa Clara, California, USA, June 17-18, 2015}, pages = {17:1--17:6}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2774993.2775006}, doi = {10.1145/2774993.2775006}, timestamp = {Tue, 06 Nov 2018 11:07:02 +0100}, biburl = {https://dblp.org/rec/conf/sosr/SahaPM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15, author = {Rajeev Alur and Rastislav Bod{\'{\i}}k and Eric Dallal and Dana Fisman and Pranav Garg and Garvit Juniwal and Hadas Kress{-}Gazit and P. Madhusudan and Milo M. K. Martin and Mukund Raghothaman and Shambwaditya Saha and Sanjit A. Seshia and Rishabh Singh and Armando Solar{-}Lezama and Emina Torlak and Abhishek Udupa}, editor = {Maximilian Irlbeck and Doron A. Peled and Alexander Pretschner}, title = {Syntax-Guided Synthesis}, booktitle = {Dependable Software Systems Engineering}, series = {{NATO} Science for Peace and Security Series, {D:} Information and Communication Security}, volume = {40}, pages = {1--25}, publisher = {{IOS} Press}, year = {2015}, url = {https://doi.org/10.3233/978-1-61499-495-4-1}, doi = {10.3233/978-1-61499-495-4-1}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LodingMN15, author = {Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider}, title = {Abstract Learning Frameworks for Synthesis}, journal = {CoRR}, volume = {abs/1507.05612}, year = {2015}, url = {http://arxiv.org/abs/1507.05612}, eprinttype = {arXiv}, eprint = {1507.05612}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LodingMN15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/UzunAVSFPM14, author = {Emre Uzun and Vijayalakshmi Atluri and Jaideep Vaidya and Shamik Sural and Anna Lisa Ferrara and Gennaro Parlato and P. Madhusudan}, title = {Security analysis for temporal role based access control}, journal = {J. Comput. Secur.}, volume = {22}, number = {6}, pages = {961--996}, year = {2014}, url = {https://doi.org/10.3233/JCS-140510}, doi = {10.3233/JCS-140510}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcs/UzunAVSFPM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/0001LMN14, author = {Pranav Garg and Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider}, editor = {Armin Biere and Roderick Bloem}, title = {{ICE:} {A} Robust Framework for Learning Invariants}, booktitle = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8559}, pages = {69--87}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08867-9\_5}, doi = {10.1007/978-3-319-08867-9\_5}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/0001LMN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FerraraMNP14, author = {Anna Lisa Ferrara and P. Madhusudan and Truc L. Nguyen and Gennaro Parlato}, editor = {Armin Biere and Roderick Bloem}, title = {Vac - Verifier of Administrative Role-Based Access Control Policies}, booktitle = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8559}, pages = {184--191}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08867-9\_12}, doi = {10.1007/978-3-319-08867-9\_12}, timestamp = {Wed, 03 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FerraraMNP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lats/CrossABCDKKMPRSST14, author = {Andrew Cross and Balasubramanyan Ashok and Srinath Bala and Edward Cutrell and Naren Datha and Rahul Kumar and Viraj Kumar and Parthasarathy Madhusudan and Siddharth Prakash and Sriram K. Rajamani and Satish Sangameswaran and Deepika Sharma and William Thies}, editor = {Mehran Sahami and Armando Fox and Marti A. Hearst and Michelene T. H. Chi}, title = {Online learning versus blended learning: an exploratory study}, booktitle = {First {(2014)} {ACM} Conference on Learning @ Scale, L@S 2014, Atlanta, GA, USA, March 4-5, 2014}, pages = {179--180}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2556325.2567869}, doi = {10.1145/2556325.2567869}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lats/CrossABCDKKMPRSST14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/Desai0M14, author = {Ankush Desai and Pranav Garg and P. Madhusudan}, editor = {Andrew P. Black and Todd D. Millstein}, title = {Natural proofs for asynchronous programs using almost-synchronous reductions}, booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014}, pages = {709--725}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2660193.2660211}, doi = {10.1145/2660193.2660211}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/Desai0M14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/PekM14, author = {Edgar Pek and P. Madhusudan}, editor = {Steven Arzt and Ra{\'{u}}l A. Santelices}, title = {Explicit and symbolic techniques for fast and scalable points-to analysis}, booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh, UK, Co-located with {PLDI} 2014, June 12, 2014}, pages = {4:1--4:6}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2614628.2614632}, doi = {10.1145/2614628.2614632}, timestamp = {Mon, 12 Jul 2021 15:34:15 +0200}, biburl = {https://dblp.org/rec/conf/pldi/PekM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/PekQM14, author = {Edgar Pek and Xiaokang Qiu and P. Madhusudan}, editor = {Michael F. P. O'Boyle and Keshav Pingali}, title = {Natural proofs for data structure manipulation in {C} using separation logic}, booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014}, pages = {440--451}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2594291.2594325}, doi = {10.1145/2594291.2594325}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/pldi/PekQM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BonnetCMV13, author = {R{\'{e}}mi Bonnet and Rohit Chadha and P. Madhusudan and Mahesh Viswanathan}, title = {Reachability under Contextual Locking}, journal = {Log. Methods Comput. Sci.}, volume = {9}, number = {3}, year = {2013}, url = {https://doi.org/10.2168/LMCS-9(3:21)2013}, doi = {10.2168/LMCS-9(3:21)2013}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BonnetCMV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asplos/MaiPXKM13, author = {Haohui Mai and Edgar Pek and Hui Xue and Samuel Talmadge King and Parthasarathy Madhusudan}, editor = {Vivek Sarkar and Rastislav Bod{\'{\i}}k}, title = {Verifying security invariants in ExpressOS}, booktitle = {Architectural Support for Programming Languages and Operating Systems, {ASPLOS} 2013, Houston, TX, USA, March 16-20, 2013}, pages = {293--304}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2451116.2451148}, doi = {10.1145/2451116.2451148}, timestamp = {Wed, 25 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asplos/MaiPXKM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/0001LMN13, author = {Pranav Garg and Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider}, editor = {Natasha Sharygina and Helmut Veith}, title = {Learning Universally Quantified Invariants of Linear Data Structures}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {813--829}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_57}, doi = {10.1007/978-3-642-39799-8\_57}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/0001LMN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/Qiu0SM13, author = {Xiaokang Qiu and Pranav Garg and Andrei Stefanescu and Parthasarathy Madhusudan}, editor = {Hans{-}Juergen Boehm and Cormac Flanagan}, title = {Natural proofs for structure, data, and separation}, booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} '13, Seattle, WA, USA, June 16-19, 2013}, pages = {231--242}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2491956.2462169}, doi = {10.1145/2491956.2462169}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/Qiu0SM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/0001MP13, author = {Pranav Garg and P. Madhusudan and Gennaro Parlato}, editor = {Francesco Logozzo and Manuel F{\"{a}}hndrich}, title = {Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists}, booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7935}, pages = {172--193}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38856-9\_11}, doi = {10.1007/978-3-642-38856-9\_11}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/0001MP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FerraraMP13, author = {Anna Lisa Ferrara and P. Madhusudan and Gennaro Parlato}, editor = {Nir Piterman and Scott A. Smolka}, title = {Policy Analysis for Self-administrated Role-Based Access Control}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, {TACAS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7795}, pages = {432--447}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36742-7\_30}, doi = {10.1007/978-3-642-36742-7\_30}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FerraraMP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1302-2273, author = {Pranav Garg and Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider}, title = {Learning Universally Quantified Invariants of Linear Data Structures}, journal = {CoRR}, volume = {abs/1302.2273}, year = {2013}, url = {http://arxiv.org/abs/1302.2273}, eprinttype = {arXiv}, eprint = {1302.2273}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1302-2273.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1304-0660, author = {Pranav Garg and P. Madhusudan and Gennaro Parlato}, title = {Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists}, journal = {CoRR}, volume = {abs/1304.0660}, year = {2013}, url = {http://arxiv.org/abs/1304.0660}, eprinttype = {arXiv}, eprint = {1304.0660}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1304-0660.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/FerraraMP12, author = {Anna Lisa Ferrara and P. Madhusudan and Gennaro Parlato}, editor = {Stephen Chong}, title = {Security Analysis of Role-Based Access Control through Program Verification}, booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge, MA, USA, June 25-27, 2012}, pages = {113--125}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/CSF.2012.28}, doi = {10.1109/CSF.2012.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/FerraraMP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Madhusudan12, author = {Parthasarathy Madhusudan}, editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan}, title = {Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures}, booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012, Hyderabad, India}, series = {LIPIcs}, volume = {18}, pages = {34--35}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2012}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.34}, doi = {10.4230/LIPICS.FSTTCS.2012.34}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/Madhusudan12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/MadhusudanQS12, author = {Parthasarathy Madhusudan and Xiaokang Qiu and Andrei Stefanescu}, editor = {John Field and Michael Hicks}, title = {Recursive proofs for inductive tree data-structures}, booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012}, pages = {123--136}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2103656.2103673}, doi = {10.1145/2103656.2103673}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/MadhusudanQS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sacmat/UzunASVPFM12, author = {Emre Uzun and Vijayalakshmi Atluri and Shamik Sural and Jaideep Vaidya and Gennaro Parlato and Anna Lisa Ferrara and Parthasarathy Madhusudan}, editor = {Vijay Atluri and Jaideep Vaidya and Axel Kern and Murat Kantarcioglu}, title = {Analyzing temporal role based access control models}, booktitle = {17th {ACM} Symposium on Access Control Models and Technologies, {SACMAT} '12, Newark, NJ, {USA} - June 20 - 22, 2012}, pages = {177--186}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2295136.2295169}, doi = {10.1145/2295136.2295169}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sacmat/UzunASVPFM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/FarzanMRS12, author = {Azadeh Farzan and P. Madhusudan and Niloofar Razavi and Francesco Sorrentino}, editor = {Will Tracz and Martin P. Robillard and Tevfik Bultan}, title = {Predicting null-pointer dereferences in concurrent programs}, booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012}, pages = {47}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2393596.2393651}, doi = {10.1145/2393596.2393651}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/FarzanMRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChadhaMV12, author = {Rohit Chadha and P. Madhusudan and Mahesh Viswanathan}, editor = {Cormac Flanagan and Barbara K{\"{o}}nig}, title = {Reachability under Contextual Locking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, {TACAS} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7214}, pages = {437--450}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28756-5\_30}, doi = {10.1007/978-3-642-28756-5\_30}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ChadhaMV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1207-4271, author = {Salvatore La Torre and P. Madhusudan and Gennaro Parlato}, editor = {Sebastian S. Bauer and Jean{-}Baptiste Raclet}, title = {Sequentializing Parameterized Programs}, booktitle = {Proceedings Fourth Workshop on Foundations of Interface Technologies, {FIT} 2012, Tallinn, Estonia, 25th March 2012}, series = {{EPTCS}}, volume = {87}, pages = {34--47}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.87.4}, doi = {10.4204/EPTCS.87.4}, timestamp = {Wed, 12 Sep 2018 01:05:14 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1207-4271.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2012, editor = {P. Madhusudan and Sanjit A. Seshia}, title = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7358}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31424-7}, doi = {10.1007/978-3-642-31424-7}, isbn = {978-3-642-31423-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/BandhakaviTPKMW11, author = {Sruthi Bandhakavi and Nandit Tiku and Wyatt Pittman and Samuel T. King and P. Madhusudan and Marianne Winslett}, title = {Vetting browser extensions for security vulnerabilities with {VEX}}, journal = {Commun. {ACM}}, volume = {54}, number = {9}, pages = {91--99}, year = {2011}, url = {https://doi.org/10.1145/1995376.1995398}, doi = {10.1145/1995376.1995398}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cacm/BandhakaviTPKMW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/AlurCM11, author = {Rajeev Alur and Swarat Chaudhuri and P. Madhusudan}, title = {Software model checking using languages of nested trees}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {33}, number = {5}, pages = {15:1--15:45}, year = {2011}, url = {https://doi.org/10.1145/2039346.2039347}, doi = {10.1145/2039346.2039347}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/AlurCM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Madhusudan11, author = {Parthasarathy Madhusudan}, editor = {Marc Bezem}, title = {Synthesizing Reactive Programs}, booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen, Norway, Proceedings}, series = {LIPIcs}, volume = {12}, pages = {428--442}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2011}, url = {https://doi.org/10.4230/LIPIcs.CSL.2011.428}, doi = {10.4230/LIPICS.CSL.2011.428}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/csl/Madhusudan11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/MadhusudanP11, author = {P. Madhusudan and Gennaro Parlato}, editor = {Thomas Ball and Mooly Sagiv}, title = {The tree width of auxiliary storage}, booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28, 2011}, pages = {283--294}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1926385.1926419}, doi = {10.1145/1926385.1926419}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/MadhusudanP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/MadhusudanPQ11, author = {P. Madhusudan and Gennaro Parlato and Xiaokang Qiu}, editor = {Thomas Ball and Mooly Sagiv}, title = {Decidable logics combining heap structures and data}, booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28, 2011}, pages = {611--622}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1926385.1926455}, doi = {10.1145/1926385.1926455}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/MadhusudanPQ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/KarmaniMM11, author = {Rajesh K. Karmani and P. Madhusudan and Brandon M. Moore}, editor = {Calin Cascaval and Pen{-}Chung Yew}, title = {Thread contracts for safe parallelism}, booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA, February 12-16, 2011}, pages = {125--134}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1941553.1941573}, doi = {10.1145/1941553.1941573}, timestamp = {Sun, 12 Jun 2022 19:46:08 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/KarmaniMM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/MadhusudanQ11, author = {P. Madhusudan and Xiaokang Qiu}, editor = {Eran Yahav}, title = {Efficient Decision Procedures for Heaps Using {STRAND}}, booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice, Italy, September 14-16, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6887}, pages = {43--59}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23702-7\_8}, doi = {10.1007/978-3-642-23702-7\_8}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/MadhusudanQ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/GargM11, author = {Pranav Garg and P. Madhusudan}, editor = {Parosh Aziz Abdulla and K. Rustan M. Leino}, title = {Compositionality Entails Sequentializability}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, {TACAS} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6605}, pages = {26--40}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19835-9\_4}, doi = {10.1007/978-3-642-19835-9\_4}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/GargM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tissec/BishtMV10, author = {Prithvi Bisht and Parthasarathy Madhusudan and V. N. Venkatakrishnan}, title = {{CANDID:} Dynamic candidate evaluations for automatic prevention of {SQL} injection attacks}, journal = {{ACM} Trans. Inf. Syst. Secur.}, volume = {13}, number = {2}, pages = {14:1--14:39}, year = {2010}, url = {https://doi.org/10.1145/1698750.1698754}, doi = {10.1145/1698750.1698754}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tissec/BishtMV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/TorreMP10, author = {Salvatore La Torre and P. Madhusudan and Gennaro Parlato}, editor = {Tayssir Touili and Byron Cook and Paul B. Jackson}, title = {Model-Checking Parameterized Concurrent Programs Using Linear Interfaces}, booktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6174}, pages = {629--644}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14295-6\_54}, doi = {10.1007/978-3-642-14295-6\_54}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/TorreMP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/latin/TorreMP10, author = {Salvatore La Torre and Parthasarathy Madhusudan and Gennaro Parlato}, editor = {Alejandro L{\'{o}}pez{-}Ortiz}, title = {The Language Theory of Bounded Context-Switching}, booktitle = {{LATIN} 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6034}, pages = {96--107}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12200-2\_10}, doi = {10.1007/978-3-642-12200-2\_10}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/latin/TorreMP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/SorrentinoFM10, author = {Francesco Sorrentino and Azadeh Farzan and P. Madhusudan}, editor = {Gruia{-}Catalin Roman and Andr{\'{e}} van der Hoek}, title = {{PENELOPE:} weaving threads to expose atomicity violations}, booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010}, pages = {37--46}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1882291.1882300}, doi = {10.1145/1882291.1882300}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/SorrentinoFM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/BandhakaviKMW10, author = {Sruthi Bandhakavi and Samuel T. King and P. Madhusudan and Marianne Winslett}, title = {{VEX:} Vetting Browser Extensions for Security Vulnerabilities}, booktitle = {19th {USENIX} Security Symposium, Washington, DC, USA, August 11-13, 2010, Proceedings}, pages = {339--354}, publisher = {{USENIX} Association}, year = {2010}, url = {http://www.usenix.org/events/sec10/tech/full\_papers/Bandhakavi.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/uss/BandhakaviKMW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/AlurM09, author = {Rajeev Alur and P. Madhusudan}, title = {Adding nesting structure to words}, journal = {J. {ACM}}, volume = {56}, number = {3}, pages = {16:1--16:43}, year = {2009}, url = {https://doi.org/10.1145/1516512.1516518}, doi = {10.1145/1516512.1516518}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/AlurM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanMS09, author = {Azadeh Farzan and P. Madhusudan and Francesco Sorrentino}, editor = {Ahmed Bouajjani and Oded Maler}, title = {Meta-analysis for Atomicity Violations under Nested Locking}, booktitle = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5643}, pages = {248--262}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02658-4\_21}, doi = {10.1007/978-3-642-02658-4\_21}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/FarzanMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/TorreMP09, author = {Salvatore La Torre and P. Madhusudan and Gennaro Parlato}, editor = {Ahmed Bouajjani and Oded Maler}, title = {Reducing Context-Bounded Concurrent Reachability to Sequential Reachability}, booktitle = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5643}, pages = {477--492}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02658-4\_36}, doi = {10.1007/978-3-642-02658-4\_36}, timestamp = {Wed, 03 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/TorreMP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/MadhusudanV09, author = {P. Madhusudan and Mahesh Viswanathan}, editor = {Rastislav Kr{\'{a}}lovic and Damian Niwinski}, title = {Query Automata for Nested Words}, booktitle = {Mathematical Foundations of Computer Science 2009, 34th International Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5734}, pages = {561--573}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03816-7\_48}, doi = {10.1007/978-3-642-03816-7\_48}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/MadhusudanV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/TorreMP09, author = {Salvatore La Torre and Parthasarathy Madhusudan and Gennaro Parlato}, editor = {Michael Hind and Amer Diwan}, title = {Analyzing recursive programs using a fixed-point calculus}, booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2009, Dublin, Ireland, June 15-21, 2009}, pages = {211--222}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1542476.1542500}, doi = {10.1145/1542476.1542500}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/pldi/TorreMP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FarzanM09, author = {Azadeh Farzan and P. Madhusudan}, editor = {Stefan Kowalewski and Anna Philippou}, title = {The Complexity of Predicting Atomicity Violations}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, {TACAS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5505}, pages = {155--169}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00768-2\_14}, doi = {10.1007/978-3-642-00768-2\_14}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FarzanM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/NamMA08, author = {Wonhong Nam and P. Madhusudan and Rajeev Alur}, title = {Automatic symbolic compositional verification by learning assumptions}, journal = {Formal Methods Syst. Des.}, volume = {32}, number = {3}, pages = {207--234}, year = {2008}, url = {https://doi.org/10.1007/s10703-008-0055-8}, doi = {10.1007/S10703-008-0055-8}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/NamMA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanM08, author = {Azadeh Farzan and P. Madhusudan}, editor = {Aarti Gupta and Sharad Malik}, title = {Monitoring Atomicity in Concurrent Programs}, booktitle = {Computer Aided Verification, 20th International Conference, {CAV} 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5123}, pages = {52--65}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70545-1\_8}, doi = {10.1007/978-3-540-70545-1\_8}, timestamp = {Sat, 30 Sep 2023 09:35:55 +0200}, biburl = {https://dblp.org/rec/conf/cav/FarzanM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/OlsonGM08, author = {Lars E. Olson and Carl A. Gunter and P. Madhusudan}, editor = {Peng Ning and Paul F. Syverson and Somesh Jha}, title = {A formal framework for reflective database access control policies}, booktitle = {Proceedings of the 2008 {ACM} Conference on Computer and Communications Security, {CCS} 2008, Alexandria, Virginia, USA, October 27-31, 2008}, pages = {289--298}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1455770.1455808}, doi = {10.1145/1455770.1455808}, timestamp = {Tue, 10 Nov 2020 19:59:27 +0100}, biburl = {https://dblp.org/rec/conf/ccs/OlsonGM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/TorreMP08, author = {Salvatore La Torre and P. Madhusudan and Gennaro Parlato}, editor = {Michael Kaminski and Simone Martini}, title = {An Infinite Automaton Characterization of Double Exponential Time}, booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5213}, pages = {33--48}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87531-4\_5}, doi = {10.1007/978-3-540-87531-4\_5}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/TorreMP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/TorreMP08, author = {Salvatore La Torre and P. Madhusudan and Gennaro Parlato}, editor = {C. R. Ramakrishnan and Jakob Rehof}, title = {Context-Bounded Analysis of Concurrent Queue Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4963}, pages = {299--314}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78800-3\_21}, doi = {10.1007/978-3-540-78800-3\_21}, timestamp = {Mon, 03 Apr 2023 17:23:33 +0200}, biburl = {https://dblp.org/rec/conf/tacas/TorreMP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/BandhakaviBMV07, author = {Sruthi Bandhakavi and Prithvi Bisht and P. Madhusudan and V. N. Venkatakrishnan}, editor = {Peng Ning and Sabrina De Capitani di Vimercati and Paul F. Syverson}, title = {{CANDID:} preventing sql injection attacks using dynamic candidate evaluations}, booktitle = {Proceedings of the 2007 {ACM} Conference on Computer and Communications Security, {CCS} 2007, Alexandria, Virginia, USA, October 28-31, 2007}, pages = {12--24}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1315245.1315249}, doi = {10.1145/1315245.1315249}, timestamp = {Tue, 10 Nov 2020 20:00:14 +0100}, biburl = {https://dblp.org/rec/conf/ccs/BandhakaviBMV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/TorreMP07, author = {Salvatore La Torre and Parthasarathy Madhusudan and Gennaro Parlato}, title = {A Robust Class of Context-Sensitive Languages}, booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings}, pages = {161--170}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/LICS.2007.9}, doi = {10.1109/LICS.2007.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/TorreMP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FarzanM07, author = {Azadeh Farzan and P. Madhusudan}, editor = {Orna Grumberg and Michael Huth}, title = {Causal Dataflow Analysis for Concurrent Programs}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, {TACAS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4424}, pages = {102--116}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71209-1\_10}, doi = {10.1007/978-3-540-71209-1\_10}, timestamp = {Mon, 11 Sep 2023 15:43:49 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FarzanM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/Madhusudan07, author = {P. Madhusudan}, editor = {Byron Cook and Andreas Podelski}, title = {Learning Algorithms and Formal Verification (Invited Tutorial)}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4349}, pages = {214}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69738-1\_15}, doi = {10.1007/978-3-540-69738-1\_15}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/Madhusudan07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/KumarMV07, author = {Viraj Kumar and P. Madhusudan and Mahesh Viswanathan}, editor = {Carey L. Williamson and Mary Ellen Zurko and Peter F. Patel{-}Schneider and Prashant J. Shenoy}, title = {Visibly pushdown automata for streaming {XML}}, booktitle = {Proceedings of the 16th International Conference on World Wide Web, {WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007}, pages = {1053--1062}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1242572.1242714}, doi = {10.1145/1242572.1242714}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/www/KumarMV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AlurTM06, author = {Rajeev Alur and Salvatore La Torre and P. Madhusudan}, title = {Modular strategies for recursive game graphs}, journal = {Theor. Comput. Sci.}, volume = {354}, number = {2}, pages = {230--249}, year = {2006}, url = {https://doi.org/10.1016/j.tcs.2005.11.017}, doi = {10.1016/J.TCS.2005.11.017}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AlurTM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanM06, author = {Azadeh Farzan and P. Madhusudan}, editor = {Thomas Ball and Robert B. Jones}, title = {Causal Atomicity}, booktitle = {Computer Aided Verification, 18th International Conference, {CAV} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4144}, pages = {315--328}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11817963\_30}, doi = {10.1007/11817963\_30}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/FarzanM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/AlurCM06, author = {Rajeev Alur and Swarat Chaudhuri and P. Madhusudan}, editor = {Thomas Ball and Robert B. Jones}, title = {Languages of Nested Trees}, booktitle = {Computer Aided Verification, 18th International Conference, {CAV} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4144}, pages = {329--342}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11817963\_31}, doi = {10.1007/11817963\_31}, timestamp = {Wed, 03 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/AlurCM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KumarMV06, author = {Viraj Kumar and P. Madhusudan and Mahesh Viswanathan}, editor = {Christel Baier and Holger Hermanns}, title = {Minimization, Learning, and Conformance Testing of Boolean Programs}, booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference, {CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4137}, pages = {203--217}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11817949\_14}, doi = {10.1007/11817949\_14}, timestamp = {Sat, 30 Sep 2023 09:37:42 +0200}, biburl = {https://dblp.org/rec/conf/concur/KumarMV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt/AlurM06, author = {Rajeev Alur and P. Madhusudan}, editor = {Oscar H. Ibarra and Zhe Dang}, title = {Adding Nesting Structure to Words}, booktitle = {Developments in Language Theory, 10th International Conference, {DLT} 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4036}, pages = {1--13}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11779148\_1}, doi = {10.1007/11779148\_1}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/dlt/AlurM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AlurCM06, author = {Rajeev Alur and Swarat Chaudhuri and P. Madhusudan}, editor = {J. Gregory Morrisett and Simon L. Peyton Jones}, title = {A fixpoint calculus for local and global program flows}, booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2006, Charleston, South Carolina, USA, January 11-13, 2006}, pages = {153--165}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1111037.1111051}, doi = {10.1145/1111037.1111051}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/popl/AlurCM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/AlurMN05, author = {Rajeev Alur and P. Madhusudan and Wonhong Nam}, title = {Symbolic computational techniques for solving games}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {7}, number = {2}, pages = {118--128}, year = {2005}, url = {https://doi.org/10.1007/s10009-004-0179-0}, doi = {10.1007/S10009-004-0179-0}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/AlurMN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/AlurMN05, author = {Rajeev Alur and P. Madhusudan and Wonhong Nam}, editor = {Kousha Etessami and Sriram K. Rajamani}, title = {Symbolic Compositional Verification by Learning Assumptions}, booktitle = {Computer Aided Verification, 17th International Conference, {CAV} 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3576}, pages = {548--562}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11513988\_52}, doi = {10.1007/11513988\_52}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/AlurMN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/MadhusudanTY05, author = {P. Madhusudan and P. S. Thiagarajan and Shaofa Yang}, editor = {Ramaswamy Ramanujam and Sandeep Sen}, title = {The {MSO} Theory of Connectedly Communicating Processes}, booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3821}, pages = {201--212}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11590156\_16}, doi = {10.1007/11590156\_16}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/MadhusudanTY05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AlurTM05, author = {Rajeev Alur and Salvatore La Torre and P. Madhusudan}, editor = {Manfred Morari and Lothar Thiele}, title = {Perturbed Timed Automata}, booktitle = {Hybrid Systems: Computation and Control, 8th International Workshop, {HSCC} 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3414}, pages = {70--85}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31954-2\_5}, doi = {10.1007/978-3-540-31954-2\_5}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/AlurTM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AlurKMV05, author = {Rajeev Alur and Viraj Kumar and P. Madhusudan and Mahesh Viswanathan}, editor = {Lu{\'{\i}}s Caires and Giuseppe F. Italiano and Lu{\'{\i}}s Monteiro and Catuscia Palamidessi and Moti Yung}, title = {Congruences for Visibly Pushdown Languages}, booktitle = {Automata, Languages and Programming, 32nd International Colloquium, {ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3580}, pages = {1102--1114}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11523468\_89}, doi = {10.1007/11523468\_89}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AlurKMV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AlurCMN05, author = {Rajeev Alur and Pavol Cern{\'{y}} and P. Madhusudan and Wonhong Nam}, editor = {Jens Palsberg and Mart{\'{\i}}n Abadi}, title = {Synthesis of interface specifications for Java classes}, booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2005, Long Beach, California, USA, January 12-14, 2005}, pages = {98--109}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1040305.1040314}, doi = {10.1145/1040305.1040314}, timestamp = {Sat, 31 Jul 2021 17:22:14 +0200}, biburl = {https://dblp.org/rec/conf/popl/AlurCMN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/AlurCEM05, author = {Rajeev Alur and Swarat Chaudhuri and Kousha Etessami and P. Madhusudan}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {On-the-Fly Reachability and Cycle Detection for Recursive State Machines}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {61--76}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_5}, doi = {10.1007/978-3-540-31980-1\_5}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/AlurCEM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/LodingMS04, author = {Christof L{\"{o}}ding and P. Madhusudan and Olivier Serre}, editor = {Kamal Lodaya and Meena Mahajan}, title = {Visibly Pushdown Games}, booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3328}, pages = {408--420}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30538-5\_34}, doi = {10.1007/978-3-540-30538-5\_34}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/LodingMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AlurBM04, author = {Rajeev Alur and Mikhail Bernadsky and P. Madhusudan}, editor = {Josep D{\'{\i}}az and Juhani Karhum{\"{a}}ki and Arto Lepist{\"{o}} and Donald Sannella}, title = {Optimal Reachability for Weighted Timed Games}, booktitle = {Automata, Languages and Programming: 31st International Colloquium, {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3142}, pages = {122--133}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27836-8\_13}, doi = {10.1007/978-3-540-27836-8\_13}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AlurBM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfm/AlurM04, author = {Rajeev Alur and P. Madhusudan}, editor = {Marco Bernardo and Flavio Corradini}, title = {Decision Problems for Timed Automata: {A} Survey}, booktitle = {Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3185}, pages = {1--24}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30080-9\_1}, doi = {10.1007/978-3-540-30080-9\_1}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/sfm/AlurM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/AlurM04, author = {Rajeev Alur and P. Madhusudan}, editor = {L{\'{a}}szl{\'{o}} Babai}, title = {Visibly pushdown languages}, booktitle = {Proceedings of the 36th Annual {ACM} Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004}, pages = {202--211}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1007352.1007390}, doi = {10.1145/1007352.1007390}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/AlurM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/AlurEM04, author = {Rajeev Alur and Kousha Etessami and P. Madhusudan}, editor = {Kurt Jensen and Andreas Podelski}, title = {A Temporal Logic of Nested Calls and Returns}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, {TACAS} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2988}, pages = {467--481}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24730-2\_35}, doi = {10.1007/978-3-540-24730-2\_35}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/AlurEM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/AlurTM03, author = {Rajeev Alur and Salvatore La Torre and P. Madhusudan}, editor = {Warren A. Hunt Jr. and Fabio Somenzi}, title = {Modular Strategies for Infinite Games on Recursive Graphs}, booktitle = {Computer Aided Verification, 15th International Conference, {CAV} 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2725}, pages = {67--79}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45069-6\_6}, doi = {10.1007/978-3-540-45069-6\_6}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/AlurTM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BouyerDMP03, author = {Patricia Bouyer and Deepak D'Souza and P. Madhusudan and Antoine Petit}, editor = {Warren A. Hunt Jr. and Fabio Somenzi}, title = {Timed Control with Partial Observability}, booktitle = {Computer Aided Verification, 15th International Conference, {CAV} 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2725}, pages = {180--192}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45069-6\_18}, doi = {10.1007/978-3-540-45069-6\_18}, timestamp = {Thu, 14 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/BouyerDMP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/AlurTM03, author = {Rajeev Alur and Salvatore La Torre and P. Madhusudan}, editor = {Roberto M. Amadio and Denis Lugiez}, title = {Playing Games with Boxes and Diamonds}, booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2761}, pages = {127--141}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45187-7\_8}, doi = {10.1007/978-3-540-45187-7\_8}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/AlurTM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Madhusudan03, author = {P. Madhusudan}, title = {Model-checking Trace Event Structures}, booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003), 22-25 June 2003, Ottawa, Canada, Proceedings}, pages = {371--380}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/LICS.2003.1210077}, doi = {10.1109/LICS.2003.1210077}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Madhusudan03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/AlurTM03, author = {Rajeev Alur and Salvatore La Torre and P. Madhusudan}, editor = {Hubert Garavel and John Hatcliff}, title = {Modular Strategies for Recursive Game Graphs}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, {TACAS} 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2619}, pages = {363--378}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36577-X\_26}, doi = {10.1007/3-540-36577-X\_26}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/AlurTM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MadhusudanNA03, author = {P. Madhusudan and Wonhong Nam and Rajeev Alur}, editor = {Ofer Strichman and Armin Biere}, title = {Symbolic computational techniques for solving games}, booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003, Boulder, Colorado, USA, July 13, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {89}, number = {4}, pages = {578--592}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(05)82544-7}, doi = {10.1016/S1571-0661(05)82544-7}, timestamp = {Tue, 13 Dec 2022 11:40:46 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MadhusudanNA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MadhusudanT02, author = {P. Madhusudan and P. S. Thiagarajan}, title = {Branching time controllers for discrete event systems}, journal = {Theor. Comput. Sci.}, volume = {274}, number = {1-2}, pages = {117--149}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(00)00307-8}, doi = {10.1016/S0304-3975(00)00307-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MadhusudanT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MadhusudanT02, author = {P. Madhusudan and P. S. Thiagarajan}, editor = {Lubos Brim and Petr Jancar and Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and Anton{\'{\i}}n Kucera}, title = {A Decidable Class of Asynchronous Distributed Controllers}, booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2421}, pages = {145--160}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45694-5\_11}, doi = {10.1007/3-540-45694-5\_11}, timestamp = {Fri, 30 Aug 2019 10:02:28 +0200}, biburl = {https://dblp.org/rec/conf/concur/MadhusudanT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/LeuckerMM02, author = {Martin Leucker and P. Madhusudan and Supratik Mukhopadhyay}, editor = {Manindra Agrawal and Anil Seth}, title = {Dynamic Message Sequence Charts}, booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2556}, pages = {253--264}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36206-1\_23}, doi = {10.1007/3-540-36206-1\_23}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/LeuckerMM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/DSouzaM02, author = {Deepak D'Souza and P. Madhusudan}, editor = {Helmut Alt and Afonso Ferreira}, title = {Timed Control Synthesis for External Specifications}, booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2285}, pages = {571--582}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45841-7\_47}, doi = {10.1007/3-540-45841-7\_47}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/DSouzaM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/MadhusudanM01, author = {P. Madhusudan and B. Meenakshi}, editor = {Ramesh Hariharan and Madhavan Mukund and V. Vinay}, title = {Beyond Message Sequence Graphs}, booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2245}, pages = {256--267}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45294-X\_22}, doi = {10.1007/3-540-45294-X\_22}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/MadhusudanM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/MadhusudanT01, author = {P. Madhusudan and P. S. Thiagarajan}, editor = {Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen}, title = {Distributed Controller Synthesis for Local Specifications}, booktitle = {Automata, Languages and Programming, 28th International Colloquium, {ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2076}, pages = {396--407}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48224-5\_33}, doi = {10.1007/3-540-48224-5\_33}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/MadhusudanT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Madhusudan01, author = {P. Madhusudan}, editor = {Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen}, title = {Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs}, booktitle = {Automata, Languages and Programming, 28th International Colloquium, {ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2076}, pages = {809--820}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48224-5\_66}, doi = {10.1007/3-540-48224-5\_66}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Madhusudan01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KupfermanMTV00, author = {Orna Kupferman and P. Madhusudan and P. S. Thiagarajan and Moshe Y. Vardi}, editor = {Catuscia Palamidessi}, title = {Open Systems in Reactive Environments: Control and Synthesis}, booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1877}, pages = {92--107}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44618-4\_9}, doi = {10.1007/3-540-44618-4\_9}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/KupfermanMTV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MadhusudanT98, author = {P. Madhusudan and P. S. Thiagarajan}, editor = {Davide Sangiorgi and Robert de Simone}, title = {Controllers for Discrete Event Systems via Morphisms}, booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1466}, pages = {18--33}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055613}, doi = {10.1007/BFB0055613}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/MadhusudanT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.