39 citations · 56 across the 4 of their papers we have counts for
4 papers
Oxide: The Essence of Rust
Aaron Weiss, Olek Gierczak, Daniel Patterson +1
Rust claims to advance industrial programming by bridging the gap between low-level systems programming and high-level application programming. At the heart of the argument that th…
Rust Distilled: An Expressive Tower of Languages
Aaron Weiss, Daniel Patterson, Amal Ahmed
Rust represents a major advancement in production programming languages because of its success in bridging the gap between high-level application programming and low-level systems…
Tortoise: Interactive System Configuration Repair
Aaron Weiss, Arjun Guha, Yuriy Brun
System configuration languages provide powerful abstractions that simplify managing large-scale, networked systems. Thousands of organizations now use configuration languages, such…
Rehearsal: A Configuration Verification Tool for Puppet
Rian Shambaugh, Aaron Weiss, Arjun Guha
Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, b…