log in  |  register  |  feedback?  |  help  |  web accessibility
PLunch: Program Synthesis using Conflict-Driven Learning
Sankha Guria
3460 A.V. Williams Building (AVW)
Wednesday, October 3, 2018, 1:00-2:00 pm
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
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