Session-typed languages building on the Curry-Howard isomorphism between linear logic
and session-typed communication guarantee session fidelity and deadlock freedom …

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 at …

Recently we have seen a renewed interest in programming languages that tame the
complexity of state and concurrency through refined type systems with more fine-grained …

Garbage collection greatly improves programmer productivity and ensures memory safety.
Manual memory management on the other hand often delivers better performance but is …

Safe programming languages are readily available, but many applications continue to be
written in unsafe languages because of efficiency. As a consequence, many applications …

This article introduces a technique to accurately perform static prediction of resource usage
for ML-like functional programs with references and arrays. Previous research successfully …

Dynamic scripting languages have recently experienced a dramatic growth. JavaScript in
particular is one of the main technologies powering the web. As web applications grow in …