Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →
Matthew Bermanaujourd’hui +1Theo - t3․gghier +79AI Engineerhier +2a16zavant-hier +1The Buildersavant-hier +1硅谷101avant-hier +1SemiAnalysisavant-hier +1Chris Williamsonavant-hierCheeky Pintavant-hierInvest Like The Bestavant-hier

Résultats

1 articles
Trier
ChaîneJane StreetThèmeSécuritéVoix1 voix
11 diapositives1:05:59EN
Jane Street· 27 sept. 2019Derek Dreyer: Proving the Safety of Rust with RustBelt and IrisDerek Dreyer · Max Planck Institute for Software SystemsRust combines safe interfaces with libraries that use unsafe code internally. Derek Dreyer explains how RustBelt verifies those libraries and why its proof needs an expressive logic for concurrency.Programming LanguagesSoftware engineeringSécurité