Yasmin Sarita

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Colored Petri Nets

Termination Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan
Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis. CoRR (2024)
Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses. CoRR (2024)
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
ApproxTuner: a compiler and runtime system for adaptive approximations. PPoPP (2021)
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve
ApproxHPVM: a portable compiler IR for accuracy-aware optimizations. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)