Description:
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.
Bi-abductive Adversarial Program Synthesis
Add to list
#Computer Science
#Artificial Intelligence
#Program Synthesis
#Information Security (InfoSec)
#Cybersecurity
#Computer Security
#Software Engineering
#Formal Methods
#Programming
#Software Development
#Software Testing
#Static Analysis
0:00 / 0:00