I’m Aaron Weiss, a first-year PhD student and NSF Fellow at Northeastern designing type systems 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 about a decade of experience, mostly in Rust and Scala.
Publications
-
In ML Family Workshop (ML '18), St. Louis, Missouri, USA, June 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.