( en | de | ru )

 

Disambiguation of "Misailovic, Sasa"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing Precise Static Analyzers for Automatic Differentiation.

, , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1964-1992 (October 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sasa Misailovic

Sasa Duric

Frank Sasama

Chiyoko Sasaki

Manami Sasaki

 

Other publications of authors with the same name

Approximate and Probabilistic Computing: Design, Coding, Verification, , , and . (2015)Synthesizing Precise Static Analyzers for Automatic Differentiation., , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1964-1992 (October 2023)Verifying safety and accuracy of approximate parallel programs via canonical sequentialization., , and . Proc. ACM Program. Lang., 3 (OOPSLA): 119:1-119:29 (2019)Quantifying the Exploration of the Korat Solver for Imperative Constraints., , , , and . ACM SIGSOFT Softw. Eng. Notes, 44 (4): 15 (2019)Is Watermarking LLM-Generated Code Robust?, , , and . CoRR, (2024)ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference., , and . DATE, page 1-6. IEEE, (2023)ASTRA: Understanding the practical impact of robustness for probabilistic programs., , and . UAI, volume 216 of Proceedings of Machine Learning Research, page 900-910. PMLR, (2023)AQUA: Automated Quantized Inference for Probabilistic Programs., , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 229-246. Springer, (2021)Provable Defense Against Geometric Transformations., , , and . ICLR, OpenReview.net, (2023)Statheros: Compiler for Efficient Low-Precision Probabilistic Programming., , , , and . DAC, page 787-792. IEEE, (2021)