Yasmin Sarita

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

2021
ApproxTuner: a compiler and runtime system for adaptive approximations.
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.
Proc. ACM Program. Lang., 2019


  Loading...