
I'm Aaron (they/them), and I'm a Software Engineer & Language Designer at Roblox working on Luau, a gradually-typed scripting language derived from Lua. My efforts are primarily focused on the design of and developer experience with Luau's type system.
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 & other tabletop roleplaying games. 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.