-
Notifications
You must be signed in to change notification settings - Fork 3
/
nsv16.html
72 lines (62 loc) · 2.78 KB
/
nsv16.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
<!doctype html>
<html>
<head>
<meta charset="utf-8"/>
<title>FPBench at NSV’16</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>FPBench at NSV’16</h1>
</a>
<p>Toward a Standard Benchmark Format and Suite for Floating-Point Analysis</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>
<p>The first paper on <a href="./">FPBench</a> was published at the
Numerical Software Verification workshop in 2016.</p>
<h2>Abstract</h2>
<blockquote class="abstract">
We introduce FPBench, a standard benchmark format for validation and
optimization of numerical accuracy in floating-point computations.
FPBench is a first step toward addressing an increasing need in our
community for comparisons and combinations of tools from different
application domains. To this end, FPBench provides a basic
floating-point benchmark format and accuracy measures for comparing
different tools. The FPBench format and measures allow comparing and
composing different floating-point tools. We describe the FPBench
format and measures and show that FPBench expresses benchmarks from
recent papers in the literature, by building an initial benchmark
suite drawn from these papers. We intend for FPBench to grow into a
standard benchmark suite for the members of the floating-point tools
research community.
</blockquote>
<h2>Paper</h2>
<p>
The paper presents the motivation behind FPBench and describes a
preliminary version of the <a href="spec/">FPBench standards</a>.
It is available in <a href="nsv16-paper.pdf">PDF format</a> or
as <a href="https://github.com/FPBench/FPBench/tree/master/papers/nsv16">TeX
sources</a>. All code described in the paper is
also <a href="https://github.com/FPBench/FPBench/">freely
available online</a>.
</p>
<h2>Talk</h2>
<p>
The talk was delivired by <a href="https://pavpanchekha.com">Pavel
Panchekha</a> in a 20 minute slot
on <time datetime="2016-07-17T15:05:00Z+05:00">17th July at
15:00</time>. We recorded another take a week after the conference
with the same slides, which you can watch below. You can also
download the slides in <a href="nsv16-slides.pptx">Powerpoint</a>
format or <a href="nsv16-slides.pdf">PDF</a> format.
</p>
<iframe class="video" width="560" height="315" src="https://www.youtube.com/embed/SRE2Gky381M" frameborder="0" allowfullscreen></iframe>
</body>
</html>