In this work, we study the JavaScript Sealed Classes, which differ from regular classes in a few ways that allow ahead-of-time (AoT) compilers to implement them more efficiently. Sealed classes are compatible with the rest of the language so that they can be combined with all other structures, including regular classes, and can be gradually integrated into existing code bases. We present the design of the sealed classes and study their implementation in the hopc AoT compiler. We present an in-depth analysis of the speed of sealed classes compared to regular classes. To do so, we assembled a new suite of benchmarks that focuses on the efficiency of the class implementations. On this suite, we found that sealed classes provide an average spee...
International audienceJavaScript is the de facto programming language for the Web. It is used to imp...
We introduce compositional symbolic execution and verification based on separation logic to Gillian,...
A significant amount of both client and server-side cryptography is implemented in JavaScript. Despi...
In this work, we study the JavaScript Sealed Classes, which differ from regular classes in a few way...
International audienceThe fastest JavaScript production implementations use just-in-time (JIT) compi...
International audienceInline caches and hidden classes are two essential components for closing the ...
JavaScript is the most popular programming language for the Web. Although the language is prototype-...
This thesis addresses two issues: (i) The execution behavior of JavaScript in established benchmarks...
International audienceJavaScript is the most popular programming language for the Web. Although the ...
This thesis addresses two issues: (i) The execution behavior of JavaScript in established benchmarks...
Current proposals for adding gradual typing to JavaScript, such as Closure, TypeScript and Dart, for...
Two important trends in computer systems are that applications are moved to the Internet as web appl...
International audienceJavaScript is the de facto programming language for the Web. It is used to imp...
Dynamically typed languages such as JavaScript present a challenge to just-in-time compilers. In con...
International audienceStatic compilation, a.k.a., ahead-of-time (AOT) compilation, is an alternative...
International audienceJavaScript is the de facto programming language for the Web. It is used to imp...
We introduce compositional symbolic execution and verification based on separation logic to Gillian,...
A significant amount of both client and server-side cryptography is implemented in JavaScript. Despi...
In this work, we study the JavaScript Sealed Classes, which differ from regular classes in a few way...
International audienceThe fastest JavaScript production implementations use just-in-time (JIT) compi...
International audienceInline caches and hidden classes are two essential components for closing the ...
JavaScript is the most popular programming language for the Web. Although the language is prototype-...
This thesis addresses two issues: (i) The execution behavior of JavaScript in established benchmarks...
International audienceJavaScript is the most popular programming language for the Web. Although the ...
This thesis addresses two issues: (i) The execution behavior of JavaScript in established benchmarks...
Current proposals for adding gradual typing to JavaScript, such as Closure, TypeScript and Dart, for...
Two important trends in computer systems are that applications are moved to the Internet as web appl...
International audienceJavaScript is the de facto programming language for the Web. It is used to imp...
Dynamically typed languages such as JavaScript present a challenge to just-in-time compilers. In con...
International audienceStatic compilation, a.k.a., ahead-of-time (AOT) compilation, is an alternative...
International audienceJavaScript is the de facto programming language for the Web. It is used to imp...
We introduce compositional symbolic execution and verification based on separation logic to Gillian,...
A significant amount of both client and server-side cryptography is implemented in JavaScript. Despi...