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/

Twitter: https://twitter.com/asajeffrey

GitHub: https://github.com/asajeffrey

Research interests: Programming Languages, Type Systems, Security, Reactive Programming

Contributions

REBLS 2020 PC Member in Program Committee within the REBLS 2020-track
POPL 2021 Organizer of Games Programming Languages BoF Session within the POPL Meetups-track
ICFP 2021 Industrial Relations Chair in Organizing Committee
Committee Member in Steering Committee
SPLASH 2020 Author of Pomsets with Preconditions: A Simple Model of Relaxed Memory within the OOPSLA-track
ICFP 2020 Author of Virtual Art Gallery within the Social Events-track
Author in Steering Committee
Organizer of ShutdownPL: Keynote and Getting Started With Anti-racist Action within the Social Events-track
Industrial Relations Chair in Organizing Committee
Session Chair of Asia 2 (part of ICFP Program)
Session Chair of New York 2 (part of ICFP Program)
Committee Member in Virtualization Committee
PriSC 2019 Committee Member in Program Committee within the PriSC 2019-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
ICFP 2019 Industrial Relations Chair in Organizing Committee
Industrial Relations Chair in Steering Committee
ICFP 2018 Accessibility Chair in Organizing Committee
Industrial Relations Chair in Organizing Committee
IC 2017 Committee Member in Program Committee within the IC 2017-track
ICFP 2017 Committee Member in Program Committee within the Research Papers-track