PLunch: A data-driven CHC solver
Ben Mariano
Abstract
Weekly PL lunch discussing the paper "A data-driven CHC solver" from this year's PLDI. Discussion will be led by Ben Mariano.
Paper available here: https://dl.acm.org/citation.cfm?id=3192416
Sign up to present here: https://docs.google.com/spreadsheets/d/1qOSdfrRyT7D3VyLtp992x0F5vVmaFpLIOh0Nh91DRWk?usp=sharing
This talk is organized by Kesha Hietala