“Symbolic Reasoning for Automatic Signal Placement” by Kostas and Jacob and “Program Synthesis using Conflict-Driven Learning” by Yu and Ruben were both accepted in PLDI’18!
Two papers accepted to PLDI’18
on February 20, 2018
with
No Comments