YoVDO

Bi-abductive Adversarial Program Synthesis

Offered By: ACM SIGPLAN via YouTube

Tags

Program Synthesis Courses Computer Security Courses Formal Methods Courses Static Analysis Courses

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

Secure Software Development: Verification and More Specialized Topics
Linux Foundation via edX Developing Secure Software
LinkedIn Learning Ethical Hacking: Mobile Devices and Platforms
LinkedIn Learning Tüm Aşamalarıyla İnşaat Eğitimi - AUTOCAD/STA4/EXCEL/PROJECT
Udemy Mobile Security: Reverse Engineer Android Apps From Scratch
Udemy