publications
Publications in reversed chronological order. *indicates joint co-authorship. Generated by jekyll-scholar.
Conference and Journal Papers
2025
-
TAIDL: Tensor Accelerator ISA Definition Language with Auto-generation of Scalable Test OraclesIn 58th IEEE/ACM International Symposium on Microarchitecture (MICRO) (to appear) , 2025
-
COGNATE: Acceleration of Sparse Tensor Programs on Emerging Hardware using Transfer LearningIn Forty-second International Conference on Machine Learning (ICML) , 2025
-
SIGMODPilotDB: Database-Agnostic Online Approximate Query Processing with A Priori Error GuaranteesIn Proceedings of ACM on Management of Data (SIGMOD) , Apr 2025
-
MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven OptimizationsIn 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , Apr 2025
2024
-
SASConstraintFlow: A DSL for Specification and Verification of Neural Network AnalysesIn Static Analysis Symposium , Mar 2024