Yasmin Sarita

According to our database, Yasmin Sarita authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

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

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