Yasmin Sarita

According to our database, Yasmin Sarita authored at least 7 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search.

Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan

Proceedings of the Programming Languages and Systems, 2026

2025

Automated Verification of Soundness of DNN Certifiers.

Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh

Proc. ACM Program. Lang., 2025

2024

Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis.

Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan

CoRR, 2024

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses.

Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh

CoRR, 2024

ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers.

Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh

Proceedings of the Static Analysis - 31st International Symposium, 2024

2021

ApproxTuner: a compiler and runtime system for adaptive approximations.

Hashim Sharif, Yifan Zhao, Maria Kotsifakou, Akash Kothari, Ben Schreiber, Elizabeth Wang, Yasmin Sarita, Nathan Zhao, Keyur Joshi, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

2019

ApproxHPVM: a portable compiler IR for accuracy-aware optimizations.

Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve

Proc. ACM Program. Lang., 2019