61 citations · 79 across the 7 of their papers we have counts for
7 papers
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…
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…
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…
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
Alan Jeffrey, James Riely
To model relaxed memory, we propose confusion-free event structures over an alphabet with a justification relation. Executions are modeled by justified configurations, where every…
A Model of Navigation History
Connor G. Brewster, Alan Jeffrey
Navigation has been a core component of the web since its inception: users and scripts can follow hyperlinks, and can go back or forwards through the navigation history. In this pa…
Lambda-RBAC: Programming with Role-Based Access Control
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher +1
We study mechanisms that permit program components to express role constraints on clients, focusing on programmatic security mechanisms, which permit access controls to be expresse…
Contextual equivalence for higher-order pi-calculus revisited
Alan Jeffrey, Julian Rathke
The higher-order pi-calculus is an extension of the pi-calculus to allow communication of abstractions of processes rather than names alone. It has been studied intensively by Sang…