research
∙
12/15/2022
A Data Source Dependency Analysis Framework for Large Scale Data Science Projects
Dependency hell is a well-known pain point in the development of large s...
share
research
∙
11/29/2022
Abstract Interpretation-Based Data Leakage Static Analysis
Data leakage is a well-known problem in machine learning. Data leakage o...
research
∙
01/25/2022
Scalable Typestate Analysis for Low-Latency Environments
Static analyses based on typestates are important in certifying correctn...
research
∙
10/15/2021
A Static Analysis Framework for Data Science Notebooks
Notebooks provide an interactive environment for programmers to develop ...
research
∙
07/11/2019
Provenance for Large-scale Datalog
Logic programming languages such as Datalog have become popular as Domai...
research
∙
09/12/2017