POPL 2017 Invited talk on rust A POPL 2017(seres)/ A POPL 2017/ Rust: from POPL to practice POPL 2017 When Fri 20 Jan 2017 09: 05-10: 00 at Auditorium - Invited speaker Chair(sk Giuseppe Castagna Abstract In 2015, a language based fundamentally on substructural typing-Rust-hit its 1.0 release, and less than a year stages of incorporating ideas about ownership. How did this come about? Rust's core focus is safe systems programming. It does not require a runtime system or garbage collector, but guarantees memory safety. It does not stipulate any particular style of concurrent programming, but instead provides the tools needed to guarantee data race freedom even when doing low-level shared-state concurrency It allows you to build up high-level abstractions without paying a tax; its compilation model ensures that the abstractions boil away. Aaron Turon its trait system(a descendant of Haskel's typeclasses). The talk will cover these two pillars of Rust design, with P-swS These benefits derive from two core aspects of Rust: its ownership system(based on substructural typing)and particuiar attention to the key innovations that make the language usable at scale. It will highlight the implications for concurrency, where Rust provides a unique perspective, It will also touch on aspects of Rust's development that tend to get less attention within the POPL community: Rust's govemance and open development process. and design considerations around language and library evolution. Finally, it will mention a few of the myriad open research questions around Rust Session Program Fri 20 Jan 09: 05-10: 00: POPL. Invited speaker at Auditorium ChairIs): Giuseppe Castagna 19:05-1000 R Rust: from POPL to practice aron TuronPOPL 2017 Invited Talk on Rust