Two papers accepted to PLDI’18

with No Comments

“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!

Leave a Reply

You must be logged in to post a comment.