Follow
Aaron Weiss
Aaron Weiss
Software Engineer at Roblox
Verified email at roblox.com - 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
722016
Tortoise: Interactive System Configuration Repair
A Weiss, A Guha, Y Brun
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
392017
Oxide: The essence of rust
A Weiss, O Gierczak, D Patterson, A Ahmed
arXiv preprint arXiv:1903.00982, 2019
352019
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