Two papers accepted to POPL’18!

with No Comments

Xinyu’s paper on “Program Synthesis using Abstraction Refinement” and Yuepeng’s paper on “Verifying Equivalence of Database-Driven Applications” have been accepted to POPL’18 in Los Angeles, CA!

Leave a Reply

You must be logged in to post a comment.