Avik Chaudhuri

According to our database, Avik Chaudhuri authored at least 22 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Optimizing and evaluating transient gradual typing.

Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri

Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2017

Fast and precise type checking for JavaScript.

Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi

Proc. ACM Program. Lang., 2017

2016

Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond.

Avik Chaudhuri

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2012

The ins and outs of gradual type inference.

Aseem Rastogi, Avik Chaudhuri, Basil Hosmer

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Types and Access Controls for Cross-Domain Security in Flash.

Aseem Rastogi, Avik Chaudhuri, Rob Johnson

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Dynamic inference of static types for ruby.

Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

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

Proceedings of the 7th Symposium on Dynamic Languages, 2011

2010

Liberalizing Dependency

Avik Chaudhuri

CoRR, 2010

Symbolic security analysis of ruby-on-rails web applications.

Avik Chaudhuri, Jeffrey S. Foster

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Language-based security on Android.

Avik Chaudhuri

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Static Typing for Ruby on Rails.

Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster

Proceedings of the ASE 2009, 2009

A concurrent ML library in concurrent Haskell.

Avik Chaudhuri

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

PCAL: Language Support for Proof-Carrying Authorization Systems.

Avik Chaudhuri, Deepak Garg

Proceedings of the Computer Security, 2009

2008

A type system for data-flow integrity on Windows Vista.

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani

ACM SIGPLAN Notices, 2008

Event Synchronization by Lightweight Message Passing

Avik Chaudhuri

CoRR, 2008

On Secure Distributed Implementations of Dynamic Access Control.

Avik Chaudhuri

CoRR, 2008

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage.

Bruno Blanchet, Avik Chaudhuri

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

EON: modeling and analyzing dynamic access control systems with logic programs.

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2006

Formal Analysis of Dynamic, Distributed File-System Access Controls.

Avik Chaudhuri, Martín Abadi

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Secrecy by Typing and File-Access Control.

Avik Chaudhuri, Martín Abadi

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Dynamic Access Control in a Concurrent Object Calculus.

Avik Chaudhuri

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Formal security analysis of basic network-attached storage.

Avik Chaudhuri, Martín Abadi

Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005