@article{nagasamBN25,
author = {Ramana Nagasamudram and
Anindya Banerjee and
David A.~Naumann},
title = {WhyRel: An Auto-active Relational Verifier},
journal = {International Journal on Software Tools for Technology Transfer},
year = {2025},
note = {To appear},
butype = {article}
}
@inproceedings{amtoftB25,
author = {Torben Amtoft and
Anindya Banerjee},
title = {A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs},
booktitle = {Festschrift for Alan Mycroft},
pages = {XX},
series = {Lecture Notes in Computer Science},
number = {XX},
publisher = {XX},
year = {202X},
note = {To appear},
butype = {inproceedings}
}
@article{BagnallSB23,
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},
butype = {article}
}
@inproceedings{nagasamBN23,
author = {Ramana Nagasamudram and
Anindya Banerjee and
David A.~Naumann},
title = {The WhyRel Prototype for Modular Relational Verification of Pointer Programs},
booktitle = {TACAS 2023, Part II},
pages = {1--19},
series = {Lecture Notes in Computer Science},
number = {13994},
publisher = {Springer Nature},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8_11},
doi = {10.1007/978-3-031-30820-8_11},
butype = {inproceedings}
}
@article{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 = {1--136},
year = {2022},
url = {https://doi.org/10.1145/3551497},
doi = {10.1145/3551497},
butype = {article}
}
@article{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},
butype = {article}
}
@article{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},
butype = {article}
}
@inproceedings{TassarottiV0T21,
author = {Joseph Tassarotti and
Koundinya Vajjha and
Anindya Banerjee and
Jean{-}Baptiste Tristan},
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},
butype = {inproceedings}
}
@article{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},
butype = {article}
}
@article{NanevskiBDF19,
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 = {{PACMPL}},
volume = {3},
number = {{OOPSLA}},
pages = {161:1--161:30},
year = {2019},
butype = {article}
}
@article{BanerjeeNN18,
author = {Anindya Banerjee and David A. Naumann and Mohammad Nikoueki},
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},
butype = {article}
}
@inproceedings{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},
booktitle = {ECOOP},
year = {2017},
pages = {8:1-8:30},
butype = {inproceedings}
}
@inproceedings{BanerjeeNN16,
author = {Anindya Banerjee and David A.~Naumann and Mohammad Nikouei},
title = {Relational Logic with Framing and Hypotheses},
booktitle = {FSTTCS},
year = {2016},
pages = {11:1-11:16},
butype = {inproceedings}
}
@inproceedings{SergeyNBD16,
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},
booktitle = {OOPSLA},
year = {2016},
pages = {92--110},
butype = {inproceedings}
}
@inproceedings{AmtoftB16,
author = {Torben Amtoft and Anindya Banerjee},
title = {A Theory of Slicing for Probabilistic Control Flow Graphs},
booktitle = {FoSSaCS},
year = {2016},
series = {Lecture Notes in Computer Science},
pages = {180--196},
butype = {inproceedings}
}
@inproceedings{SergeyNB15a,
author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee},
title = {Mechanized Verification of Fine-grained Concurrent Programs},
booktitle = {PLDI},
year = {2015},
pages = {77--87},
butype = {inproceedings}
}
@inproceedings{SergeyNB15b,
author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee},
title = {Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity},
booktitle = {ESOP},
year = {2015},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {333--358},
butype = {inproceedings}
}
@inproceedings{BanerjeeN14,
author = {Anindya Banerjee and
David A. Naumann},
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},
pages = {3--20},
year = {2014},
butype = {inproceedings}
}
@article{MalkisB14,
author = {Alexander Malkis and Anindya Banerjee},
title = {On Automation in the Verification of Software Barriers: Experience Report},
journal = {Journal of Automated Reasoning},
volume = {52},
number = {3},
pages = {275-329},
year = {2014},
butype = {article}
}
@inproceedings{ItzhakyBILNS14,
author = {Shachar Itzhaky and Anindya Banerjee and Neil Immerman and Ori Lahav and Aleksandar Nanevski and Mooly Sagiv},
title = {Modular reasoning about heap paths via effectively propositional formulas},
booktitle = {POPL},
year = {2014},
pages = {385-396},
note = {Last revised, April 2013},
butype = {inproceedings}
}
@inproceedings{BanerjeeN13c,
author = {Banerjee, Anindya and Naumann, David A.},
year = {2013},
title = {A Simple Semantics and Static Analysis for Stack Inspection},
editor = {Banerjee, Anindya and Danvy, Olivier and Doh, Kyung-Goo and Hatcliff, John},
booktitle = {{\rm Proceedings}
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday,
{\rm Manhattan, Kansas, USA, 19-20th September 2013}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {129},
publisher = {Open Publishing Association},
pages = {284-308},
doi = {10.4204/EPTCS.129.17}
}
@inproceedings{StewartBN13,
author = {Gordon Stewart and Anindya Banerjee and Aleksandar Nanevski},
title = {Dependent Types for Enforcement of Information Flow and Erasure Policies in Heterogeneous Data Structures},
booktitle = {PPDP},
year = 2013,
pages = {145--156},
note = {Last revised, June 2013}
}
@article{BanerjeeNR13,
author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg},
title = {Local Reasoning for Global Invariants, Part I: Region Logic},
journal = {Journal of the {ACM}},
volume = {60},
number = 3,
pages = {18},
year = 2013,
butype = {article}
}
@article{BanerjeeN13b,
author = {Anindya Banerjee and David A. Naumann},
title = {Local Reasoning for Global Invariants, Part II: Dynamic Boundaries},
journal = {Journal of the {ACM}},
volume = {60},
number = 3,
pages = {19},
year = 2013,
butype = {article}
}
@article{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},
year = 2013,
butype = {article}
}
@inproceedings{ItzhakyBINS13,
author = {Shachar Itzhaky and Anindya Banerjee and Neil Immerman and Aleksandar Nanevski and Mooly Sagiv},
title = {Effectively-Propositional Reasoning about Reachability in Linked Data Structures},
booktitle = {CAV},
pages = {756--772},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8044},
year = {2013},
note = {Last revised, April 2013}
}
@incollection{BanerjeeN13a,
author = {Anindya Banerjee and David A. Naumann},
title = {State Based Encapsulation for Modular Reasoning
about Behavior-Preserving Refactorings},
booktitle = {Aliasing in Object-Oriented Programming},
pages = {319--365},
publisher = {Springer},
year = {2013},
editor = {Dave Clarke and James Noble and Tobias Wrigstad},
series = {Lecture Notes in Computer Science},
volume = {7850},
isbn = {978-3-642-36945-2}
}
@inproceedings{MarronLB12,
author = {Mark Marron and Ondrej Lhot\'{a}k and Anindya Banerjee},
title = {Program Paradigm Driven Heap Analysis},
booktitle = {CC},
year = 2012,
pages = {41--60},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7210},
note = {Last revised, October 2011}
}
@inproceedings{RosenbergBN12,
author = {Stan Rosenberg and Anindya Banerjee and David A. Naumann},
title = {Decision Procedures for Region Logic},
booktitle = {VMCAI},
year = 2012,
pages = {379--395},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7148},
note = {Last revised, November 2011}
}
@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 = {IEEE Symposium on Security and Privacy},
year = {2011},
pages = {165-179},
ee = {http://doi.ieeecomputersociety.org/10.1109/SP.2011.12},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@incollection{LivshitsNRB11,
author = {V. Benjamin Livshits and Aditya V. Nori and
Sriram K. Rajamani and Anindya Banerjee},
title = {Merlin: specification inference for explicit information
flow problems},
booktitle = {Mining Software Specifications},
pages = {377-410},
publisher = {Chapman \& Hall/CRC},
year = 2011,
editor = {David Lo and Siau-Cheng Khoo and Jiawei Han and Chao Liu},
chapter = 11,
isbn = {978-1-4398-0626-5}
}
@article{MastroeniB2011,
author = {Isabella Mastroeni and Anindya Banerjee},
title = {Modelling Declassification Policies using Abstract Domain Completeness},
journal = {Mathematical Structures in Computer Science},
year = {2011},
butype = {article},
volume = 21,
pages = {1253--1299}
}
@inproceedings{DBLP:conf/esop/NaumannB10,
author = {David A. Naumann and Anindya Banerjee},
title = {Dynamic Boundaries: Information Hiding by Second Order Framing
with First Order Assertions},
booktitle = {ESOP},
year = {2010},
pages = {2-22},
ee = {http://dx.doi.org/10.1007/978-3-642-11957-6_2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/vstte/RosenbergBN10,
author = {Stan Rosenberg and Anindya Banerjee and David A. Naumann},
title = {Local Reasoning and Dynamic Framing for the Composite Pattern
and Its Clients},
booktitle = {VSTTE},
year = {2010},
pages = {183-198},
ee = {http://dx.doi.org/10.1007/978-3-642-15057-9_13},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ifip1-7/Banerjee09,
author = {Anindya Banerjee},
title = {Semantics and Enforcement of Expressive Information Flow
Policies},
booktitle = {Formal Aspects in Security and Trust},
year = {2009},
pages = {1-3},
ee = {http://dx.doi.org/10.1007/978-3-642-12459-4_1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/pldi/ShinnarPB09,
author = {Avraham Shinnar and Marco Pistoia and Anindya Banerjee},
title = {A language for information flow: dynamic tracking in multiple
interdependent dimensions},
booktitle = {PLAS},
year = {2009},
pages = {125-131},
ee = {http://doi.acm.org/10.1145/1554339.1554354},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/pldi/LivshitsNRB09,
author = {V. Benjamin Livshits and Aditya V. Nori and
Sriram K. Rajamani and Anindya Banerjee},
title = {Merlin: specification inference for explicit information
flow problems},
booktitle = {PLDI},
year = {2009},
pages = {75-86},
ee = {http://doi.acm.org/10.1145/1542476.1542485},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/BanerjeeNR08,
author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg},
title = {Regional Logic for Local Reasoning about Global Invariants},
booktitle = {ECOOP},
year = {2008},
pages = {387-411},
ee = {http://dx.doi.org/10.1007/978-3-540-70592-5_17},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
title = {Formal Techniques for Java-Like Programs},
booktitle = {ECOOP Workshops},
year = {2008},
pages = {70-76},
ee = {http://dx.doi.org/10.1007/978-3-642-02047-6_8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sp/BanerjeeNR08,
author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg},
title = {Expressive Declassification Policies and Modular Static
Enforcement},
booktitle = {IEEE Symposium on Security and Privacy},
year = {2008},
pages = {339-353},
ee = {http://doi.ieeecomputersociety.org/10.1109/SP.2008.20},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/vstte/BanerjeeBN08,
author = {Anindya Banerjee and Michael Barnett and David A. Naumann},
title = {Boogie Meets Regions: A Verification Experience Report},
booktitle = {VSTTE},
year = {2008},
pages = {177-191},
ee = {http://dx.doi.org/10.1007/978-3-540-87873-5_16},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ccs/AmtoftB07,
author = {Torben Amtoft and Anindya Banerjee},
title = {Verification condition generation for conditional information
flow},
booktitle = {FMSE},
year = {2007},
pages = {2-11},
ee = {http://doi.acm.org/10.1145/1314436.1314438},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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 = {IEEE Symposium on Security and Privacy},
year = {2007},
pages = {149-163},
ee = {http://dx.doi.org/10.1109/SP.2007.10},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/pldi/BanerjeeNR07,
author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg},
title = {Towards a logical account of declassification},
booktitle = {PLAS},
year = {2007},
pages = {61-66},
ee = {http://doi.acm.org/10.1145/1255329.1255340},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
year = {2007},
ee = {http://doi.acm.org/10.1145/1275497.1275502},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/entcs/BanerjeeGM07,
author = {Anindya Banerjee and Roberto Giacobazzi and Isabella Mastroeni},
title = {What You Lose is What You Leak: Information Leakage in Declassification
Policies},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {173},
year = {2007},
pages = {47-66},
ee = {http://dx.doi.org/10.1016/j.entcs.2007.02.027},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
year = {2007},
pages = {3-28},
ee = {http://dx.doi.org/10.1016/j.scico.2006.03.002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/asian/GuernicBJS06,
author = {Gurvan Le Guernic and Anindya Banerjee and
Thomas P. Jensen and David A. Schmidt},
title = {Automata-Based Confidentiality Monitoring},
booktitle = {ASIAN},
year = {2006},
pages = {75-89},
ee = {http://dx.doi.org/10.1007/978-3-540-77505-8_7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/AmtoftBB06,
author = {Torben Amtoft and Sruthi Bandhakavi and Anindya Banerjee},
title = {A logic for information flow in object-oriented programs},
booktitle = {POPL},
year = {2006},
pages = {91-102},
ee = {http://doi.acm.org/10.1145/1111037.1111046},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
booktitle = {Language-Based Security},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r
Informatik (IBFI), Schloss Dagstuhl, Germany IBFI, Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
volume = {03411},
year = {2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/BanerjeeN05,
author = {Anindya Banerjee and David A. Naumann},
title = {State Based Ownership, Reentrance, and Encapsulation},
booktitle = {ECOOP},
year = {2005},
pages = {387-411},
ee = {http://dx.doi.org/10.1007/11531142_17},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/esop/RanganathABDH05,
author = {Venkatesh Prasad Ranganath and
Torben Amtoft and Anindya Banerjee and
Matthew B. Dwyer and John Hatcliff},
title = {A New Foundation for Control-Dependence and Slicing for
Modern Program Structures},
booktitle = {ESOP},
year = {2005},
pages = {77-93},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3444{\&}spage=77},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
year = {2005},
pages = {894-960},
ee = {http://doi.acm.org/10.1145/1101821.1101824},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
year = {2005},
pages = {131-177},
ee = {http://dx.doi.org/10.1017/S0956796804005453},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/cassis/BanerjeeN04,
author = {Anindya Banerjee and David A. Naumann},
title = {History-Based Access Control and Secure Information Flow},
booktitle = {CASSIS},
year = {2004},
pages = {27-48},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3362{\&}spage=27},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sas/AmtoftB04,
author = {Torben Amtoft and Anindya Banerjee},
title = {Information Flow Analysis in Logical Form},
booktitle = {SAS},
year = {2004},
pages = {100-115},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3148{\&}spage=100},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sas/SunBN04,
author = {Qi Sun and Anindya Banerjee and David A. Naumann},
title = {Modular and Constraint-Based Information Flow Inference
for an Object-Oriented Language},
booktitle = {SAS},
year = {2004},
pages = {84-99},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3148{\&}spage=84},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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 = {CSFW},
year = {2003},
pages = {155-169},
ee = {http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270155abs.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/mscs/BanerjeeJ03,
author = {Anindya Banerjee and Thomas P. Jensen},
title = {Modular Control-Flow Analysis with Rank 2 Intersection Types},
journal = {Mathematical Structures in Computer Science},
volume = {13},
number = {1},
year = {2003},
pages = {87-124},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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 = {CSFW},
year = {2002},
pages = {253-},
ee = {http://csdl.computer.org/comp/proceedings/csfw/2002/1689/00/16890253abs.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/BanerjeeN02,
author = {Anindya Banerjee and David A. Naumann},
title = {Representation independence, confinement and access control
[extended abstract]},
booktitle = {POPL},
year = {2002},
pages = {166-177},
ee = {http://doi.acm.org/10.1145/503272.503289},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/tacs/BanerjeeHR01,
author = {Anindya Banerjee and Nevin Heintze and Jon G. Riecke},
title = {Design and Correctness of Program Transformations Based
on Control-Flow Analysis},
booktitle = {TACS},
year = {2001},
pages = {420-447},
ee = {http://link.springer.de/link/service/series/0558/bibs/2215/22150420.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/lics/BanerjeeHR99,
author = {Anindya Banerjee and Nevin Heintze and Jon G. Riecke},
title = {Region Analysis and the Polymorphic Lambda Calculus},
booktitle = {LICS},
year = {1999},
pages = {88-97},
ee = {http://computer.org/conferen/proceed/lics/0158/01580088abs.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/AbadiBHR99,
author = {Mart\'{\i}n Abadi and Anindya Banerjee and
Nevin Heintze and Jon G. Riecke},
title = {A Core Calculus of Dependency},
booktitle = {POPL},
year = {1999},
pages = {147-160},
ee = {http://doi.acm.org/10.1145/292540.292555},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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},
year = {1998},
pages = {47-73},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/icfp/Banerjee97,
author = {Anindya Banerjee},
title = {A Modular, Polyvariant, and Type-Based Closure Analysis},
booktitle = {ICFP},
year = {1997},
pages = {1-10},
ee = {http://doi.acm.org/10.1145/258948.258951},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sas/BanerjeeS94,
author = {Anindya Banerjee and David A. Schmidt},
title = {Stackability in the Simply-Typed Call-by-Value Lambda Calculus},
booktitle = {SAS},
year = {1994},
pages = {131-146},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/mfps/BanerjeeS93,
author = {Anindya Banerjee and David A. Schmidt},
title = {A Categorical Interpretation of Landin's Correspondence
Principle},
booktitle = {MFPS},
year = {1993},
pages = {587-602},
ee = {http://dx.doi.org/10.1007/3-540-58027-1_29},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
This file was generated by bibtex2html 1.99.