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
1052016
Oxide: The essence of rust
A Weiss, O Gierczak, D Patterson, A Ahmed
arXiv preprint arXiv:1903.00982, 2019
722019
Tortoise: Interactive System Configuration Repair
A Weiss, A Guha, Y Brun
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
552017
Oxide: The Essence of Rust. CoRR abs/1903.00982 (2019)
A Weiss, D Patterson, ND Matsakis, A Ahmed
arXiv preprint arXiv:1903.00982, 2019
162019
Rust Distilled: An Expressive Tower of Languages
A Weiss, D Patterson, A Ahmed
ML '18 Workshop, 2018
122018
Oxide: The essence of Rust (2021)
A Weiss, O Gierczak, D Patterson, A Ahmed
URL: http://arxiv. org/abs/1903.00982 v3, 1903
51903
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–7