I'm Aaron Weiss, a language designer at Roblox working on Luau, a gradually-typed scripting language derived from Lua.
Previously, I was an 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 update synthesis for Puppet manifests.
I'm an open source software developer with over a decade of experience, mostly in Rust, Scala, and OCaml.

Publications
-
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.