Media Summary: A slide talk-through of the PLDI'15 paper on A video abstract for the PLDI'15 conference talk on This video provides viewers with 10 practical tips for

Herbie Automatically Improving Accuracy For - Detailed Analysis & Overview

A slide talk-through of the PLDI'15 paper on A video abstract for the PLDI'15 conference talk on This video provides viewers with 10 practical tips for Robot arms, cutting tools and dispensing machines often drift off programmed paths during long runs. This video shares fast, ... Finished up all the plumbing and ride height control valve brackets to test the A slide talk-through of the NSV'16 paper on FPBench, a project to build more community infrastructure for the numerical software ...

Towards Numerical Assistants Trust, Measurement, Community, and Generality for the Numerical Workbench ...

Photo Gallery

Herbie: Automatically Improving Accuracy for Floating-Point Expressions
Herbie PLDI’15 Video Abstract
Herbgrind & Herbie demo
10 Tips for Improving the Accuracy of your Machine Learning Models
How to Quickly Calibrate Off-Track Automation Tools?
Numeric Tools for Non-Experts
Auto Guidance Calibration: 3 Steps to Accurate Planting
Herbie Update- Automatic Ride Height First Test!
Combining Precision Tuning and Rewriting for Faster, More Accurate Programs- ARITH 2021
FPBench: A Standard Benchmark Suite and Format for Floating-Point Analysis
Achieving Dimensional Accuracy Through Assembly Process Optimization
NSV@CAV 2020 - Herbie and FPBench Perspective
View Detailed Profile
Herbie: Automatically Improving Accuracy for Floating-Point Expressions

Herbie: Automatically Improving Accuracy for Floating-Point Expressions

A slide talk-through of the PLDI'15 paper on

Herbie PLDI’15 Video Abstract

Herbie PLDI’15 Video Abstract

A video abstract for the PLDI'15 conference talk on

Herbgrind & Herbie demo

Herbgrind & Herbie demo

Demonstrating Herbgrind 1.0,

10 Tips for Improving the Accuracy of your Machine Learning Models

10 Tips for Improving the Accuracy of your Machine Learning Models

This video provides viewers with 10 practical tips for

How to Quickly Calibrate Off-Track Automation Tools?

How to Quickly Calibrate Off-Track Automation Tools?

Robot arms, cutting tools and dispensing machines often drift off programmed paths during long runs. This video shares fast, ...

Numeric Tools for Non-Experts

Numeric Tools for Non-Experts

A talk given at MPI-SWS on

Auto Guidance Calibration: 3 Steps to Accurate Planting

Auto Guidance Calibration: 3 Steps to Accurate Planting

Ensure pinpoint

Herbie Update- Automatic Ride Height First Test!

Herbie Update- Automatic Ride Height First Test!

Finished up all the plumbing and ride height control valve brackets to test the

Combining Precision Tuning and Rewriting for Faster, More Accurate Programs- ARITH 2021

Combining Precision Tuning and Rewriting for Faster, More Accurate Programs- ARITH 2021

Precision

FPBench: A Standard Benchmark Suite and Format for Floating-Point Analysis

FPBench: A Standard Benchmark Suite and Format for Floating-Point Analysis

A slide talk-through of the NSV'16 paper on FPBench, a project to build more community infrastructure for the numerical software ...

Achieving Dimensional Accuracy Through Assembly Process Optimization

Achieving Dimensional Accuracy Through Assembly Process Optimization

Achieving dimensional

NSV@CAV 2020 - Herbie and FPBench Perspective

NSV@CAV 2020 - Herbie and FPBench Perspective

Towards Numerical Assistants Trust, Measurement, Community, and Generality for the Numerical Workbench ...

Herbie Rides Again (1974) Bug Army

Herbie Rides Again (1974) Bug Army

The bug army scene from