Ownership types were devised nearly 15 years ago to provide a stronger notion of protection
to object-oriented programming languages. Rather than simply protecting the fields of an …

JavaScript is the main scripting language for Web browsers, and it is essential to modern
Web applications. Programmers have started using it for writing complex applications, but …

We present a survey of control-flow analysis of functional programs, which has been the
subject of extensive investigation throughout the past 30 years. Analyses of the control flow …

We present a system for extending standard type systems with flow-sensitive type qualifiers.
Users annotate their programs with type qualifiers, and inference checks that the …

The purpose of this paper is to present four basic methods for compositional separate
modular static analysis of programs by abstract interpretation:-simplification-based separate …

In order to contribute to the solution of the software reliability problem, tools have been
designed to analyze statically the run-time behavior of programs. Because the correctness …

This paper identifies and formalizes a prevalent class of asymptotic performance bugs called
redundant traversal bugs and presents a novel static analysis for automatically detecting …

In this functional pearl, we examine the use of definitional interpreters as a basis for abstract
interpretation of higher-order programming languages. As it turns out, definitional …

Operating system (OS) is the cornerstone for modern computer systems. It manages devices
and provides fundamental service for user-level applications. Thus, detecting bugs in OSes …

We present two independent and complementary improvements for flow-based analysis of
higher-order languages:(1) abstract garbage collection and (2) abstract counting …