diff --git a/index.html b/index.html new file mode 100644 index 0000000..b7f430c --- /dev/null +++ b/index.html @@ -0,0 +1,101 @@ + + + + + + +
+
+ + FlowFPX. +
+ Taylor Allred, Xinyi Li, Ashton Wiersdorf, Ben Greenman, Ganesh Gopalakrishnan +
+ + +
+Reliable numerical computations are central to scientific computing, but the floating-point arithmetic that enables large-scale models is error-prone. Numeric exceptions are a common occurrence +and can propagate through code, leading to flawed results. This +paper presents FlowFPX, a toolkit for systematically debugging +floating-point exceptions by recording their flow, coalescing exception contexts, and fuzzing in select locations. These tools help +scientists discover when exceptions happen and track down their +origin, smoothing the way to a reliable codebase. +
+
+
+Components: + +
+
+Resources: + + +
+
+
+ +
+
+
+

CSTG

+

Combine stack frames into a tree highlighting common paths:

+ +
+
+
+

Fuzzing

+

Configure an injector, set up a recording file:

+ +
+
+ + + diff --git a/src/cstg_static_diagram.png b/src/cstg_static_diagram.png new file mode 100644 index 0000000..502e2ea Binary files /dev/null and b/src/cstg_static_diagram.png differ diff --git a/src/fuzz.png b/src/fuzz.png new file mode 100644 index 0000000..7a7a772 Binary files /dev/null and b/src/fuzz.png differ diff --git a/src/lifetime.png b/src/lifetime.png new file mode 100644 index 0000000..64d9caa Binary files /dev/null and b/src/lifetime.png differ