Funder
National Science Foundation
Semiconductor Research Corporation
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference46 articles.
1. Baek, W., Chilimbi, T.M.: Green: a framework for supporting energy-conscious programming using controlled approximation. In: ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), pp. 198–209 (2010)
2. Barnett, M., Chang, B.-Y.E., DeLine, R., Jacobs, B., Leino, K.R.M.: Boogie: A modular reusable verifier for object-oriented programs. In: International Symposium on Formal Methods for Components and Objects (FMCO), pp. 364–387 (2006)
3. Barrett, C., Sebastiani, R., Seshia, S., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, chap. 26, pp. 825–885. IOS Press, Amsterdam (2009)
4. Benton, N.: Simple relational correctness proofs for static analyses and program transformations. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 14–25 (2004)
5. Bornholt, J., Mytkowicz, T., McKinley, K.S.: Uncertain: a first-order type for uncertain data. In: ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 51–66 (2014)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Accuracy-Aware Compilers;Approximate Computing Techniques;2022
2. Exploiting Errors for Efficiency;ACM Computing Surveys;2021-05-31
3. Software/Hardware Co-Verification for Custom Instruction Set Processors;IEEE Access;2021
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. The next 700 relational program logics;Proceedings of the ACM on Programming Languages;2020-01