Luau is the scripting language that powers user-generated experiences on...
In this paper we present lightweight record-and-replay (RR). In contrast...
This paper is about the interface between languages which use a garbage
...
This is the first paper to propose a pure event structures model of rela...