Two papers accepted to OOPSLA!

with No Comments

Two UToPiA papers will appear at OOPSLA this year! One of the papers is on “Relational Program Synthesis” and is co-authored by Yuepeng, Xinyu, and Isil. The other paper called “Verified Three Way Merge” is co-authored by Isil and two external collaborators, Marcelo Sousa and Shuvendu Lahiri.

Leave a Reply

You must be logged in to post a comment.