Rehearsal: A Configuration Verification Tool for Puppet R Shambaugh, A Weiss, A Guha ACM SIGPLAN Notices 51 (6), 416-430, 2016 | 91 | 2016 |
Oxide: The essence of rust A Weiss, O Gierczak, D Patterson, A Ahmed arXiv preprint arXiv:1903.00982, 2019 | 58 | 2019 |
Tortoise: Interactive System Configuration Repair A Weiss, A Guha, Y Brun 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 50 | 2017 |
Oxide: The Essence of Rust. CoRR abs/1903.00982 (2019) A Weiss, D Patterson, ND Matsakis, A Ahmed arXiv preprint arXiv:1903.00982, 2019 | 13 | 2019 |
Rust Distilled: An Expressive Tower of Languages A Weiss, D Patterson, A Ahmed ML '18 Workshop, 2018 | 11 | 2018 |
Oxide: The essence of Rust (2021) A Weiss, O Gierczak, D Patterson, A Ahmed URL: http://arxiv. org/abs/1903.00982 v3, 1903 | 5 | 1903 |
Monty PL and the Holy Grail A Weiss ACM Student Research Competition (SRC) Grand Finals, 2019 | | 2019 |