Avik Chaudhuri

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 5

Top Topics

Relational Calculus

Abstract Data Types

Top Venues

Proc. ACM Program. Lang.

Publications

Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri
Optimizing and Evaluating Transient Gradual Typing. CoRR (2019)
Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri
Optimizing and evaluating transient gradual typing. DLS (2019)
Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi
Fast and precise type checking for JavaScript. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi
Fast and Precise Type Checking for JavaScript. CoRR (2017)
Avik Chaudhuri
Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond. PLAS@CCS (2016)
Aseem Rastogi, Avik Chaudhuri, Rob Johnson
Types and Access Controls for Cross-Domain Security in Flash. APLAS (2012)
Aseem Rastogi, Avik Chaudhuri, Basil Hosmer
The ins and outs of gradual type inference. POPL (2012)
Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz
The impact of optional type information on jit compilation of dynamically typed languages. DLS (2011)
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks
Dynamic inference of static types for ruby. POPL (2011)
Avik Chaudhuri, Jeffrey S. Foster
Symbolic security analysis of ruby-on-rails web applications. CCS (2010)
Avik Chaudhuri
Liberalizing Dependency CoRR (2010)
Avik Chaudhuri, Deepak Garg
PCAL: Language Support for Proof-Carrying Authorization Systems. ESORICS (2009)
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster
Static Typing for Ruby on Rails. ASE (2009)
Avik Chaudhuri
Language-based security on Android. PLAS (2009)
Avik Chaudhuri
A concurrent ML library in concurrent Haskell. ICFP (2009)
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
A type system for data-flow integrity on windows vista. PLAS (2008)
Bruno Blanchet, Avik Chaudhuri
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage. IEEE Symposium on Security and Privacy (2008)
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
A Type System for Data-Flow Integrity on Windows Vista CoRR (2008)
Avik Chaudhuri
On Secure Distributed Implementations of Dynamic Access Control. CoRR (2008)
Avik Chaudhuri
Event Synchronization by Lightweight Message Passing CoRR (2008)
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga
EON: modeling and analyzing dynamic access control systems with logic programs. CCS (2008)
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
A type system for data-flow integrity on Windows Vista. ACM SIGPLAN Notices 43 (12) (2008)
Avik Chaudhuri
Dynamic Access Control in a Concurrent Object Calculus. CONCUR (2006)
Avik Chaudhuri, Martín Abadi
Formal Analysis of Dynamic, Distributed File-System Access Controls. FORTE (2006)
Avik Chaudhuri, Martín Abadi
Secrecy by Typing and File-Access Control. CSFW (2006)
Avik Chaudhuri, Martín Abadi
Formal security analysis of basic network-attached storage. FMSE (2005)