2 papers accepted to PLDI’16!

with No Comments

Our papers “Synthesizing Transformations on Hierarchically Structured Data” and “Cartesian Hoare Logic for Verifying k-safety Properties” have been accepted to PLDI’16!! Congratulations┬áto Navid, Chris, and Marcelo!

Leave a Reply

You must be logged in to post a comment.