BibTeX records: P. Madhusudan

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics