research
∙
09/11/2023
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version)
Causal discovery is a powerful technique for identifying causal relation...
share
research
∙
05/07/2023
Synthesizing Conjunctive Queries for Code Search
This paper presents Squid, a new conjunctive query synthesis algorithm f...
research
∙
01/26/2023
Verifying Data Constraint Equivalence in FinTech Systems
Data constraints are widely used in FinTech systems for monitoring data ...
research
∙
09/16/2021
Efficient Path-Sensitive Data-Dependence Analysis
This paper presents a scalable path- and context-sensitive data-dependen...
research
∙
07/08/2021