Search Results - "Panchekha, Pavel"

Making Interval Arithmetic Robust to Overflow by Flatt, Oliver, Panchekha, Pavel

“…In theory, interval arithmetic at high precision can compute mathematical expressions to any required accuracy. An arbitrary precision library like MPFR can…”
Get full text

Combining Precision Tuning and Rewriting by Saiki, Brett, Flatt, Oliver, Nandi, Chandrakana, Panchekha, Pavel, Tatlock, Zachary

“…Precision tuning and rewriting can improve both the accuracy and speed of floating point expressions, yet these techniques are typically applied separately…”
Get full text

Automated Reasoning for Web Page Layout by Panchekha, Pavel

“…Web pages define their appearance using Cascading Style Sheets. However, the CSS language's quirks and subtleties make it difficult for designers to write,…”
Get full text

Fast Sound Error Bounds for Mixed-Precision Real Evaluation by Yadrov, Artem, Panchekha, Pavel

“…Evaluating real-valued expressions to high precision is a key building block in computational mathematics, physics, and numerics. A typical implementation uses…”
Get full text

Synthesizing Mathematical Identities with E-Graphs by Briggs, Ian, Panchekha, Pavel

“…Identities compactly describe properties of a mathematical expression and can be leveraged into faster and more accurate function implementations. However,…”
Get full text

Spineless Traversal for Layout Invalidation by Kirisame, Marisa, Wang, Tiezhi, Panchekha, Pavel

“…Latency is a major concern for web rendering engines like those in Chrome, Safari, and Firefox. These engines reduce latency by using an incremental layout…”
Get full text

An Interval Arithmetic for Robust Error Estimation by Flatt, Oliver, Panchekha, Pavel

“…Interval arithmetic is a simple way to compute a mathematical expression to an arbitrary accuracy, widely used for verifying floating-point computations. Yet…”
Get full text

Faster Math Functions, Soundly by Briggs, Ian, Panchekha, Pavel

“…Standard library implementations of functions like sin and exp optimize for accuracy, not speed, because they are intended for general-purpose use. But…”
Get full text

Implementation and Synthesis of Math Library Functions by Briggs, Ian, Lad, Yash, Panchekha, Pavel

“…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…”
Get full text

Scalable yet Rigorous Floating-Point Error Analysis by Das, Arnab, Briggs, Ian, Gopalakrishnan, Ganesh, Krishnamoorthy, Sriram, Panchekha, Pavel

“…Automated techniques for rigorous floating-point round-off error analysis are a prerequisite to placing important activities in HPC such as precision…”
Get full text

Optimal Heap Limits for Reducing Browser Memory Use by Kirisame, Marisa, Shenoy, Pranav, Panchekha, Pavel

“…Garbage-collected language runtimes carefully tune heap limits to reduce garbage collection time and memory usage. However, there's a trade-off: a lower heap…”
Get full text

Small Proofs from Congruence Closure by Flatt, Oliver, Coward, Samuel, Willsey, Max, Tatlock, Zachary, Panchekha, Pavel

“…Satisfiability Modulo Theory (SMT) solvers and equality saturation engines must generate proof certificates from e-graph-based congruence closure procedures to…”
Get full text

Target-Aware Implementation of Real Expressions by Saiki, Brett, Brough, Jackson, Regehr, Jonas, Ponce, Jesús, Pradeep, Varun, Akhileshwaran, Aditya, Tatlock, Zachary, Panchekha, Pavel

“…New low-precision accelerators, vector instruction sets, and library functions make maximizing accuracy and performance of numerical code increasingly…”
Get full text

Small Proofs from Congruence Closure by Flatt, Oliver, Coward, Samuel, Willsey, Max, Tatlock, Zachary, Panchekha, Pavel

“…Satisfiability Modulo Theory (SMT) solvers and equality saturation engines must generate proof certificates from e-graph-based congruence closure procedures to…”
Get full text

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting by Misback, Edward, Chan, Caleb C, Saiki, Brett, Jun, Eunice, Tatlock, Zachary, Panchekha, Pavel

“…In recent years, researchers have proposed a number of automated tools to identify and improve floating-point rounding error in mathematical expressions…”
Get full text

Guarding Numerics Amidst Rising Heterogeneity by Gopalakrishnan, Ganesh, Laguna, Ignacio, Li, Ang, Panchekha, Pavel, Rubio-Gonzalez, Cindy, Tatlock, Zachary

“…New heterogeneous computing platforms-especially GPUs and other accelerators-are being introduced at a brisk pace, motivated by the goals of exploiting…”
Get full text

Toward Multi-Precision, Multi-Format Numerics by Thien, David, Zorn, Bill, Panchekha, Pavel, Tatlock, Zachary

“…Recent research has provided new, domain-specific number systems that accelerate modern workloads. Using these number systems effectively requires analyzing…”
Get full text

An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis by Das, Arnab, Briggs, Ian, Gopalakrishnan, Ganesh, Panchekha, Pavel, Krishnamoorthy, Sriram

“…Automated techniques for rigorous floating-point round-off error analysis are important in areas including formal verification of correctness and precision…”
Get full text

Correctness-preserving Compression of Datasets and Neural Network Models by Joseph, Vinu, Chalapathi, Nithin, Bhaskara, Aditya, Gopalakrishnan, Ganesh, Panchekha, Pavel, Zhang, Mu

“…Neural networks deployed on edge devices must be efficient both in terms of their model size and the amount of data movement they cause when classifying…”
Get full text

egg: Fast and Extensible Equality Saturation by Willsey, Max, Nandi, Chandrakana, Wang, Yisu Remy, Flatt, Oliver, Tatlock, Zachary, Panchekha, Pavel

“…POPL 2021 An e-graph efficiently represents a congruence relation over many expressions. Although they were originally developed in the late 1970s for use in…”
Get full text