Decades of research on type systems have led to advances in the kinds of programming features that can be reasoned about and the kinds of errors that can be prevented. Nevertheless, the programming idioms in untyped, or dynamic, languages make heavy use of features --- run-time type tests, mutable objects indexed by dynamically computed keys, prototype inheritance, and higher-order functions --- that are beyond the reach of prior type systems. Because of the rising popularity of languages like JavaScript and Python, as well as the addition of dynamic features to statically typed languages, techniques for reasoning about untyped languages are potentially very valuable. In this dissertation, we present Dependent JavaScript, a statically typed...
Increased focus on JavaScript performance has resulted in vast performance improvements for many ben...
International audienceThe popularity of statically typed programming languages compiling to JavaScri...
This paper presents a constraint-based type inference algorithm for a subset of the JavaScript langu...
Dynamic scripting languages have recently experienced a dramatic growth. JavaScript in particular is...
Object-based languages with dynamic type systems are popular because they accelerate the development...
Dynamically typed languages such as JavaScript present a challenge to just-in-time compilers. In con...
Dynamic languages, such as JavaScript, give programmers the freedom to ignore types, and enable them...
This poster describes a paper for static analysis of JavaScript, which has proven useful for a varie...
Static analysis of JavaScript has proven useful for a variety of pur-poses, including optimization, ...
AbstractJavaScript is a powerful imperative object based language made popular by its use in web pag...
Typescript extends JavaScript with optional type annotations that are, by design, unsound and, that ...
Type feedback and type inference are two common methods used to optimize dynamic languages such as J...
Previous work proposed lazy basic block versioning, a technique for just-in-time compilation of dyna...
Abstract. We propose a static type system for a significant subset of JavaScript, dubbed SJS, with t...
International audienceJavaScript's flexible semantics makes writing correct code hard and writing se...
Increased focus on JavaScript performance has resulted in vast performance improvements for many ben...
International audienceThe popularity of statically typed programming languages compiling to JavaScri...
This paper presents a constraint-based type inference algorithm for a subset of the JavaScript langu...
Dynamic scripting languages have recently experienced a dramatic growth. JavaScript in particular is...
Object-based languages with dynamic type systems are popular because they accelerate the development...
Dynamically typed languages such as JavaScript present a challenge to just-in-time compilers. In con...
Dynamic languages, such as JavaScript, give programmers the freedom to ignore types, and enable them...
This poster describes a paper for static analysis of JavaScript, which has proven useful for a varie...
Static analysis of JavaScript has proven useful for a variety of pur-poses, including optimization, ...
AbstractJavaScript is a powerful imperative object based language made popular by its use in web pag...
Typescript extends JavaScript with optional type annotations that are, by design, unsound and, that ...
Type feedback and type inference are two common methods used to optimize dynamic languages such as J...
Previous work proposed lazy basic block versioning, a technique for just-in-time compilation of dyna...
Abstract. We propose a static type system for a significant subset of JavaScript, dubbed SJS, with t...
International audienceJavaScript's flexible semantics makes writing correct code hard and writing se...
Increased focus on JavaScript performance has resulted in vast performance improvements for many ben...
International audienceThe popularity of statically typed programming languages compiling to JavaScri...
This paper presents a constraint-based type inference algorithm for a subset of the JavaScript langu...