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).
Kostas’s work on “Failure-Directed Program Trimming” will appear at FSE’17! Here is the abstract of the upcoming paper: We present a new program simplification technique called program trimming that aims to improve the scalability and precision of safety checking tools. … Read More
Our paper called “Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples” will appear in PLDI’17! Here is the abstract: This paper presents an example-driven synthesis technique for automating a large class of data preparation tasks that arise in … Read More
Our paper on automatically detecting regular expression denial-of-service (ReDoS) vulnerabilities got accepted into TACAS’17! Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions In an algorithmic complexity attack, a malicious party takes advantage of the worst-case behavior … Read More
Our work on synthesizing semantic malware signatures is accepted at NDSS’17! Here is the abstract: This paper proposes a technique for automatically learning semantic malware signatures for Android from very few samples of a malware family. The key idea … Read More