CAV Award 2023: Akash Lal, Madan Musuvathi, Shaz Qadeer, Jakob Rehof, Thomas Reps Conference on Computer-Aided Verification 770 подписчиков Скачать
CAV'23 Keynote Caroline Trippel, Stanford University: Verified Software Security Down to Gates Скачать
CAV'23 Keynote Sumit Gulwani, Microsoft Research: Analogical Reasoning Engines: Flash Fill vs GPT-4 Скачать
SYNT 2020: Extracting Structured Information From Unstructured Text Using Synthesis and Learning Скачать
CAV 2020 Keynote: Towards Robust Artificial Intelligence via Spec-consistent Machine Learning Скачать
CAV 2020 Keynote: Towards Robust Artificial Intelligence via Spec-consistent Machine Learning Скачать
Verification Mentoring Workshop: Session 3b (Panel: Swarat C., Liana H., Justin H., Marta K.) Скачать
"End-to-end robustness for Sensing-Reasoning pipeline in adversarial environments" | VNN 2020 Скачать
"Understanding & Generating Source Code with Graph Neural Networks" Miltos Allamanis | FLOC 2018 Скачать
"Measuring software development productivity: a machine learning approach" Ian Wright | FLOC 2018 Скачать
"Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems" Скачать
"Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems" Скачать
"Compositional Model Checking with Incremental Counter-Example Construction" Anton Wijs | CAV 2017 Скачать
"Simulation-Equivalent Reachability of Large Linear Systems with Inputs" Stanley Bak | CAV 2017 Скачать
"Runtime Monitoring with Recovery of the SENT Communication Protocol" Konstantin Selyunin | CAV 2017 Скачать
"Value Iteration for Long-run Average Reward in Markov Decision Processes" T. Meggendorfer | CAV Скачать
"Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes" Скачать
"Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds" Hongfei Fu | CAV 2017 Скачать
"Maximum Satisfiability in Software Analysis: Applications and Techniques" Mayur Naik | CAV 2017 Скачать