publications
Publications by categories in reversed chronological order. *indicates joint co-authorship. Generated by jekyll-scholar.
Preprints
2024
Conference and Journal Papers
2025
-
SIGMODPilotDB: Database-Agnostic Online Approximate Query Processing with A Priori Error GuaranteesIn Proceedings of ACM on Management of Data (SIGMOD) , 2025
-
Automated Verification of Soundness of DNN CertifiersIn PACMPL(OOPSLA) , 2025
2024
-
SASConstraintFlow: A DSL for Specification and Verification of Neural Network AnalysesIn , 2024
-
Towards Efficient Temporal Graph Learning: Algorithms, Frameworks, and ToolsIn Proceedings of the 33rd ACM International Conference on Information and Knowledge Management , 2024