Bi-abductive Adversarial Program Synthesis

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore bi-abductive adversarial program synthesis in this 22-minute conference talk presented by Julien Vanegue at ACM SIGPLAN's O'HearnFest. Delve into the innovative approach of combining bi-abduction and adversarial techniques for program synthesis, gaining insights into this cutting-edge research area in computer science and programming language theory.

Syllabus

[O'HearnFest] Bi-abductive adversarial program synthesis

Taught by

ACM SIGPLAN

Related Courses

Human Computer Interaction
Independent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera