Concepedia

Ian Briggs

IB

Statistics

Publications

8

Citations

1.5K

H-Index

8

Active since

1974

Affiliations

University of Utah(Current)

Lawrence Livermore National Laboratory

Ian Briggs is an author at University of Utah specializing in software analysis, engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringFormal MethodsApproximate ComputingNumerical AnalysisParallel ComputingFormal Verification

Publications per year

1974–2021

8

Publications

8

Machine contouring using minimum curvature

Ian Briggs · Geophysics · 1974 · 1.1K citations

Rigorous floating-point mixed-precision tuning

Wei‐Fan Chiang, Mark Baranowski, Ian Briggs et al. · 2016 · 113 citations

Numerical Analysis, Engineering, Compiler Technology +18

Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions

Alexey Solovyev, Marek Baranowski, Ian Briggs et al. · ACM Transactions on Programming Languages and Systems · 2018 · 92 citations · Full text

Numerical Analysis, Pade Approximant, Engineering +19

Scalable yet Rigorous Floating-Point Error Analysis

Arnab Das, Ian Briggs, Ganesh Gopalakrishnan et al. · 2020 · 35 citations

Real Data Type, Error Analysis, Engineering +15

Rigorous floating-point mixed-precision tuning

Wei‐Fan Chiang, Mark Baranowski, Ian Briggs et al. · ACM SIGPLAN Notices · 2017 · 33 citations

Numerical Analysis, Engineering, Compiler Technology +18

1–5 of 8