3 papers
cs.PL2021
Position Paper: Goals of the Luau Type System
Lily Brown, Andy Friesen, Alan Jeffrey
Luau is the scripting language that powers user-generated experiences on the Roblox platform. It is a statically-typed language, based on the dynamically-typed Lua language, with t…
cs.SE2019
Lightweight Record-and-Replay for Intermittent Tests Failures
Omar S Navarro Leija, Alan Jeffrey
In this paper we present lightweight record-and-replay (RR). In contrast to traditional "fully deterministic" RR solutions, lightweight RR focuses on handling nondeterminism arisin…
cs.PL2018
Josephine: Using JavaScript to safely manage the lifetimes of Rust data
Alan Jeffrey
This paper is about the interface between languages which use a garbage collector and those which use fancy types for safe manual memory management. Garbage collection is the tradi…