19 Publications
2013
Local Reasoning for Global Invariants, Part II: Dynamic Boundaries
Banerjee, Anindya and Naumann, David A
Association for Computing Machinery. Journal of the Association for Computing Machinery, vol. 60, (no. 3), Jun 2013. | Journal Article
 
Local Reasoning for Global Invariants, Part I: Region Logic
Banerjee, Anindya⋅Naumann, David A and Rosenberg, Stan
Association for Computing Machinery. Journal of the Association for Computing Machinery, vol. 60, (no. 3), Jun 2013. | Journal Article
2007
A new foundation for control dependence and slicing for modern program structures
Ranganath, Venkatesh⋅Ranganath, Venkatesh P⋅Amtoft, Torben⋅Amtoft, Torben⋅Banerjee, Anindya⋅Banerjee, Anindya⋅Hatcliff, John⋅Hatcliff, John⋅Dwyer, Matthew and Dwyer, Matthew
ACM Transactions on Programming Languages and Systems, vol. 29, (no. 5), 2007. | Journal Article
 
Towards a logical account of declassification
Banerjee, Anindya⋅Naumann, David A and Rosenberg, Stan
Conference on Programming Language Design and Implementation: Proceedings of the 2007 workshop on Programming languages and analysis for security; 14-14 June 2007. 2007. | Conference Proceeding
 
Verification condition generation for conditional information flow
Amtoft, Torben and Banerjee, Anindya
Workshop on Formal Methods in Security Engineering: Proceedings of the 2007 ACM workshop on Formal methods in security engineering; 02-02 Nov. 2007. 2007. | Conference Proceeding
2006
A logic for information flow in object-oriented programs
Amtoft, Torben⋅Sruthi, Bandhakavi and Banerjee, Anindya
Annual Symposium on Principles of Programming Languages: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 11-13 Jan. 2006. 2006. | Conference Proceeding
 
A new foundation for control-dependence and slicing for modern program structures.
Ranganath, Venkatesh⋅Amtoft, Torben⋅Banerjee, Anindya⋅Dwyer, Matthew and Hatcliff, John
STAR, vol. 44, (no. 12), 2006. | Journal Article
2005
Ownership confinement ensures representation independence for object-oriented programs
Banerjee, Anindya and Naumann, David A
Association for Computing Machinery. Journal of the Association for Computing Machinery, vol. 52, (no. 6), pp. 894-960, Nov 2005. | Journal Article
 
Stack-based access control and secure information flow
Banerjee, Anindya and Naumann, David A
Journal of Functional Programming, vol. 15, (no. 2), pp. 131-177, Mar 2005. | Journal Article
2003
Modular control-flow analysis with rank 2 intersection types
Banerjee, Anindya and JENSEN, THOMAS
Mathematical Structures in Computer Science, vol. 13, (no. 1), pp. 87-124, Feb 2003. | Journal Article
2002
Representation independence, confinement and access control
Banerjee, Anindya and Naumann, David A
Conference Record of the Annual ACM Symposium on Principles of Programming Languages. pp. 166-177. 2002, 2002. | Journal Article
1999
A core calculus of dependency
Abadi, Martin⋅Banerjee, Anindya⋅Heintze, Nevin and Riecke, Jon G
Annual Symposium on Principles of Programming Languages: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 20-22 Jan. 1999. 1999. | Conference Proceeding
 
Core calculus of dependency
Abadi, Martin⋅Banerjee, Anindya⋅Heintze, Nevin and Riecke, Jon G
CONF REC ANNU ACM SYMP PRINC PROGRAM LANG. pp. 147-160. 1999, 1999. | Journal Article
 
Region analysis and the polymorphic lambda calculus
Banerjee, Anindya⋅Heintze, Nevin and Riecke, Jon G
1999. | Journal Article
1998
Stackability in the simply-typed call-by-value lambda calculus
Banerjee, Anindya⋅Banerjee, Anindya⋅Schmidt, David A and Schmidt, David A
SCI COMPUT PROGRAM, vol. 31, (no. 1), pp. 47-73, 1998. | Journal Article
1997
A modular, polyvariant and type-based closure analysis
Banerjee, Anindya
International Conference on Functional Programming: Proceedings of the second ACM SIGPLAN international conference on Functional programming; 09-11 June 1997. 1997. | Conference Proceeding
 
A modular, polyvariant and type-based closure analysis
Banerjee, Anindya
ACM SIGPLAN Notices, vol. 32, (no. 8), pp. 1-10, 1997. | Journal Article
 
Modular, polyvariant, and type-based closure analysis
Banerjee, Anindya
The 1997 ACM SIGPLAN International Conference on Functional Programming, ICFP; Amsterdam; Neth; 09-11 June 1997. 1997. | Conference Proceeding
1995
The semantics and implementation of bindings in higher-order programming languages (Dissertation)
Banerjee, Anindya (1995).