Avik Chaudhuri

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