The Creation of Puffin, the Automatic Uncertainty Compiler

10/19/2021
by   Nicholas Gray, et al.
0

An uncertainty compiler is a tool that automatically translates original computer source code lacking explicit uncertainty analysis into code containing appropriate uncertainty representations and uncertainty propagation algorithms. We have developed an prototype uncertainty compiler along with an associated object-oriented uncertainty language in the form of a stand-alone Python library. It handles the specifications of input uncertainties and inserts calls to intrusive uncertainty quantification algorithms in the library. The uncertainty compiler can apply intrusive uncertainty propagation methods to codes or parts of codes and therefore more comprehensively and flexibly address both epistemic and aleatory uncertainties.

READ FULL TEXT

page 11

page 12

page 13

page 14

page 16

research
04/20/2022

A Deeper Look into Aleatoric and Epistemic Uncertainty Disentanglement

Neural networks are ubiquitous in many tasks, but trusting their predict...
research
12/03/2021

Differentiable Scripting

In Computational Science, Engineering and Finance (CSEF) scripts typical...
research
08/27/2018

AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs

The aliasing question (can two reference expressions point, during an ex...
research
04/22/2020

Deeply Uncertain: Comparing Methods of Uncertainty Quantification in Deep Learning Algorithms

We present a comparison of methods for uncertainty quantification (UQ) i...
research
06/03/2019

A scheme for dynamically integrating C library functions into a λProlog implementation

The Teyjus system realizes the higher-order logic programming languageλP...
research
10/25/2019

Embracing a mechanized formalization gap

If a code base is so big and complicated that complete mechanical verifi...
research
06/24/2022

How is model-related uncertainty quantified and reported in different disciplines?

How do we know how much we know? Quantifying uncertainty associated with...

Please sign up or login with your details

Forgot password? Click here to reset