Aaron Weiss
Aaron Weiss
Verified email at ccs.neu.edu - Homepage
Title
Cited by
Cited by
Year
Rehearsal: A Configuration Verification Tool for Puppet
R Shambaugh, A Weiss, A Guha
ACM SIGPLAN Notices 51 (6), 416-430, 2016
492016
Tortoise: Interactive System Configuration Repair
A Weiss, A Guha, Y Brun
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
292017
Oxide: The essence of rust
A Weiss, D Patterson, ND Matsakis, A Ahmed
arXiv preprint arXiv:1903.00982, 2019
92019
Rust Distilled: An Expressive Tower of Languages
A Weiss, D Patterson, A Ahmed
ML '18 Workshop, 2018
62018
Monty PL and the Holy Grail
A Weiss
ACM Student Research Competition (SRC) Grand Finals, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–5