Author:
Carbin Michael,Kim Deokhwan,Misailovic Sasa,Rinard Martin C.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Accuracy-Aware Compilers;Approximate Computing Techniques;2022
2. Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs;Runtime Verification;2021
3. PANDORA;ACM Transactions on Embedded Computing Systems;2020-11-13
4. Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms;Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization;2020-02-21
5. Verifying safety and accuracy of approximate parallel programs via canonical sequentialization;Proceedings of the ACM on Programming Languages;2019-10-10