Aaron Weiss / Home

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

Tortoise: Interactive System Configuration Repair

Aaron Weiss, Arjun Guha, Yuriy Brun.

In Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE '17), Urbana, Illinois, USA, October 2017.
Rehearsal: A Configuration Verification Tool for Puppet

Rian Shambaugh, Aaron Weiss, Arjun Guha.

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.