PLunch: Program Synthesis using Conflict-Driven Learning
Sankha Guria
Abstract
Weekly PL lunch discussing the paper "Program Synthesis using Conflict-Driven Learning.” Discussion will be led by Sankha Guria.
Paper available here: https://www.cs.utexas.edu/~isil/pldi18-neo.pdf
Sign up to present here: https://docs.google.com/spreadsheets/d/1qOSdfrRyT7D3VyLtp992x0F5vVmaFpLIOh0Nh91DRWk?usp=sharing
This talk is organized by Kesha Hietala