376 подписчиков
101 видео
Symbol Elimination for Program Analysis - Laura Kovacs
Veselin Raychev 2022-10-07
Hila Pelag 2022-10-08
Machine Programming & Data-Driven Dependable and Secure Software Systems - Justin Gottschlich
Theodoros Theodoridis 22-10-7
On the Surprising Efficiency and Exponential Cost of Fuzzing - Marcel Böhme
Analysis and Testing for Probabilistic Programming - Sasa Misailovic
Combinatorial Constructions in Testing Concurrent Programs - Rupak Majumdar
Evaluating Design Tradeoffs in Numeric Static Analysis for Java - Michael Hicks
Towards Verified Stochastic Variational Inference for Probabilistic Programs - Hongseok Yang
Debugging Debug Information - Francesco Zappa Nardelli
Resource-Aware Session Types for Programming Digital Contracts - Jan Hoffmann
Safe Deep Learning: progress and open problems - Martin Vechev
Testing Database Management Systems via Pivoted Query Synthesis - Manuel Rigger
Safe and Robust Deep Learning - Gagandeep Singh
Ilya Sergey 2022-10-07
Verification and Synthesis for Data Structures - Anders Miltner
On the Business of Proof - Byron Cook
Nuno Lopez 2022-10-08
Baris Kasikci 2022-10-08
Joao Rivera 2022-10-08
Zachary Tatlock 2022-10-08
Understanding and Generating Source Code with Deep Learning - Marc Brockschmidt
Prusti - Deductive Verification for Rust - Alexander Summers
Azalea Raad 2022-10-07
Kevin Ellis 2022-10-07
Saman Amarasinghe 2022-10-07
Marco Eilers 2022-10-08
