Jun Mukai – Misreading Chat CS の論文読んで話をしよう! 67 episodios disponibles あなたのポッドキャストですか?申請する この番組の最新エピソード Jun Mukai – Misreading Chat Mostrando página 2 de 4 #102: Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow 27/10/2022 #99: The Prusti Project: Formal Verification for Rust 27/09/2022 #97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 23/08/2022 #95: CockroachDB: The Resilient Geo-Distributed SQL Database 10/07/2022 #94: Mesos: A Platform for Fine-Grained Resource Sharing in the Data Cente 02/06/2022 #90: Evaluation of splittable pseudo-random generators 19/01/2021 #88: A History of Haskell: being lazy with class 27/10/2020 #85: Continuous Profiling: Where Have All the Cycles Gone? 17/10/2020 #83: Dynamic Instrumentation of Production Systems 08/10/2020 #81: gprof: a Call Graph Execution Profiler 02/10/2020 #79: Adversarial Examples Are Not Bugs, They Are Features 25/09/2019 #77: Orca: Differential Bug Localization in Large-Scale Services 04/09/2019 #75: To Unify or Not to Unify: A Case Study on Unified Builds in WebKit 20/08/2019 #73: Understanding Real-World Concurrency Bugs in Go 13/08/2019 #71: Machine Learning at Facebook: Understanding Inference at the Edge 08/08/2019 #69: Bandana: Using Non-Volatile Memory for Storing Deep Learning Models 30/07/2019 #67: Towards Federated Learning at Scale: System Design 22/07/2019 #65: Communication-Efficient Learning of Deep Networks from Decentralized Data 14/07/2019 #63: Programming with Algebraic Effects and Handlers 24/06/2019 #61 – Spectre is Here to Stay 14/06/2019 « Primera 前へ 1 2 3 4 次へ Última »