Neo wins PLDI Distinguished Paper Award!

with No Comments

Our paper titled “Program Synthesis using Conflict-Driven Learning” wins a Distinguished Paper Award at PLDI’18!

Leave a Reply

You must be logged in to post a comment.