
Hi, I'm Ariel (she/her) from the Luau team. I work as a Software Engineer and Tech Lead at Roblox where my efforts are primarily focused on the design of and developer experience with Luau's type system & ecosystem. 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.
-
lrt is a standalone Luau runtime for general-purpose programming, aiming to enable developers to use Luau for writing developer tooling and application code.
-
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.