forked from FPBench/fpbench.org
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
160 lines (145 loc) · 6.18 KB
/
index.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
<!doctype html>
<html>
<head>
<meta charset="utf-8"/>
<title>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>FPBench</h1>
<p>Common standards for the floating-point research community</p>
</a>
</header>
<p>FPBench makes it easier to compare and combine tools from the floating-point research community.</p>
<nav class="columns">
<ul>
<h2>Documentation</h2>
<li><a href="https://github.com/FPBench/FPBench">Download</a></li>
<li><a href="benchmarks.html">Benchmarks</a></li>
<li><a href="community.html">Community</a></li>
<li><a href="tools.html">Tools</a></li>
<li><a href="fpimp.html">FPImp</a></li>
</ul>
<ul>
<h2>Standards</h2>
<li><a href="spec/fpcore-1.0.html">FPCore 1.0</a></li>
<li><a href="spec/metadata-1.0.html">Metadata 1.0</a></li>
<li><a href="spec/measures-1.0.html">Measures 1.0</a></li>
<li><a href="spec/">All versions</a></li>
</ul>
<ul>
<h2>About</h2>
<li><a href="https://github.com/FPBench/FPBench">Github</a></li>
<li><a href="https://mailman.cs.washington.edu/mailman/listinfo/fpbench">Mailing list</a></li>
<li><a href="https://mailman.cs.washington.edu/pipermail/fpbench">List archives</a></li>
</nav>
<h2>Current Status</h2>
<p>FPBench was introduced at <a href="nsv16.html">NSV’16</a>. Since
then, the benchmark suite has grown to <a href="benchmarks.html">111
benchmarks</a>, several implementations have appeared, and the
standards have been deepened and improved.</p>
<div class="columns">
<table class="counts">
<thead>
<th colspan="2">Benchmark sources</th>
</thead>
<tr><td>Rosa</td><td>37</td></tr>
<tr><td>Herbie</td><td>28</td></tr>
<tr><td>Salsa</td><td>25</td></tr>
<tr><td>FPTaylor</td><td>21</td></tr>
</table>
<table class="counts">
<thead>
<th colspan="2">Features used</th>
</thead>
<tr><td>Arithmetic</td><td>111</td></tr>
<tr><td>Temporaries</td><td>57</td></tr>
<tr><td>Comparison</td><td>33</td></tr>
<tr><td>Loops</td><td>28</td></tr>
<tr><td>Exponents</td><td>16</td></tr>
<tr><td>Trigonometry</td><td>15</td></tr>
<tr><td>Conditionals</td><td>10</td></tr>
</table>
<table class="counts">
<thead>
<th colspan="2">Domains</th>
</thead>
<tr><td>Textbooks</td><td>28</td></tr>
<tr><td>Mathematics</td><td>24</td></tr>
<tr><td>Controls</td><td>10</td></tr>
<tr><td>Science</td><td>10</td></tr>
</table>
</div>
<p>FPBench also publishes <a href="tools.html">tools</a> for working
with its standard formats, including <a href="tools.html#fpcore">an
FPCore reference interpreter</a> and
an <a href="tools.html#core2c">an FPCore exporter to C</a>.</p>
<h2>Papers</h2>
<ol class="papers-list">
<li>
<header>
<h3><a href="nsv16.html">Toward a Standard Benchmark Format and Suite for Floating-Point Analysis</a></h3>
At <i>NSV’16</i> by N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern, and Z. Tatlock<br>
</header>
Described the FPBench standards project, including the FPCore
standard. The <a href="spec/">standards</a> continue this work.
</li>
<li>
<header>
<h3><a href="fm18.html">Combining Tools for Optimization and Analysis of Floating-Point Computations</a></h3>
At <i>FM’18</i> by H. Becker, P. Panchekha, E. Darulova, and Z. Tatlock<br>
</header>
Described experiments
combining <a href="https://gitlab.mpi-sws.org/AVA/daisy-public">Daisy</a>
and <a href="https://herbie.uwplse.org">Herbie</a> using the
FPBench format and tools. All scripts
are <a href="https://github.com/FPBench/FPBench/tree/daisy-herbie">available
in a branch</a>.
</li>
</ol>
<h2>News</h2>
<ol class="timeline">
<li><time>18 July 2018</time>
A draft of the upcoming FPBench 1.1 standards has been released. To
preview the changes and leave feedback, see the
<a href="https://github.com/FPBench/FPBench.github.io/pull/2">pull request</a>
on github.</li>
<li><time>9 Apr 2018</time>
The <a href="https://github.com/malyzajko/daisy">Daisy</a>
and <a href="https://herbie.uwplse.org/">Herbie</a> have a paper at
<a href="http://www.fm2018.org/">FM’18</a> comparing the two
projects using the FPBench benchmarks, formats, and tools.
Come talk to them at Oxford!</li>
<li><time>29 Aug 2017</time>
FPBench was a hit
at <a href="http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=17352">Dagstuhl
17352</a> (Analysis and Synthesis of Floating-point Programs),
with a talk, a session, and discussions devoted to composing and
comparing floating point tools. Thank you to all Dagstuhl
participants for clarifying and prioritizing the challenges and
for helping shape our next steps.</li>
<li><time>24 Aug 2017</time>
<a href="https://homes.cs.washington.edu/~ztatlock/">Zach</a>
gave a talk at <a href="https://www.mpi-sws.org/">MPI-SWS</a>
(Saarbrüken) on FPBench and the need to create a common
benchmark suite. Thank
you <a href="https://people.mpi-sws.org/~eva/">Eva Darulova</a>
and her students for the invitation and the productive
discussion on multiple precisions, benchmark sources, and
community building that followed.</li>
<li><time>14 July 2017</time>
The 1.0 versions of the <a href="spec/fpcore-1.0.html">FPCore</a>,
<a href="spec/metadata-1.0.html">Metadata</a>, and <a href="spec/measures-1.0.html">Measures</a>
standards have all been finalized. Build with them!</li>
<li><time>17 July 2016</time>
<a href="https://pavpanchekha.com">Pavel Panchekha</a> is giving
a talk about FPBench today at the
<a href="http://nsv2016.pages.ist.ac.at/">9th NSV</a>.
Come learn about our effort to build common resources for the floating-point research community.
</li>
</ol>
</body>
</html>