-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathpapers.html
259 lines (248 loc) · 11.9 KB
/
papers.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
<!doctype html>
<html>
<head>
<meta charset="utf-8"/>
<title>Papers using FPBench</title>
<link rel="stylesheet" type="text/css" href="fpbench.css">
</head>
<body>
<header>
<a href='.' style='color: black; text-decoration: none;'>
<img src='img/logo.png' height='150' alt='FPBench Logo' />
<h1>Papers using FPBench</h1>
</a>
<p>Published uses of FPBench</p>
<ul>
<li><a href="index.html">Home</a></li>
<li><a href="benchmarks.html">Benchmarks</a></li>
<li><a href="https://github.com/FPBench/FPBench/blob/main/tools.md">Compilers</a></li>
<li><a href="spec/index.html">Standards</a></li>
</ul>
</header>
If you're using FPBench in your research, please cite us!
<pre>@article{fpbench,
author={Nasrine Damouche and Matthieu Martel and Pavel Panchekha and Jason Qiu and Alex Sanchez-Stern and Zachary Tatlock},
title={Toward a Standard Benchmark Format and Suite for Floating-Point Analysis},
series={NSV'16},
month=July,
year=2016
}</pre>
<div class="paper">
<h3><a href="nsv16.html">Toward a Standard Benchmark Format and Suite for Floating-Point Analysis</a></h3>
<i>NSV’16</i>: N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern, and Z. Tatlock
</div>
<h2>Papers using FPBench</h2>
<ol class="papers-list">
<li> <!-- Mar 2022 -->
<header class="paper">
<h3><a href="https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_16.pdf">Inferring Interval-Valued Floating-Point Preconditions</a></h3>
<i>EAPLS'22</i>: J. Krämer, L. Blatter, E. Darulova , M. Ulbrich
</header>
</li>
<li> <!-- Mar 2022 -->
<header class="paper">
<h3><a href="https://arxiv.org/abs/2203.07486.pdf">Constrained Precision Tuning</a></h3>
<i>ArXiv</i>: D. Ben Khalifa, M. Martel
</header>
</li>
<li> <!-- Feb 2022 -->
<header class="paper">
<h3><a href="https://arxiv.org/abs/2202.05472.pdf">Dandelion: Certified Approximations of Elementary Functions</a></h3>
<i>ArXiv</i>: H. Becker, M. Tekriwal, E. Darulova, A. Volkova, J.B. Jeannin
</header>
</li>
<li> <!-- Nov 2021 -->
<header class="paper">
<h3><a href="https://tel.archives-ouvertes.fr/tel-03416121/document">Floating-point numbers round-off error analysis by constraint programming</a></h3>
<i>Thesis</i>: R. Garcia
</header>
</li>
<li> <!-- Oct 2021 -->
<header class="paper">
<h3><a href="https://dl.acm.org/doi/pdf/10.1145/3466752.3480131">The Laplace Microarchitecture for Tracking Data Uncertainty and Its Implementation in a RISC-V Processor</a></h3>
<i>MICRO'21'</i>: V. Tsoutsouras, O. Kaparounakis, B. Bilgin, C. Samarakoon, J. Meech, J. Heck, P. Stanley-Marbell
</header>
</li>
<li> <!-- Sept 2021 -->
<header class="paper">
<h3><a href="https://www.martin-schreiber.info/data/student_projects/2021_BA_torben_soennecken.pdf">On Automized Error Analysis for Numerical Solvers of Differential Equations</a></h3>
<i>Thesis</i>: T. Soennecken
</header>
</li>
<li> <!-- Sept 2021 -->
<header class="paper">
<h3><a href="https://dl.acm.org/doi/pdf/10.1145/3477012">Regime Inference for Sound Floating-Point Optimizations</a></h3>
<i>Trans. Emb. Comp. Sys. 2021</i>: R. Rabe, A. Izycheva, E. Darulova
</header>
</li>
<li> <!-- Aug 2021 -->
<header class="paper">
<h3><a href="https://digital.lib.washington.edu/researchworks/bitstream/handle/1773/48230/Zorn_washington_0250E_23717.pdf?sequence=1&isAllowed=y">Rounding</a></h3>
<i>Thesis</i>: B. Zorn
</header>
</li>
<li> <!-- Aug 2021 -->
<header class="paper">
<h3><a href="https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9603367">Combining Precision Tuning and Rewriting</a></h3>
<i>ARITH'21</i>: B. Saiki, O. Flatt, C. Nandi, P. Panchekha
</header>
</li>
<li> <!-- July 2021 -->
<header class="paper">
<h3><a href="https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9.pdf">Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations</a></h3>
<i>CAV'21</i>: G. Constantinides, F. Dahlqvist, Z Rakamarić, R. Salvia
</header>
</li>
<li> <!-- Feb 2021 -->
<header class="paper">
<h3><a href="https://link.springer.com/content/pdf/10.1007/978-3-030-72013-1.pdf">A Two-Phase Approach for Conditional Floating-Point Verification</a></h3>
<i>TACAS'21</i>: D. Lohar, C. Jeangoudoux, J. Sobel, E. Darulova, M. Christakis
</header>
</li>
<li> <!-- Feb 2021 -->
<header class="paper">
<h3><a href="https://media.proquest.com/media/hms/PFT/2/uKRFI?cit%3Aauth=Gu%2C+Yijia&cit%3Atitle=Preserving+Numerical+Program+Properties+under+Computing+Uncertainties&cit%3Apub=ProQuest+Dissertations+and+Theses&cit%3Avol=&cit%3Aiss=&cit%3Apg=&cit%3Adate=2021&ic=true&cit%3Aprod=ProQuest+Dissertations+%26+Theses+Global&_a=ChgyMDIyMDQwMTE4MDMzOTI0MjozNTE2NzMSBTk1NjM2GgpPTkVfU0VBUkNIIg03My41Mi4xOTEuMTA0KgUxODc1MDIKMjUwMDQ5NTAwNzoNRG9jdW1lbnRJbWFnZUIBMFIGT25saW5lWgJGVGIDUEZUagoyMDIxLzAxLzAxcgoyMDIxLzEyLzMxegCCASlQLTEwMDg3NTItMTQ2NzctQ1VTVE9NRVItMTAwMDAyMDUtNDIwMDM4N5IBBk9ubGluZcoBdU1vemlsbGEvNS4wIChNYWNpbnRvc2g7IEludGVsIE1hYyBPUyBYIDEwXzE1XzcpIEFwcGxlV2ViS2l0LzYwNS4xLjE1IChLSFRNTCwgbGlrZSBHZWNrbykgVmVyc2lvbi8xNS4zIFNhZmFyaS82MDUuMS4xNdIBFkRpc3NlcnRhdGlvbnMgJiBUaGVzZXOaAgdQcmVQYWlkqgIlT1M6RU1TLURvd25sb2FkUGRmLWdldE1lZGlhVXJsRm9ySXRlbcoCE0Rpc3NlcnRhdGlvbi9UaGVzaXPSAgFZ4gIBTuoCCGdzY2hvbGFy8gIA%2BgIBToIDA1dlYooDHENJRDoyMDIyMDQwMTE4MDMzOTI0NDo4MTY2OTg%3D&_s=fOxvhXHry9B3QOVXmVhh4UtV90s%3D">Preserving Numerical Program Properties under Computing Uncertainties</a></h3>
<i>Thesis</i>: Y. Gu
</header>
</li>
<li> <!-- Jan 2021 -->
<header class="paper">
<h3><a>Runtime Abstract Interpretation for Numerical Accuracy and Robustness</a></h3>
<i>VMCAI'21</i>: F. Védrine, M. Jacquemin, N. Kosmatov, J. Signoles
</header>
</li>
<li> <!-- Dec 2020 -->
<header class="paper">
<h3><a>Rigorous Enclosure of Round-Off Errors in Floating-Point Computations</a></h3>
<i>NSV'20</i>: R. Garcia, C. Michel, M. Rueher
</header>
</li>
<li> <!-- Nov 2020 -->
<header class="paper">
<h3><a>Error detection of arithmetic expressions</a></h3>
<i>J. Supercomputing</i>: Y. Xia, S. Guo, J. Hao, D. Liu, J. Xu
</header>
</li>
<li> <!-- Nov 2020 -->
<header class="paper">
<h3><a>Towards Numerical Assistants</a></h3>
<i>NSV'20</i>: P. Panchekha, Z. Tatlock
</header>
</li>
<li> <!-- Nov 2020 -->
<header class="paper">
<h3><a href="https://arxiv.org/pdf/2004.11960.pdf">An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis</a></h3>
<i>SC'20</i>: A. Das, I. Briggs, G. Gopalakrishnan, P. Panchekha, and S. Krishnamoorthy
</header>
</li>
<li> <!-- Nov 2020 -->
<header class="paper">
<h3><a href="https://dl.acm.org/doi/pdf/10.1145/3457913.3457918">Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning</a></h3>
<i>Internetware'20</i>: A. Xiao, E. Tang, X. Chen, L. Wang
</header>
</li>
<li>
<header class="paper">
<h3><a>A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors</a></h3>
<i>CP'20<i>: R. Garcia, C. Michel, M. Rueher
</header>
</li>
<li>
<header class="paper">
<h3><a>A Probabilistic Approach to Floating-Point Arithmetic</a></h3>
<i>Asilomar'19<i>: F. Dahlqvist, R. Salvia, G. Constantinides
</header>
</li>
<li>
<header class="paper">
<h3><a href="https://sc19.supercomputing.org/proceedings/workshops/workshop_pages/ws_corr102.html">Toward Multi-Precision, Multi-Format Numerics</a></h3>
<i>Correctness’19</i>: D. Thien, B. Zorn, P. Panchekha, Z. Tatlock
</header>
Introduced the FPBench 1.2 standards and the formalism of multi-precision, multi-format computation.
</li>
<li>
<header class="paper">
<h3><a href="https://link.springer.com/chapter/10.1007/978-3-030-17462-0_5">Building Better Bit-Blasting for Floating-Point Problems</a></h3>
<i>TACAS’19<i>: M. Brain, F. Schanda, and Y. Sun
</header>
</li>
<li>
<header class="paper">
<h3><a href="http://soarlab.org/2019/03/nfm2019-stfmmr/">A Mixed Real and Floating-Point Solver</a></h3>
<i>NFM’19</i>: R. Salvia, L. Titulo, M. A. Feliu, M. M. Moscato, C. A. Munoz, and Z. Rakamric
</header>
</li>
<li>
<header class="paper">
<h3><a href="https://ieeexplore.ieee.org/abstract/document/8718211">Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations</a></h3>
<i>AITest’19</i>: M. Claude and M. Rueher
</header>
</li>
<li>
<header class="paper">
<h3><a href="https://link.springer.com/chapter/10.1007/978-3-319-89960-2_15">Daisy - Framework for Analysis and Optimization of Numerical Programs</a></h3>
<i>TACAS’18</i> (Tool paper): E. Darulova, A. Izycheva, F. Nasir, F. Ritter, H. Becker, and R. Bastian
</header>
</li>
<li>
<header class="paper">
<h3><a href="https://www.scitepress.org/papers/2018/69155/69155.pdf">Mixed Precision Tuning with Salsa</a></h3>
<i>PECCS’18</i> N. Damouche, M. Martel
</header>
</li>
<li> <!-- Oct 2018 -->
<header class="paper">
<h3><a href="https://tel.archives-ouvertes.fr/tel-02011939/document">Search strategies for solving constraint systems over floats for program verification</a></h3>
<i>Thesis</i> H. Zitoun
</header>
</li>
<li>
<header class="paper">
<h3><a href="fm18.html">Combining Tools for Optimization and Analysis of Floating-Point Computations</a></h3>
<i>FM’18</i>: H. Becker, P. Panchekha, E. Darulova, and Z. Tatlock
</header>
Combining <a href="https://gitlab.mpi-sws.org/AVA/daisy-public">Daisy</a>
and <a href="https://herbie.uwplse.org">Herbie</a> using
FPBench tools. All scripts
are <a href="https://github.com/FPBench/FPBench/tree/daisy-herbie">available</a>.
</li>
<li> <!-- June 2018 -->
<header class="paper">
<h3><a href="https://hal.archives-ouvertes.fr/hal-02064794/">Quatorzièmes Journées Francophones de Programmation par Contraintes</a></h3>
<i>JFPC</i>: C. Terrioux
</header>
</li>
<li>
<header class="paper">
<h3><a href="https://link.springer.com/chapter/10.1007/978-3-319-99725-4_15">A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis</a></h3>
<i>SAS’18</i>: M. Jacquemin, S. Putot, and F. Védrine
</header>
</li>
<li>
<header class="paper">
<h3><a href="https://w3.cs.jmu.edu/lam2mo/papers/2017-Lam-LLNL_Report.pdf">Software Tools for Variable-Precision Computing</a></h3>
<i>Technical Report</i>: M. Lam
</header>
</li>
<li>
<header class="paper">
<h3><a href="https://ieeexplore.ieee.org/document/8094453">Automated Repair of High Inaccuraciesin Numerical Programs</a></h3>
<i>ICSME’17</i>: X. Yi, L. Chen, X. Mao, and T. Ji
</header>
</li>
<li>
<header class="paper">
<h3><a href="https://hal.archives-ouvertes.fr/hal-01956094">Sub-domain Selection Strategies For Floating Point Constraint Systems</a></h3>
<i>HAL</i>: H. Zitoun, C. Michel, M. Rueher, and L. Michel
</header>
</li>
<li>
<header class="paper">
<h3><a href="nsv16.html">Toward a Standard Benchmark Format and Suite for Floating-Point Analysis</a></h3>
<i>NSV’16</i>: N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern, and Z. Tatlock
</header>
Introduced the FPBench 1.0 <a href="spec/">standards</a>.
</li>
</ol>
</body>
</html>