Hi, I'm Aaron (she/they) from the Luau team. I work as a Software Engineer at Roblox where my efforts are primarily focused on the design of and developer experience with Luau's type system. Its gradual type system is really quite fun, featuring powerful features like semantic subtyping, typestate, and partial type operators.
Outside of work, I'm a FromSoft fanatic, chronic Savage raider in the critically-acclaimed MMORPG Final Fantasy XIV, and a lover of Dungeons & Dragons, Lancer & other ttrpgs. In other media, I'm a hyperpop appreciator, especially brakence & underscores, and mecha anime enjoyer, especially Witch from Mercury & Neon Genesis Evangelion.
In my past life, I was an academic. I was a PhD student & NSF Fellow at Northeastern working on a formal semantics for Rust with Amal Ahmed. As an undergraduate, I worked with Arjun Guha on static verification and program repair for Puppet manifests.
-
sanguinello is a software gardening project to gradually & sustainably build a small, safe, typed embeddable scripting language that can make application programming fun.
-
diet coke is a simple functional language inspired by koka with a type-and-effect system featuring row-polymorphic effects and hindley-milner type inference.
-
On arXiv, October 2021. Awarded First Place in POPL '19 SRC.
-
In ML Family Workshop (ML '18), St. Louis, Missouri, USA, September 2018.
-
In Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE '17), Urbana, Illinois, USA, October 2017.
-
In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '16), Santa Barbara, California, USA, June 2016. Distinguished Artifact Award.