research
∙
05/07/2023
Synthesizing Conjunctive Queries for Code Search
This paper presents Squid, a new conjunctive query synthesis algorithm f...
share
research
∙
01/26/2023
Verifying Data Constraint Equivalence in FinTech Systems
Data constraints are widely used in FinTech systems for monitoring data ...
research
∙
11/24/2021
WFDefProxy: Modularly Implementing and Empirically Evaluating Website Fingerprinting Defenses
Tor, an onion-routing anonymity network, has been shown to be vulnerable...
research
∙
09/16/2021
Efficient Path-Sensitive Data-Dependence Analysis
This paper presents a scalable path- and context-sensitive data-dependen...
research
∙
09/03/2021
Indexing Context-Sensitive Reachability
Many context-sensitive data flow analyses can be formulated as a variant...
research
∙
07/08/2021
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection
Database Management System (DBMS) plays a core role in modern software f...
research
∙
12/14/2019