BEGIN:VCALENDAR PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN CALSCALE:GREGORIAN X-WR-CALNAME:Calagator METHOD:PUBLISH VERSION:2.0 BEGIN:VTIMEZONE TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles BEGIN:STANDARD DTSTART:20161106T020000 RDATE:20161106T020000 TZOFFSETFROM:-0700 TZOFFSETTO:-0800 TZNAME:PST END:STANDARD END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20170206T180104Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20170207T120000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20170207T103000 DTSTAMP;VALUE=DATE-TIME:20170206T180104Z LAST-MODIFIED;VALUE=DATE-TIME:20170206T180104Z UID:http://calagator.org/events/1250471437 DESCRIPTION:abstract: \;\nIn 2015\, a language based fundamentally on substructural typing–Rust–hit its 1.0 release\, and less than a year lat er it has been put into production use in a number of tech companies\, i ncluding some household names. The language has started a trend\, with s everal other mainstream languages\, including C++ and Swift\, in the ear ly stages of incorporating ideas about ownership. How did this come abou t? \;\n \;\nRust’s core focus is safe systems programming. It does not require a runtime system or garbage collector\, but guarantees memo ry safety. It does not stipulate any particular style of concurrent prog ramming\, but instead provides the tools needed to guarantee data race f reedom even when doing low-level shared-state concurrency. It allows you to build up high-level abstractions without paying a tax\; its compilat ion model ensures that the abstractions boil away. \;\n \;\nThese benefits derive from two core aspects of Rust: its ownership system (bas ed on substructural typing) and its trait system (a descendant of Haskel l’s typeclasses). The talk will cover these two pillars of Rust design\, with particular attention to the key innovations that make the language usable at scale. It will highlight the implications for concurrency\, w here Rust provides a unique perspective. It will close out with a discus sion of Rust’s development process and design considerations around lang uage and library evolution. \;\n \;\nbio: \;\nAaron Turon is Re search Engineering Manager for the Rust team at Mozilla. He received his PhD from Northeastern University\, where he studied programming languag e design\, program verification\, and low-level concurrency. His dissert ation was awarded the SIGPLAN John C. Reynolds Doctoral Dissertation Awa rd in 2014. After his PhD studies\, he continued his research in concurr ency verification and programming techniques as a postdoc at MPI-SWS. He joined Mozilla in 2014\, and has played an active role in Rust’s develo pment since then.\n\nTags: rust\, programming languages\, computer scien ce\, safe programming\n\nImported from: http://calagator.org/events/1250 471437 URL:https://galois.com/blog/2017/02/rust-popl-practice/ SUMMARY:Galois tech talk: Rust - from POPL to practice LOCATION:Galois Inc: 421 Sw 6th Ave Ste 300\, Portland OR 97204 US SEQUENCE:1 END:VEVENT END:VCALENDAR