Author:
Damouche Nasrine,Martel Matthieu,Chapoutot Alexandre
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference41 articles.
1. Almagor, L., Cooper, K.D., Grosul, A., Harvey, T.J., Reeves, S.W., Subramanian, D., Torczon, L., Waterman, T.: Finding effective compilation sequences. In: Whalley D.B., Cytron, R. (eds.) ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES’04), pp. 231–239. ACM (2004)
2. ANSI/IEEE. IEEE Standard for Binary Floating-point Arithmetic, std 754-2008 edition (2008)
3. Appel, A.-W.: Modern compiler implementation in ML. Cambridge University Press, Cambridge (1998)
4. Barr, E.T., Vo, T., Le, V., Su, Z.: Automatic detection of floating-point exceptions. In: Giacobazzi, R., Cousot, R. (eds.) ACM SIGPLAN-SIGACT POPL’13, pp. 549–560, ACM (2013)
5. Benz, F., Hildebrandt, A., Hack, S.: A dynamic program analysis to find floating-point accuracy problems. In: Vitek, J., Lin, H., Tip, F. (eds.) ACM SIGPLAN PLDI’12, pp. 453–462. ACM (2012)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Constrained Precision Tuning;2022 8th International Conference on Control, Decision and Information Technologies (CoDIT);2022-05-17
2. An Interval Compiler for Sound Floating-Point Computations;2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2021-02-27
3. Scalable yet Rigorous Floating-Point Error Analysis;SC20: International Conference for High Performance Computing, Networking, Storage and Analysis;2020-11
4. Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic;Journal of Computational Science;2019-09
5. Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions;ACM Transactions on Programming Languages and Systems;2019-03