Jia and Jiayi’s paper “Relational Verification using Reinforcement Learning was accepted at OOPLSA’19. Abstract is below: Relational verification aims to prove properties that relate a pair of programs or two different runs of the same program. While relational properties … Read More
Greg and Shankara’s paper “Optimization + Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness” won a PLDI’19 distinguished paper award! Congrats to Greg & Shankara!
Our group just got two papers (conditionally) accepted at PLDI’19. One of the papers, co-authored by Greg and Shankara, describes a new technique for verifying robustness of deep neural networks. The other paper, co-authored by Yuepeng, James, and Rushi, presents a synthesis … Read More
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 … Read More
The Singularity work led by Jiayi Wei gets accepted to FSE’18! Here is the abstract: We describe a new blackbox complexity testing technique for determining the worst-case asymptotic complexity of a given application. The key idea is to look … Read More
Our paper titled “Program Synthesis using Conflict-Driven Learning” wins a Distinguished Paper Award at PLDI’18!
Our group won a Google Award to pursue research on malware detection! We will be collaborating with the Google Play Protect team to develop techniques for finding potentially harmful Android applications.
Navid and Xinyu’s paper on converting hierarchical datasets to relational format has been accepted to VLDB’18 in Rio de Janeiro, Brazil!
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!
Congratulations to Xinyu, Navid, and Yuepeng for having their papers accepted to OOPSLA’17! The two papers are “SQLizer: Query Synthesis from Natural Language” (Navid & Yuepeng’s paper) and “Synthesis of Data Completion Scripts using Finite Tree Automata” (Xinyu’s paper).