Author of the publication

Verifying quantitative reliability for programs that execute on unreliable hardware.

, , and . OOPSLA, page 33-52. ACM, (2013)

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.

 

Other publications of authors with the same name

Verifying quantitative reliability for programs that execute on unreliable hardware., , and . OOPSLA, page 33-52. ACM, (2013)Statistical algorithmic profiling for randomized approximate programs., , and . ICSE, page 608-618. IEEE / ACM, (2019)Probabilistic reasoning for analysis of approximate computations.. CASES, page 4:1. ACM, (2017)Randomized accuracy-aware program transformations for efficient approximate computations., , , and . POPL, page 441-454. ACM, (2012)Verifying safety and accuracy of approximate parallel programs via canonical sequentialization., , and . Proc. ACM Program. Lang., 3 (OOPSLA): 119:1-119:29 (2019)Parallel test generation and execution with Korat., , , , and . ESEC/SIGSOFT FSE, page 135-144. ACM, (2007)Testing probabilistic programming systems., , , and . ESEC/SIGSOFT FSE, page 574-586. ACM, (2018)gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis., , , , , , and . DSN, page 214-221. IEEE, (2019)Probabilistically Accurate Program Transformations., , and . SAS, volume 6887 of Lecture Notes in Computer Science, page 316-333. Springer, (2011)VideoChef: Efficient Approximation for Streaming Video Processing Pipelines., , , , , , and . USENIX Annual Technical Conference, page 43-56. USENIX Association, (2018)