Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Anindya Banerjee 0001
@article{DBLP:journals/pacmpl/Bagnall0023,
author = {Alexander Bagnall and
Gordon Stewart and
Anindya Banerjee},
title = {Formally Verified Samplers from Probabilistic Programs with Loops
and Conditioning},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1--24},
year = {2023},
url = {https://doi.org/10.1145/3591220},
doi = {10.1145/3591220},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Bagnall0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NagasamudramBN23,
author = {Ramana Nagasamudram and
Anindya Banerjee and
David A. Naumann},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {The WhyRel Prototype for Modular Relational Verification of Pointer
Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {133--151},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_11},
doi = {10.1007/978-3-031-30820-8\_11},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/NagasamudramBN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-09802,
author = {Alexander Bagnall and
Gordon Stewart and
Anindya Banerjee},
title = {Inductive Reasoning for Coinductive Types},
journal = {CoRR},
volume = {abs/2301.09802},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.09802},
doi = {10.48550/ARXIV.2301.09802},
eprinttype = {arXiv},
eprint = {2301.09802},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-09802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14314,
author = {Ramana Nagasamudram and
Anindya Banerjee and
David A. Naumann},
title = {The WhyRel Prototype for Relational Verification},
journal = {CoRR},
volume = {abs/2303.14314},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14314},
doi = {10.48550/ARXIV.2303.14314},
eprinttype = {arXiv},
eprint = {2303.14314},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10045,
author = {Ramana Nagasamudram and
Anindya Banerjee and
David A. Naumann},
title = {Alignment complete relational Hoare logics for some and all},
journal = {CoRR},
volume = {abs/2307.10045},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10045},
doi = {10.48550/ARXIV.2307.10045},
eprinttype = {arXiv},
eprint = {2307.10045},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BanerjeeNNN22,
author = {Anindya Banerjee and
Ramana Nagasamudram and
David A. Naumann and
Mohammad Nikouei},
title = {A Relational Program Logic with Data Abstraction and Dynamic Framing},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {44},
number = {4},
pages = {25:1--25:136},
year = {2022},
url = {https://doi.org/10.1145/3551497},
doi = {10.1145/3551497},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BanerjeeNNN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-06747,
author = {Alexander Bagnall and
Gordon Stewart and
Anindya Banerjee},
title = {Formally Verified Samplers From Probabilistic Programs With Loops
and Conditioning},
journal = {CoRR},
volume = {abs/2211.06747},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.06747},
doi = {10.48550/ARXIV.2211.06747},
eprinttype = {arXiv},
eprint = {2211.06747},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-06747.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-10338,
author = {Anindya Banerjee and
Ramana Nagasamudram and
David A. Naumann},
title = {Making Relational Hoare Logic Alignment Complete},
journal = {CoRR},
volume = {abs/2212.10338},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.10338},
doi = {10.48550/ARXIV.2212.10338},
eprinttype = {arXiv},
eprint = {2212.10338},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-10338.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/BanerjeeBBMCSMP21,
author = {Anindya Banerjee and
Sankar Basu and
Erik Brunvand and
Pinaki Mazumder and
Rance Cleaveland and
Gurdip Singh and
Margaret Martonosi and
Fernanda Pembleton},
title = {Navigating the Seismic Shift of Post-Moore Computer Systems Design},
journal = {{IEEE} Micro},
volume = {41},
number = {6},
pages = {162--167},
year = {2021},
url = {https://doi.org/10.1109/MM.2021.3114899},
doi = {10.1109/MM.2021.3114899},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/micro/BanerjeeBBMCSMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FarkaN0DF21,
author = {Frantisek Farka and
Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ignacio F{\'{a}}bregas},
title = {On algebraic abstractions for concurrent separation logics},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--32},
year = {2021},
url = {https://doi.org/10.1145/3434286},
doi = {10.1145/3434286},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FarkaN0DF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/TassarottiV0T21,
author = {Joseph Tassarotti and
Koundinya Vajjha and
Anindya Banerjee and
Jean{-}Baptiste Tristan},
editor = {Catalin Hritcu and
Andrei Popescu},
title = {A formal proof of {PAC} learnability for decision stumps},
booktitle = {{CPP} '21: 10th {ACM} {SIGPLAN} International Conference on Certified
Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021},
pages = {5--17},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3437992.3439917},
doi = {10.1145/3437992.3439917},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/TassarottiV0T21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AmtoftB20,
author = {Torben Amtoft and
Anindya Banerjee},
title = {A Theory of Slicing for Imperative Probabilistic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {2},
pages = {6:1--6:71},
year = {2020},
url = {https://doi.org/10.1145/3372895},
doi = {10.1145/3372895},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AmtoftB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06776,
author = {Jean{-}Baptiste Tristan and
Joseph Tassarotti and
Koundinya Vajjha and
Michael L. Wick and
Anindya Banerjee},
title = {Verification of {ML} Systems via Reparameterization},
journal = {CoRR},
volume = {abs/2007.06776},
year = {2020},
url = {https://arxiv.org/abs/2007.06776},
eprinttype = {arXiv},
eprint = {2007.06776},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-12686,
author = {Frantisek Farka and
Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ignacio F{\'{a}}bregas},
title = {On Algebraic Abstractions for Concurrent Separation Logics},
journal = {CoRR},
volume = {abs/2010.12686},
year = {2020},
url = {https://arxiv.org/abs/2010.12686},
eprinttype = {arXiv},
eprint = {2010.12686},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-12686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Nanevski0DF19,
author = {Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ignacio F{\'{a}}bregas},
title = {Specifying concurrent programs in separation logic: morphisms and
simulations},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {161:1--161:30},
year = {2019},
url = {https://doi.org/10.1145/3360587},
doi = {10.1145/3360587},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Nanevski0DF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07136,
author = {Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ignacio F{\'{a}}bregas},
title = {Specifying Concurrent Programs in Separation Logic: Morphisms and
Simulations},
journal = {CoRR},
volume = {abs/1904.07136},
year = {2019},
url = {http://arxiv.org/abs/1904.07136},
eprinttype = {arXiv},
eprint = {1904.07136},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-14560,
author = {Anindya Banerjee and
Ramana Nagasamudram and
David A. Naumann and
Mohammad Nikouei},
title = {Data Abstraction and Relational Program Logic},
journal = {CoRR},
volume = {abs/1910.14560},
year = {2019},
url = {http://arxiv.org/abs/1910.14560},
eprinttype = {arXiv},
eprint = {1910.14560},
timestamp = {Fri, 22 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-14560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BanerjeeNN18,
author = {Anindya Banerjee and
David A. Naumann and
Mohammad Nikouei},
title = {A Logical Analysis of Framing for Specifications with Pure Method
Calls},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {40},
number = {2},
pages = {6:1--6:90},
year = {2018},
url = {https://doi.org/10.1145/3174801},
doi = {10.1145/3174801},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BanerjeeNN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DelbiancoSNB17,
author = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
title = {Concurrent Data Structures Linked in Time (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {04:1--04:4},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.4},
doi = {10.4230/DARTS.3.2.4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DelbiancoSNB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DelbiancoSNB17,
author = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
editor = {Peter M{\"{u}}ller},
title = {Concurrent Data Structures Linked in Time},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {8:1--8:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.8},
doi = {10.4230/LIPICS.ECOOP.2017.8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DelbiancoSNB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-07741,
author = {Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco},
title = {Subjective Simulation as a Notion of Morphism for Composing Concurrent
Resources},
journal = {CoRR},
volume = {abs/1709.07741},
year = {2017},
url = {http://arxiv.org/abs/1709.07741},
eprinttype = {arXiv},
eprint = {1709.07741},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-07741.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-02246,
author = {Torben Amtoft and
Anindya Banerjee},
title = {A Theory of Slicing for Probabilistic Control-Flow Graphs},
journal = {CoRR},
volume = {abs/1711.02246},
year = {2017},
url = {http://arxiv.org/abs/1711.02246},
eprinttype = {arXiv},
eprint = {1711.02246},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-02246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-02256,
author = {Torben Amtoft and
Anindya Banerjee},
title = {A Semantics for Probabilistic Control-Flow Graphs},
journal = {CoRR},
volume = {abs/1711.02256},
year = {2017},
url = {http://arxiv.org/abs/1711.02256},
eprinttype = {arXiv},
eprint = {1711.02256},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-02256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AmtoftB16,
author = {Torben Amtoft and
Anindya Banerjee},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {A Theory of Slicing for Probabilistic Control Flow Graphs},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 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 = {9634},
pages = {180--196},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_11},
doi = {10.1007/978-3-662-49630-5\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AmtoftB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BanerjeeNN16,
author = {Anindya Banerjee and
David A. Naumann and
Mohammad Nikouei},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Relational Logic with Framing and Hypotheses},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {11:1--11:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.11},
doi = {10.4230/LIPICS.FSTTCS.2016.11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BanerjeeNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SergeyNBD16,
author = {Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Hoare-style specifications as correctness conditions for non-linearizable
concurrent objects},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {92--110},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2983999},
doi = {10.1145/2983990.2983999},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SergeyNBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DelbiancoSNB16,
author = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
title = {Concurrent Data Structures Linked in Time},
journal = {CoRR},
volume = {abs/1604.08080},
year = {2016},
url = {http://arxiv.org/abs/1604.08080},
eprinttype = {arXiv},
eprint = {1604.08080},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DelbiancoSNB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BanerjeeNN16,
author = {Anindya Banerjee and
David A. Naumann and
Mohammad Nikouei},
title = {Relational Logic with Framing and Hypotheses: Technical Report},
journal = {CoRR},
volume = {abs/1611.08992},
year = {2016},
url = {http://arxiv.org/abs/1611.08992},
eprinttype = {arXiv},
eprint = {1611.08992},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BanerjeeNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SergeyNB15,
author = {Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
editor = {Jan Vitek},
title = {Specifying and Verifying Concurrent Algorithms with Histories and
Subjectivity},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {333--358},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_14},
doi = {10.1007/978-3-662-46669-8\_14},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/SergeyNB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SergeyNB15,
author = {Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
editor = {David Grove and
Stephen M. Blackburn},
title = {Mechanized verification of fine-grained concurrent programs},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {77--87},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737964},
doi = {10.1145/2737924.2737964},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SergeyNB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SergeyNBD15,
author = {Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco},
title = {Hoare-style Specifications as Correctness Conditions for Non-linearizable
Concurrent Objects},
journal = {CoRR},
volume = {abs/1509.06220},
year = {2015},
url = {http://arxiv.org/abs/1509.06220},
eprinttype = {arXiv},
eprint = {1509.06220},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SergeyNBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MalkisB14,
author = {Alexander Malkis and
Anindya Banerjee},
title = {On Automation in the Verification of Software Barriers: Experience
Report},
journal = {J. Autom. Reason.},
volume = {52},
number = {3},
pages = {275--329},
year = {2014},
url = {https://doi.org/10.1007/s10817-013-9290-9},
doi = {10.1007/S10817-013-9290-9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/MalkisB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ItzhakyBILNS14,
author = {Shachar Itzhaky and
Anindya Banerjee and
Neil Immerman and
Ori Lahav and
Aleksandar Nanevski and
Mooly Sagiv},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Modular reasoning about heap paths via effectively propositional formulas},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {385--396},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535854},
doi = {10.1145/2535838.2535854},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ItzhakyBILNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BanerjeeN14,
author = {Anindya Banerjee and
David A. Naumann},
editor = {Dimitra Giannakopoulou and
Daniel Kroening},
title = {A Logical Analysis of Framing for Specifications with Pure Method
Calls},
booktitle = {Verified Software: Theories, Tools and Experiments - 6th International
Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8471},
pages = {3--20},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12154-3\_1},
doi = {10.1007/978-3-319-12154-3\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/BanerjeeN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SergeyNB14,
author = {Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
title = {Specifying and Verifying Concurrent Algorithms with Histories and
Subjectivity},
journal = {CoRR},
volume = {abs/1410.0306},
year = {2014},
url = {http://arxiv.org/abs/1410.0306},
eprinttype = {arXiv},
eprint = {1410.0306},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SergeyNB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BanerjeeNR13,
author = {Anindya Banerjee and
David A. Naumann and
Stan Rosenberg},
title = {Local Reasoning for Global Invariants, Part {I:} Region Logic},
journal = {J. {ACM}},
volume = {60},
number = {3},
pages = {18:1--18:56},
year = {2013},
url = {https://doi.org/10.1145/2485982},
doi = {10.1145/2485982},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BanerjeeNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BanerjeeN13,
author = {Anindya Banerjee and
David A. Naumann},
title = {Local Reasoning for Global Invariants, Part {II:} Dynamic Boundaries},
journal = {J. {ACM}},
volume = {60},
number = {3},
pages = {19:1--19:73},
year = {2013},
url = {https://doi.org/10.1145/2485981},
doi = {10.1145/2485981},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BanerjeeN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/NanevskiBG13,
author = {Aleksandar Nanevski and
Anindya Banerjee and
Deepak Garg},
title = {Dependent Type Theory for Verification of Information Flow and Access
Control Policies},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {35},
number = {2},
pages = {6:1--6:41},
year = {2013},
url = {https://doi.org/10.1145/2491522.2491523},
doi = {10.1145/2491522.2491523},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/NanevskiBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ItzhakyBINS13,
author = {Shachar Itzhaky and
Anindya Banerjee and
Neil Immerman and
Aleksandar Nanevski and
Mooly Sagiv},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Effectively-Propositional Reasoning about Reachability in Linked 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 = {756--772},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_53},
doi = {10.1007/978-3-642-39799-8\_53},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ItzhakyBINS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/StewartBN13,
author = {Gordon Stewart and
Anindya Banerjee and
Aleksandar Nanevski},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Dependent types for enforcement of information flow and erasure policies
in heterogeneous data structures},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {145--156},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505895},
doi = {10.1145/2505879.2505895},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/StewartBN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BanerjeeN13,
author = {Anindya Banerjee and
David A. Naumann},
editor = {Anindya Banerjee and
Olivier Danvy and
Kyung{-}Goo Doh and
John Hatcliff},
title = {A Simple Semantics and Static Analysis for Stack Inspection},
booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs:
Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
series = {{EPTCS}},
volume = {129},
pages = {284--308},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.129.17},
doi = {10.4204/EPTCS.129.17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BanerjeeN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BanerjeeN13,
author = {Anindya Banerjee and
David A. Naumann},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {State Based Encapsulation for Modular Reasoning about Behavior-Preserving
Refactorings},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {319--365},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_12},
doi = {10.1007/978-3-642-36946-9\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/BanerjeeN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BanerjeeDDH13,
editor = {Anindya Banerjee and
Olivier Danvy and
Kyung{-}Goo Doh and
John Hatcliff},
title = {Semantics, Abstract Interpretation, and Reasoning about Programs:
Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
series = {{EPTCS}},
volume = {129},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.129},
doi = {10.4204/EPTCS.129},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BanerjeeDDH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MarronLB12,
author = {Mark Marron and
Ondrej Lhot{\'{a}}k and
Anindya Banerjee},
editor = {Michael F. P. O'Boyle},
title = {Programming Paradigm Driven Heap Analysis},
booktitle = {Compiler Construction - 21st International Conference, {CC} 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 = {7210},
pages = {41--60},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28652-0\_3},
doi = {10.1007/978-3-642-28652-0\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/MarronLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/MalkisB12,
author = {Alexander Malkis and
Anindya Banerjee},
editor = {J. Ramanujam and
P. Sadayappan},
title = {Verification of software barriers},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2012, New Orleans, LA, USA,
February 25-29, 2012},
pages = {313--314},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2145816.2145871},
doi = {10.1145/2145816.2145871},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/MalkisB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RosenbergBN12,
author = {Stan Rosenberg and
Anindya Banerjee and
David A. Naumann},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Decision Procedures for Region Logic},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {379--395},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_25},
doi = {10.1007/978-3-642-27940-9\_25},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/RosenbergBN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MastroeniB11,
author = {Isabella Mastroeni and
Anindya Banerjee},
title = {Modelling declassification policies using abstract domain completeness},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {6},
pages = {1253--1299},
year = {2011},
url = {https://doi.org/10.1017/S096012951100020X},
doi = {10.1017/S096012951100020X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MastroeniB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/Banerjee11,
author = {Anindya Banerjee},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {Modular Verification of Object-Based Programs - Abstract of Invited
Talk},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {1--2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_1},
doi = {10.1007/978-3-642-31762-0\_1},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/Banerjee11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/NanevskiBG11,
author = {Aleksandar Nanevski and
Anindya Banerjee and
Deepak Garg},
title = {Verification of Information Flow and Access Control Policies with
Dependent Types},
booktitle = {32nd {IEEE} Symposium on Security and Privacy, {SP} 2011, 22-25 May
2011, Berkeley, California, {USA}},
pages = {165--179},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SP.2011.12},
doi = {10.1109/SP.2011.12},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/NanevskiBG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NaumannB10,
author = {David A. Naumann and
Anindya Banerjee},
editor = {Andrew D. Gordon},
title = {Dynamic Boundaries: Information Hiding by Second Order Framing with
First Order Assertions},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {2--22},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_2},
doi = {10.1007/978-3-642-11957-6\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/NaumannB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/RosenbergBN10,
author = {Stan Rosenberg and
Anindya Banerjee and
David A. Naumann},
editor = {Gary T. Leavens and
Peter W. O'Hearn and
Sriram K. Rajamani},
title = {Local Reasoning and Dynamic Framing for the Composite Pattern and
Its Clients},
booktitle = {Verified Software: Theories, Tools, Experiments, Third International
Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6217},
pages = {183--198},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15057-9\_13},
doi = {10.1007/978-3-642-15057-9\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/RosenbergBN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2010plas,
editor = {Anindya Banerjee and
Deepak Garg},
title = {Proceedings of the 2010 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2010, Toronto, ON, Canada, 10 June, 2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1814217},
isbn = {978-1-60558-827-8},
timestamp = {Thu, 22 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2010plas.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Banerjee09,
author = {Anindya Banerjee},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Semantics and Enforcement of Expressive Information Flow Policies},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {1--3},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_1},
doi = {10.1007/978-3-642-12459-4\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Banerjee09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LivshitsNRB09,
author = {V. Benjamin Livshits and
Aditya V. Nori and
Sriram K. Rajamani and
Anindya Banerjee},
editor = {Michael Hind and
Amer Diwan},
title = {Merlin: specification inference for explicit information flow problems},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {75--86},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542485},
doi = {10.1145/1542476.1542485},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LivshitsNRB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShinnarPB09,
author = {Avraham Shinnar and
Marco Pistoia and
Anindya Banerjee},
editor = {Stephen Chong and
David A. Naumann},
title = {A language for information flow: dynamic tracking in multiple interdependent
dimensions},
booktitle = {Proceedings of the 2009 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2009, Dublin, Ireland, 15-21 June, 2009},
pages = {125--131},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1554339.1554354},
doi = {10.1145/1554339.1554354},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ShinnarPB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2009ftfjp,
editor = {Anindya Banerjee},
title = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898},
doi = {10.1145/1557898},
isbn = {978-1-60558-540-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2009ftfjp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BanerjeeNR08,
author = {Anindya Banerjee and
David A. Naumann and
Stan Rosenberg},
editor = {Jan Vitek},
title = {Regional Logic for Local Reasoning about Global Invariants},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {387--411},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_17},
doi = {10.1007/978-3-540-70592-5\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BanerjeeNR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AlbertBDHILMW08,
author = {Elvira Albert and
Anindya Banerjee and
Sophia Drossopoulou and
Marieke Huisman and
Atsushi Igarashi and
Gary T. Leavens and
Peter M{\"{u}}ller and
Tobias Wrigstad},
editor = {Patrick Eugster},
title = {Formal Techniques for Java-Like Programs},
booktitle = {Object-Oriented Technology. {ECOOP} 2008 Workshop Reader, {ECOOP}
2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {5475},
pages = {70--76},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02047-6\_8},
doi = {10.1007/978-3-642-02047-6\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/AlbertBDHILMW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BanerjeeNR08,
author = {Anindya Banerjee and
David A. Naumann and
Stan Rosenberg},
title = {Expressive Declassification Policies and Modular Static Enforcement},
booktitle = {2008 {IEEE} Symposium on Security and Privacy {(SP} 2008), 18-21 May
2008, Oakland, California, {USA}},
pages = {339--353},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SP.2008.20},
doi = {10.1109/SP.2008.20},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/BanerjeeNR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BanerjeeBN08,
author = {Anindya Banerjee and
Michael Barnett and
David A. Naumann},
editor = {Natarajan Shankar and
Jim Woodcock},
title = {Boogie Meets Regions: {A} Verification Experience Report},
booktitle = {Verified Software: Theories, Tools, Experiments, Second International
Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5295},
pages = {177--191},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87873-5\_16},
doi = {10.1007/978-3-540-87873-5\_16},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/BanerjeeBN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AmtoftB07,
author = {Torben Amtoft and
Anindya Banerjee},
title = {A logic for information flow analysis with an application to forward
slicing of simple imperative programs},
journal = {Sci. Comput. Program.},
volume = {64},
number = {1},
pages = {3--28},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.03.002},
doi = {10.1016/J.SCICO.2006.03.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AmtoftB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RanganathABHD07,
author = {Venkatesh Prasad Ranganath and
Torben Amtoft and
Anindya Banerjee and
John Hatcliff and
Matthew B. Dwyer},
title = {A new foundation for control dependence and slicing for modern program
structures},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {27},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275502},
doi = {10.1145/1275497.1275502},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RanganathABHD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AmtoftB07,
author = {Torben Amtoft and
Anindya Banerjee},
editor = {Peng Ning and
Vijay Atluri and
Virgil D. Gligor and
Heiko Mantel},
title = {Verification condition generation for conditional information flow},
booktitle = {Proceedings of the 2007 {ACM} workshop on Formal methods in security
engineering, {FMSE} 2007, Fairfax, VA, USA, November 2, 2007},
pages = {2--11},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1314436.1314438},
doi = {10.1145/1314436.1314438},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/AmtoftB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BanerjeeNR07,
author = {Anindya Banerjee and
David A. Naumann and
Stan Rosenberg},
editor = {Michael W. Hicks},
title = {Towards a logical account of declassification},
booktitle = {Proceedings of the 2007 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2007, San Diego, California, USA, June 14, 2007},
pages = {61--66},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1255329.1255340},
doi = {10.1145/1255329.1255340},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/BanerjeeNR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/PistoiaBN07,
author = {Marco Pistoia and
Anindya Banerjee and
David A. Naumann},
title = {Beyond Stack Inspection: {A} Unified Access-Control and Information-Flow
Security Model},
booktitle = {2007 {IEEE} Symposium on Security and Privacy (S{\&}P 2007), 20-23
May 2007, Oakland, California, {USA}},
pages = {149--163},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SP.2007.10},
doi = {10.1109/SP.2007.10},
timestamp = {Thu, 21 Sep 2023 15:57:31 +0200},
biburl = {https://dblp.org/rec/conf/sp/PistoiaBN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BanerjeeGM07,
author = {Anindya Banerjee and
Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Marcelo Fiore},
title = {What You Lose is What You Leak: Information Leakage in Declassification
Policies},
booktitle = {Proceedings of the 23rd Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April
11-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {173},
pages = {47--66},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.027},
doi = {10.1016/J.ENTCS.2007.02.027},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BanerjeeGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GuernicBJS06,
author = {Gurvan Le Guernic and
Anindya Banerjee and
Thomas P. Jensen and
David A. Schmidt},
editor = {Mitsu Okada and
Ichiro Satoh},
title = {Automata-Based Confidentiality Monitoring},
booktitle = {Advances in Computer Science - {ASIAN} 2006. Secure Software and Related
Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December
6-8, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4435},
pages = {75--89},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77505-8\_7},
doi = {10.1007/978-3-540-77505-8\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/GuernicBJS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AmtoftBB06,
author = {Torben Amtoft and
Sruthi Bandhakavi and
Anindya Banerjee},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {A logic for information flow in object-oriented programs},
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 = {91--102},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111046},
doi = {10.1145/1111037.1111046},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/AmtoftBB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BanerjeeN05,
author = {Anindya Banerjee and
David A. Naumann},
title = {Ownership confinement ensures representation independence for object-oriented
programs},
journal = {J. {ACM}},
volume = {52},
number = {6},
pages = {894--960},
year = {2005},
url = {https://doi.org/10.1145/1101821.1101824},
doi = {10.1145/1101821.1101824},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BanerjeeN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BanerjeeN05,
author = {Anindya Banerjee and
David A. Naumann},
title = {Stack-based access control and secure information flow},
journal = {J. Funct. Program.},
volume = {15},
number = {2},
pages = {131--177},
year = {2005},
url = {https://doi.org/10.1017/S0956796804005453},
doi = {10.1017/S0956796804005453},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BanerjeeN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BanerjeeN05,
author = {Anindya Banerjee and
David A. Naumann},
editor = {Andrew P. Black},
title = {State Based Ownership, Reentrance, and Encapsulation},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {387--411},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_17},
doi = {10.1007/11531142\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BanerjeeN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RanganathABDH05,
author = {Venkatesh Prasad Ranganath and
Torben Amtoft and
Anindya Banerjee and
Matthew B. Dwyer and
John Hatcliff},
editor = {Shmuel Sagiv},
title = {A New Foundation for Control-Dependence and Slicing for Modern Program
Structures},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 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 = {3444},
pages = {77--93},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_7},
doi = {10.1007/978-3-540-31987-0\_7},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/RanganathABDH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2003P3411,
editor = {Anindya Banerjee and
Heiko Mantel and
David A. Naumann and
Andrei Sabelfeld},
title = {Language-Based Security, 5.-10. October 2003},
series = {Dagstuhl Seminar Proceedings},
volume = {03411},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/portals/03411/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2003P3411.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/BanerjeeN04,
author = {Anindya Banerjee and
David A. Naumann},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {History-Based Access Control and Secure Information Flow},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {27--48},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_2},
doi = {10.1007/978-3-540-30569-9\_2},
timestamp = {Fri, 09 Apr 2021 18:40:44 +0200},
biburl = {https://dblp.org/rec/conf/cassis/BanerjeeN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SunBN04,
author = {Qi Sun and
Anindya Banerjee and
David A. Naumann},
editor = {Roberto Giacobazzi},
title = {Modular and Constraint-Based Information Flow Inference for an Object-Oriented
Language},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {84--99},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_9},
doi = {10.1007/978-3-540-27864-1\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/SunBN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AmtoftB04,
author = {Torben Amtoft and
Anindya Banerjee},
editor = {Roberto Giacobazzi},
title = {Information Flow Analysis in Logical Form},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {100--115},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_10},
doi = {10.1007/978-3-540-27864-1\_10},
timestamp = {Thu, 22 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AmtoftB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BanerjeeJ03,
author = {Anindya Banerjee and
Thomas P. Jensen},
title = {Modular Control-Flow Analysis with Rank 2 Intersection Types},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {1},
pages = {87--124},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003845},
doi = {10.1017/S0960129502003845},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BanerjeeJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BanerjeeN03,
author = {Anindya Banerjee and
David A. Naumann},
title = {Using Access Control for Secure Information Flow in a Java-like Language},
booktitle = {16th {IEEE} Computer Security Foundations Workshop {(CSFW-16} 2003),
30 June - 2 July 2003, Pacific Grove, CA, {USA}},
pages = {155--169},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSFW.2003.1212711},
doi = {10.1109/CSFW.2003.1212711},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BanerjeeN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BanerjeeMNS03,
author = {Anindya Banerjee and
Heiko Mantel and
David A. Naumann and
Andrei Sabelfeld},
editor = {Anindya Banerjee and
Heiko Mantel and
David A. Naumann and
Andrei Sabelfeld},
title = {03411 Final Report - Language Based Security},
booktitle = {Language-Based Security, 5.-10. October 2003},
series = {Dagstuhl Seminar Proceedings},
volume = {03411},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2003},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/172},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BanerjeeMNS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BanerjeeMNS03a,
author = {Anindya Banerjee and
Heiko Mantel and
David A. Naumann and
Andrei Sabelfeld},
editor = {Anindya Banerjee and
Heiko Mantel and
David A. Naumann and
Andrei Sabelfeld},
title = {03411 Abstracts Collection - Language Based Security},
booktitle = {Language-Based Security, 5.-10. October 2003},
series = {Dagstuhl Seminar Proceedings},
volume = {03411},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2003},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/173},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BanerjeeMNS03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BanerjeeN02,
author = {Anindya Banerjee and
David A. Naumann},
title = {Secure Information Flow and Pointer Confinement in a Java-like Language},
booktitle = {15th {IEEE} Computer Security Foundations Workshop {(CSFW-15} 2002),
24-26 June 2002, Cape Breton, Nova Scotia, Canada},
pages = {253},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CSFW.2002.1021820},
doi = {10.1109/CSFW.2002.1021820},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BanerjeeN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BanerjeeN02,
author = {Anindya Banerjee and
David A. Naumann},
editor = {John Launchbury and
John C. Mitchell},
title = {Representation independence, confinement and access control [extended
abstract]},
booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, OR, USA, January
16-18, 2002},
pages = {166--177},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503272.503289},
doi = {10.1145/503272.503289},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/BanerjeeN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0212003,
author = {Anindya Banerjee and
David A. Naumann},
title = {Ownership Confinement Ensures Representation Independence for Object-Oriented
Programs},
journal = {CoRR},
volume = {cs.PL/0212003},
year = {2002},
url = {http://arxiv.org/abs/cs/0212003},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0212003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BanerjeeHR01,
author = {Anindya Banerjee and
Nevin Heintze and
Jon G. Riecke},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Design and Correctness of Program Transformations Based on Control-Flow
Analysis},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {420--447},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_21},
doi = {10.1007/3-540-45500-0\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BanerjeeHR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BanerjeeHR99,
author = {Anindya Banerjee and
Nevin Heintze and
Jon G. Riecke},
title = {Region Analysis and the Polymorphic Lambda Calculus},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {88--97},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782594},
doi = {10.1109/LICS.1999.782594},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BanerjeeHR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AbadiBHR99,
author = {Mart{\'{\i}}n Abadi and
Anindya Banerjee and
Nevin Heintze and
Jon G. Riecke},
editor = {Andrew W. Appel and
Alex Aiken},
title = {A Core Calculus of Dependency},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {147--160},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292555},
doi = {10.1145/292540.292555},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AbadiBHR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BanerjeeS98,
author = {Anindya Banerjee and
David A. Schmidt},
title = {Stackability in the Simply-Typed Call-by-Value lambda Calculus},
journal = {Sci. Comput. Program.},
volume = {31},
number = {1},
pages = {47--73},
year = {1998},
url = {https://doi.org/10.1016/S0167-6423(96)00040-8},
doi = {10.1016/S0167-6423(96)00040-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BanerjeeS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Banerjee97,
author = {Anindya Banerjee},
editor = {Simon L. Peyton Jones and
Mads Tofte and
A. Michael Berman},
title = {A Modular, Polyvariant, and Type-Based Closure Analysis},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
9-11, 1997},
pages = {1--10},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258948.258951},
doi = {10.1145/258948.258951},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Banerjee97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BanerjeeS94,
author = {Anindya Banerjee and
David A. Schmidt},
editor = {Baudouin Le Charlier},
title = {Stackability in the Simply-Typed Call-by-Value Lambda Calculus},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {864},
pages = {131--146},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_37},
doi = {10.1007/3-540-58485-4\_37},
timestamp = {Mon, 12 Aug 2019 15:36:13 +0200},
biburl = {https://dblp.org/rec/conf/sas/BanerjeeS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BanerjeeS93,
author = {Anindya Banerjee and
David A. Schmidt},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Categorical Interpretation of Landin's Correspondence Principle},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {587--602},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_29},
doi = {10.1007/3-540-58027-1\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BanerjeeS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
