Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
