ApproxHPVM: a portable compiler IR for accuracy-aware optimizations. - Hashim Sharif; Prakalp Srivastava; Muhammad Huzaifa; Maria Kotsifakou; Keyur Joshi 001; Yasmin Sarita; Nathan Zhao; Vikram S. Adve; Sasa Misailovic; Sarita V. Adve (Proc. ACM Program. Lang., 2019)

ApproxTuner: a compiler and runtime system for adaptive approximations. - Hashim Sharif; Yifan Zhao 004; Maria Kotsifakou; Akash Kothari; Ben Schreiber 001; Elizabeth Wang; Yasmin Sarita; Nathan Zhao; Keyur Joshi 001; Vikram S. Adve; Sasa Misailovic; Sarita V. Adve (PPoPP, 2021)

ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers. - Avaljot Singh; Yasmin Sarita; Charith Mendis; Gagandeep Singh 001 (SAS, 2024)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses. - Avaljot Singh; Yasmin Sarita; Charith Mendis; Gagandeep Singh 001 (CoRR, 2024)

Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis. - Yasmin Sarita; Avaljot Singh; Shaurya Gomber; Gagandeep Singh 001; Mahesh Vishwanathan (CoRR, 2024)

Automated Verification of Soundness of DNN Certifiers. - Avaljot Singh; Yasmin Sarita; Charith Mendis; Gagandeep Singh 001 (Proc. ACM Program. Lang., 2025)