4 citations · 4 across the 4 of their papers we have counts for
6 papers
Optimizing and Evaluating Transient Gradual Typing
Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri
Gradual typing enables programmers to combine static and dynamic typing in the same language. However, ensuring a sound interaction between the static and dynamic parts can incur s…
Fast and Precise Type Checking for JavaScript
Avik Chaudhuri, Panagiotis Vekris, Sam Goldman +2
In this paper we present the design and implementation of Flow, a fast and precise type checker for JavaScript that is used by thousands of developers on millions of lines of code…
Liberalizing Dependency
Avik Chaudhuri
The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming language setting…
On Secure Distributed Implementations of Dynamic Access Control
Avik Chaudhuri
Distributed implementations of access control abound in distributed storage protocols. While such implementations are often accompanied by informal justifications of their correctn…
Event Synchronization by Lightweight Message Passing
Avik Chaudhuri
Concurrent ML's events and event combinators facilitate modular concurrent programming with first-class synchronization abstractions. A standard implementation of these abstraction…
A Type System for Data-Flow Integrity on Windows Vista
Avik Chaudhuri, Prasad Naldurg, Sriram Rajamani
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code can be blamed for any information-flow atta…