SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Alan Jeffrey

Registered user since Sun 18 Dec 2016

Name:Alan Jeffrey
Bio:

Software Engineer at Roblox, working on gradual typing and type inference for the Luau programming language.

Country:United States
Affiliation:Roblox
Personal website:http://asaj.org/
Research interests:Programming Languages, Type Systems, Security, Reactive Programming

Contributions

HATRA 2021 Committee Member in Program Committee within the HATRA 2021-track
Session Chair of Types, Proofs, and Design Theory (part of HATRA 2021)
Position Paper: Goals of the Luau Type System
REBLS 2021 Session Chair of Session 2 (part of REBLS 2021)
Committee Member in Program Committee within the REBLS 2021-track
SPLASH 2021 Pomsets with Preconditions: A Simple Model of Relaxed Memory
Show activities from other conferences

SPLASH 2021-profile
View general profile