1:11:26 Logic Lounge at CAV 2024: Realizing Leibniz’s Dream by Scott Shapiro Conference on Computer-Aided Verification 331 views - 1 year ago
1:14:44 CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software Verification by Leonardo de Moura Conference on Computer-Aided Verification 1.2K views - 1 year ago
1:11:56 CAV 2024 Keynote: The Art of SMT Solving by Erika Ábrahám Conference on Computer-Aided Verification 212 views - 1 year ago
1:45:11 CAV Award 2023: Akash Lal, Madan Musuvathi, Shaz Qadeer, Jakob Rehof, Thomas Reps Conference on Computer-Aided Verification 476 views - 2 years ago
1:09:20 CAV'23 Keynote Caroline Trippel, Stanford University: Verified Software Security Down to Gates Conference on Computer-Aided Verification 834 views - 2 years ago
1:16:13 CAV'23 Keynote Ruzica Piskac, Yale University: Privacy-preserving Automated Reasoning Conference on Computer-Aided Verification 595 views - 2 years ago
1:10:26 CAV'23 Keynote Sumit Gulwani, Microsoft Research: Analogical Reasoning Engines: Flash Fill vs GPT-4 Conference on Computer-Aided Verification 1.5K views - 2 years ago
12:20 SYNT 2020: Modular Synthesis of Reactive Programs Conference on Computer-Aided Verification 280 views - 5 years ago
49:35 SYNT 2020: Neuro-Symbolic Program Synthesis from Natural Language and Demonstrations Conference on Computer-Aided Verification 1.4K views - 5 years ago
18:44 SYNT 2020: Gradient Descent over Metagrammars for Syntax-Guided Synthesis Conference on Computer-Aided Verification 177 views - 5 years ago
18:54 SYNT 2020: Synthesis in Uclid5 Conference on Computer-Aided Verification 139 views - 5 years ago
20:01 SYNT 2020: Extracting Structured Information From Unstructured Text Using Synthesis and Learning Conference on Computer-Aided Verification 648 views - 5 years ago
17:40 SYNT 2020: Reactive Synthesis Competition Results Conference on Computer-Aided Verification 128 views - 5 years ago
22:27 SYNT 2020: Just In Time Reactive Synthesis Conference on Computer-Aided Verification 130 views - 5 years ago
39:43 SYNT 2020: Program Synthesis for Usable Programming Tools Conference on Computer-Aided Verification 212 views - 5 years ago
1:31:33 CAV 2020 Session 9C: Stochastic Systems II July 24 Conference on Computer-Aided Verification 208 views - 5 years ago
1:34:10 CAV 2020 Session 9B: Concurrency and Diagnosis July 24 Conference on Computer-Aided Verification 244 views - 5 years ago
1:38:30 CAV 2020 Session 9A: Synthesis II July 24 Conference on Computer-Aided Verification 301 views - 5 years ago
1:40:33 CAV 2020 Session 7C: Synthesis I July 24 Conference on Computer-Aided Verification 305 views - 5 years ago
1:12:03 CAV 2020 Session 5B: Hybrid and Dynamic Systems July 22 Conference on Computer-Aided Verification 384 views - 5 years ago
1:33:01 CAV 2020 Session 7B: Stochastic Systems I July 23 Conference on Computer-Aided Verification 261 views - 5 years ago
1:28:38 CAV 2020 Session 7A: Program Verification and Symbolic Analysis July 23 Conference on Computer-Aided Verification 408 views - 5 years ago
1:47:37 CAV 2020 Session 5C: Model Checking July 22 Conference on Computer-Aided Verification 443 views - 5 years ago
1:37:13 CAV 2020 Session 5A: Blockchain and Security July 22 Conference on Computer-Aided Verification 324 views - 5 years ago
1:01:04 CAV 2020 Keynote: Towards Robust Artificial Intelligence via Spec-consistent Machine Learning Conference on Computer-Aided Verification 120 views - 5 years ago
1:05:32 CAV 2020 Keynote: Formal Verification of Libra Blockchain Smart Contracts - David Dill Conference on Computer-Aided Verification 652 views - 5 years ago
1:30:24 CAV 2020 Session 3C: Hardware Verification and Decision Procedures July 21 Conference on Computer-Aided Verification 462 views - 5 years ago
1:31:41 CAV 2020 Session 3B: Concurrency July 21 Conference on Computer-Aided Verification 432 views - 5 years ago
1:32:25 CAV 2020 Session 3A: AI Verification July 21 Conference on Computer-Aided Verification 699 views - 5 years ago
1:53:53 CAV 2020 Tutorial: Probabilistic Programming: A Guide for Verificationists Conference on Computer-Aided Verification 810 views - 5 years ago
2:05:19 CAV 2020 Tutorial: Quantifying Information Leakage Using Model Counting Conference on Computer-Aided Verification 696 views - 5 years ago
47:06 "End-to-end robustness for Sensing-Reasoning pipeline in adversarial environments" | VNN 2020 Conference on Computer-Aided Verification 318 views - 5 years ago
38:53 "Abstractions for Scalable Verification of AI-Controlled Cyber-Physical Systems" | VNN 2020 Conference on Computer-Aided Verification 1.1K views - 5 years ago
14:20 CAV 2020 Teaser Videos July 24 Conference on Computer-Aided Verification 382 views - 5 years ago
22:29 "Property Inference in ReLU Nets using Linear Interpolants" | VNN 2020 Conference on Computer-Aided Verification 187 views - 5 years ago
14:45 "Image Approximation for Feed Forward Neural Nets" | VNN 2020 Conference on Computer-Aided Verification 297 views - 5 years ago
17:35 "Execution-Guided Overapproximation (EGO) for Neural Network Verification" | VNN 2020 Conference on Computer-Aided Verification 224 views - 5 years ago
19:21 "L1-Norm Channel Pruning for Convolutional Neural Network Verification" | VNN 2020 Conference on Computer-Aided Verification 1.2K views - 5 years ago
17:01 CAV 2020 Teaser Videos July 22 Conference on Computer-Aided Verification 504 views - 5 years ago
15:33 CAV 2020 Teaser Videos July 21 Conference on Computer-Aided Verification 1.3K views - 5 years ago
15:08 CAV 2020 Teaser Videos July 23 Conference on Computer-Aided Verification 412 views - 5 years ago
35:02 "Difflog: Beyond Deductive Methods in Program Analysis" Mukund Raghothaman | FLOC 2018 Conference on Computer-Aided Verification 335 views - 7 years ago
51:27 "Program Synthesis as High-Level Machine Learning" Swarat Chaudhuri | FLOC 2018 Conference on Computer-Aided Verification 592 views - 7 years ago
45:12 "Understanding & Generating Source Code with Graph Neural Networks" Miltos Allamanis | FLOC 2018 Conference on Computer-Aided Verification 5.1K views - 7 years ago
52:01 "Program synthesis and its connections to AGI" Pushmeet Kohli | FLOC 2018 Conference on Computer-Aided Verification 910 views - 7 years ago
45:33 "Why is Software Natural? and how can Naturalness be exploited?" Prem Devambu | FLOC 2018 Conference on Computer-Aided Verification 137 views - 7 years ago
33:28 "Splitting source code identifiers...." Vadim Markovtsev | FLOC 2018 Conference on Computer-Aided Verification 107 views - 7 years ago
53:36 "code2vec: Learning Distributed Representations of Code" Eran Yahav | FLOC 2018 Conference on Computer-Aided Verification 2.5K views - 7 years ago
47:50 "DeepBugs: A Learning Approach to Name-based Bug Detection" Michael Pradel | FLOC 2018 Conference on Computer-Aided Verification 1.2K views - 7 years ago
45:07 "Learning to Analyze Programs at Scale" Martin Vechev | FLOC 2018 Conference on Computer-Aided Verification 379 views - 7 years ago
42:53 "Neural Meta Program Synthesis" Rishabh Singh | FLOC 2018 Conference on Computer-Aided Verification 323 views - 7 years ago
45:41 "Bimodal Software Engineering" Earl Barr | FLOC 2018 Conference on Computer-Aided Verification 210 views - 7 years ago
32:13 "Measuring software development productivity: a machine learning approach" Ian Wright | FLOC 2018 Conference on Computer-Aided Verification 201 views - 7 years ago
28:37 "Answering Cloze-style Software Questions Using Stack Overflow" Ezra Winston | FLOC 2018 Conference on Computer-Aided Verification 87 views - 7 years ago
40:19 "Learning to Type" Liam Atkinson | FLOC 2018 Conference on Computer-Aided Verification 642 views - 7 years ago
58:19 Social Dynamics in the Post-Truth Society: How the Confirmation Bias is Changing... Conference on Computer-Aided Verification 287 views - 8 years ago
21:53 "Quantitative Assume Guarantee Synthesis" Jan Oliver Ringert | CAV 2017 Conference on Computer-Aided Verification 125 views - 8 years ago
17:03 "Bounded Synthesis for Streett, Rabin, and CTL*" Ayrat Khalimov | CAV 2017 Conference on Computer-Aided Verification 97 views - 8 years ago
17:11 "Synchronization Synthesis for Network Programs" Jedidiah McClurg | CAV 2017 Conference on Computer-Aided Verification 80 views - 8 years ago
19:23 "Verifying Equivalence of Spark Programs" Noam Rinetzky | CAV 2017 Conference on Computer-Aided Verification 72 views - 8 years ago