| 2019 | DLS | Optimizing and evaluating transient gradual typing. | Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri |
| 2016 | CCS | Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond. | Avik Chaudhuri |
| 2012 | APLAS | Types and Access Controls for Cross-Domain Security in Flash. | Aseem Rastogi, Avik Chaudhuri, Rob Johnson |
| 2012 | POPL | The ins and outs of gradual type inference. | Aseem Rastogi, Avik Chaudhuri, Basil Hosmer |
| 2011 | DLS | The impact of optional type information on jit compilation of dynamically typed languages. | Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz |
| 2011 | POPL | Dynamic inference of static types for ruby. | Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks |
| 2010 | CCS | Symbolic security analysis of ruby-on-rails web applications. | Avik Chaudhuri, Jeffrey S. Foster |
| 2009 | ESORICS | PCAL: Language Support for Proof-Carrying Authorization Systems. | Avik Chaudhuri, Deepak Garg |
| 2009 | ICFP | A concurrent ML library in concurrent Haskell. | Avik Chaudhuri |
| 2009 | PLDI | Language-based security on Android. | Avik Chaudhuri |
| 2008 | CCS | EON: modeling and analyzing dynamic access control systems with logic programs. | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga |
| 2008 | PLDI | A type system for data-flow integrity on windows vista. | Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani |
| 2008 | SP | Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage. | Bruno Blanchet, Avik Chaudhuri |
| 2006 | CONCUR | Dynamic Access Control in a Concurrent Object Calculus. | Avik Chaudhuri |
| 2006 | FORTE | Formal Analysis of Dynamic, Distributed File-System Access Controls. | Avik Chaudhuri, Martn Abadi |
| 2005 | CCS | Formal security analysis of basic network-attached storage. | Avik Chaudhuri, Martn Abadi |