conf.researchr.org / Alan Jeffrey
Registered user since Sun 18 Dec 2016
Name:Alan Jeffrey
Bio:
Software Engineer at Roblox, working on type systems and type inference for the Luau programming language.
Country:United States
Affiliation:Roblox
Personal website: http://asaj.org/
X (Twitter): https://x.com/asajeffrey
GitHub: https://github.com/asajeffrey
Research interests:Programming Languages, Type Systems, Reactive Programming
Contributions
2024
2023
HATRA
ICFP
2022
HATRA
POPL
Symposium on Practical Aspects of Declarative Languages
2021
HATRA
REBLS
ICFP
2020
SPLASH
ICFP
- 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