E-LIB Suche - Ergebnisse für: Misailovic, Sasa

1

Felix: Optimizing Tensor Programs with Gradient Descent:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,

Zhao, Yifan ; Sharif, Hashim ; Adve, Vikram. - p. 367-381 , 2024

Link: https://dl.acm.org/doi/1..

2

Debugging convergence problems in probabilistic programs vi..:

Huang, Zixin ; Dutta, Saikat ; Misailovic, Sasa
International Journal on Software Tools for Technology Transfer. , 2024

Link: https://doi.org/10.1007/..

3

Mobiprox: Supporting Dynamic Approximate Computing on Mobil..:

Fabjančič, Matevž ; Machidon, Octavian ; Sharif, Hashim...
IEEE Internet of Things Journal. 11 (2024) 9 - p. 16873-16886 , 2024

Link: https://doi.org/10.1109/..

4

Synthesizing Precise Static Analyzers for Automatic Differe..:

Laurel, Jacob ; Qian, Siyuan Brant ; Singh, Gagandeep.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1964-1992 , 2023

Link: https://doi.org/10.1145/..

5

ViX: Analysis-driven Compiler for Efficient Low-Precision V..:

, In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE),

Misra, Ashitabh ; Laurel, Jacob ; Misailovic, Sasa - p. 1-6 , 2023

Link: https://doi.org/10.23919..

6

Diamont: dynamic monitoring of uncertainty for distributed ..:

Fernando, Vimuth ; Joshi, Keyur ; Laurel, Jacob.
International Journal on Software Tools for Technology Transfer. 25 (2023) 4 - p. 521-539 , 2023

Link: https://doi.org/10.1007/..

7

AquaSense: Automated Sensitivity Analysis of Probabilistic ..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Zhou, Zitong ; Huang, Zixin ; Misailovic, Sasa - p. 288-301 , 2023

Link: https://doi.org/10.1007/..

8

Balancing Effectiveness and Flakiness of Non-Deterministic ..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Xia, Chunqiu Steven ; Dutta, Saikat ; Misailovic, Sasa.. - p. 1801-1813 , 2023

Link: https://doi.org/10.1109/..

9

A dual number abstraction for static analysis of Clarke Jac..:

Laurel, Jacob ; Yang, Rem ; Singh, Gagandeep.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-30 , 2022

Link: https://dl.acm.org/doi/1..

10

Proof transfer for fast certification of multiple approxima..:

Ugare, Shubham ; Singh, Gagandeep ; Misailovic, Sasa
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA1 - p. 1-29 , 2022

Link: https://dl.acm.org/doi/1..

11

A general construction for abstract interpretation of highe..:

Laurel, Jacob ; Yang, Rem ; Ugare, Shubham...
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1007-1035 , 2022

Link: https://doi.org/10.1145/..

12

To Seed or Not to Seed? An Empirical Analysis of Usage of S..:

, In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST),

Dutta, Saikat ; Arunachalam, Anshul ; Misailovic, Sasa - p. 151-161 , 2022

Link: https://doi.org/10.1109/..

13

Verifying Controllers With Vision-Based Perception Using Sa..:

Hsieh, Chiao ; Li, Yangge ; Sun, Dawei...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41 (2022) 11 - p. 4205-4216 , 2022

Link: https://doi.org/10.1109/..

14

Automated quantized inference for probabilistic programs wi..:

Huang, Zixin ; Dutta, Saikat ; Misailovic, Sasa
Innovations in Systems and Software Engineering. 18 (2022) 3 - p. 369-384 , 2022

Link: https://doi.org/10.1007/..

15

HPVM: Hardware-Agnostic Programming for Heterogeneous Paral..:

Ejjeh, Adel ; Councilman, Aaron ; Kothari, Akash...
IEEE Micro. 42 (2022) 5 - p. 108-117 , 2022

Link: https://doi.org/10.1109/..