Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →
Matthew Bermanhoy +20Theo - t3․ggayer +114AI Engineerayer +7a16zayer +1Reid Hoffmanayer +1Chris Williamsonayer +1Conversations with TylerayerThe Buildersanteayer +1Citadel Securitiesanteayer +1硅谷101anteayer +1

Resultados

1 artículos
Ordenar
CanalJane StreetTemaSeguridadVoces1 voz
11 diapositivas1: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 engineeringSeguridad