( en | de | ru )

 

Disambiguierung von "Misailovic, Sasa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Incremental Verification of Neural Networks.

, , , und . Proc. ACM Program. Lang., 7 (PLDI): 1920-1945 (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sasa Misailovic

Sasa Duric

Frank Sasama

Chiyoko Sasaki

Manami Sasaki

 

Weitere Publikationen von Autoren mit dem selben Namen

Dancing with uncertainty., , und . RACES@SPLASH, Seite 51-60. ACM, (2012)AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference., , und . ATVA, Volume 14216 von Lecture Notes in Computer Science, Seite 288-301. Springer, (2023)Special Session: Does Approximation Make Testing Harder (or Easier)?, , und . VTS, Seite 1-9. IEEE, (2019)ApproxCaliper: A Programmable Framework for Application-aware Neural Network Optimization., , , , , , , , , und 2 andere Autor(en). MLSys, mlsys.org, (2023)gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis., , , , , , und . DSN, Seite 214-221. IEEE, (2019)Detecting flaky tests in probabilistic and machine learning applications., , , , , und . ISSTA, Seite 211-224. ACM, (2020)Improving LLM Code Generation with Grammar Augmentation., , , , und . CoRR, (2024)WiDir: A Wireless-Enabled Directory Cache Coherence Protocol., , , , , und . HPCA, Seite 304-317. IEEE, (2021)Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests., , , , und . ICSE, Seite 1801-1813. IEEE, (2023)Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms., , und . CGO, Seite 56-67. ACM, (2020)