57 citations · 90 across the 8 of their papers we have counts for
8 papers
Implementation and Synthesis of Math Library Functions
Ian Briggs, Yash Lad, Pavel Panchekha
Achieving speed and accuracy for math library functions like exp, sin, and log is difficult. This is because low-level implementation languages like C do not help math library deve…
Visible-telecom broadband optical isolator based on dynamic modulation in thin-film lithium niobate
Manav Shah, Ian Briggs, Pao-Kang Chen +2
Optical isolators are an essential component of photonic systems. Current integrated optical isolators have limited bandwidths due to stringent phase-matching conditions, resonant…
Synthesizing Mathematical Identities with E-Graphs
Ian Briggs, Pavel Panchekha
Identities compactly describe properties of a mathematical expression and can be leveraged into faster and more accurate function implementations. However, identities must currentl…
Ultra-broadband quadrature squeezing with thin-film lithium niobate nanophotonics
Pao-Kang Chen, Ian Briggs, Songyan Hou +1
Squeezed light is a key quantum resource that enables quantum advantages for sensing, networking, and computing applications. The scalable generation and manipulation of squeezed l…
Faster Math Functions, Soundly
Ian Briggs, Pavel Panchekha
Standard library implementations of functions like sin and exp optimize for accuracy, not speed, because they are intended for general-purpose use. But applications tolerate inaccu…
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis
Arnab Das, Ian Briggs, Ganesh Gopalakrishnan +2
Automated techniques for rigorous floating-point round-off error analysis are important in areas including formal verification of correctness and precision tuning. Existing tools a…
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
Arnab Das, Sriram Krishnamoorthy, Ian Briggs +2
We present FPDetect, a low overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline a…
Multi-level analysis of compiler induced variability and performance tradeoffs
Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan +4
Successful HPC software applications are long-lived. When ported across machines and their compilers, these applications often produce different numerical results, many of which ar…