Rusty Systems

Language shapes thought; for 40 years, software systems and some of their research challenges have been defined by the C language. In the past 5 years, this has begun to change, with new languages (Rust, Go, coq) becoming competitors to C in large classes of systems. CS340R is a project-centric course that examines how the Rust programming language changes software systems, solving some problems while presenting new ones. This course seeks to ask and start to answer a simple question: "What are the most important open research challenges for software systems written in Rust?"