ApproxSymate: path sensitive program approximation using symbolic execution-Reference-Cited by-同舟云学术

ApproxSymate: path sensitive program approximation using symbolic execution

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems - LCTES 2019
language:
Short-container-title:

Author:

De Silva Himeshi¹,Santosa Andrew E.¹,Ho Nhut-Minh¹,Wong Weng-Fai¹

Affiliation:

1. National University of Singapore, Singapore

Publisher

ACM Press

Reference35 articles.

1. Woongki Baek and Trishul M Chilimbi. 2010. Green: a framework for supporting energy-conscious programming using controlled approximation. In ACM Sigplan Notices, Vol. 45. ACM, 198–209.

2. Roberto Baldoni, Emilio Coppa, Daniele Cono DâĂŹelia, Camil Demetrescu, and Irene Finocchi. 2018. A survey of symbolic execution techniques. ACM Computing Surveys (CSUR) 51, 3 (2018), 50.

3. Ian Buck. 2015. Nvidia’s next-gen Pascal GP U architecture to provide 10x speedup for deep learning apps. (2015).

4. Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.. In OSDI, Vol. 8. 209–224.

5. Cristian Cadar and Koushik Sen. 2013. Symbolic Execution for Software Testing: Three Decades Later. Comm. ACM 56, 2 (Feb. 2013), 82–90.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bedot: Bit Efficient Dot Product for Deep Generative Models;Next Generation Arithmetic;2023

2. Approximate Computing Through the Lens of Uncertainty Quantification;SC22: International Conference for High Performance Computing, Networking, Storage and Analysis;2022-11

3. Qtorch+: Next Generation Arithmetic for Pytorch Machine Learning;Next Generation Arithmetic;2022

4. GRAM;ACM Transactions on Architecture and Code Optimization;2021-03