research
∙
09/22/2021
Position Paper: Goals of the Luau Type System
Luau is the scripting language that powers user-generated experiences on...
share
research
∙
09/06/2019
Lightweight Record-and-Replay for Intermittent Tests Failures
In this paper we present lightweight record-and-replay (RR). In contrast...
research
∙
06/29/2018
Josephine: Using JavaScript to safely manage the lifetimes of Rust data
This paper is about the interface between languages which use a garbage ...
research
∙
07/18/2017
