Follow
Pavel Panchekha
Pavel Panchekha
University of Utah, Kahlert School of Computing
Verified email at cs.utah.edu - Homepage
Title
Cited by
Cited by
Year
Verdi: a framework for implementing and formally verifying distributed systems
JR Wilcox, D Woos, P Panchekha, Z Tatlock, X Wang, MD Ernst, ...
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
4012015
Automatically improving accuracy for floating point expressions
P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock
Acm Sigplan Notices 50 (6), 1-11, 2015
2552015
Egg: Fast and extensible equality saturation
M Willsey, C Nandi, YR Wang, O Flatt, Z Tatlock, P Panchekha
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
1452021
Expressing and verifying probabilistic assertions
A Sampson, P Panchekha, T Mytkowicz, KS McKinley, D Grossman, ...
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
1232014
Finding root causes of floating point error
A Sanchez-Stern, P Panchekha, S Lerner, Z Tatlock
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
84*2018
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis
N Damouche, M Martel, P Panchekha, C Qiu, A Sanchez-Stern, Z Tatlock
Numerical Software Verification, 2016
642016
Automated reasoning for web page layout
P Panchekha, E Torlak
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
502016
Functional programming for compiling and decompiling computer-aided design
C Nandi, JR Wilcox, P Panchekha, T Blau, D Grossman, Z Tatlock
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018
492018
Verifying that web pages have accessible layout
P Panchekha, AT Geller, MD Ernst, Z Tatlock, S Kamil
ACM SIGPLAN Notices 53 (4), 1-14, 2018
402018
Scalable yet rigorous floating-point error analysis
A Das, I Briggs, G Gopalakrishnan, S Krishnamoorthy, P Panchekha
SC20: International Conference for High Performance Computing, Networking …, 2020
332020
Combining tools for optimization and analysis of floating-point computations
H Becker, P Panchekha, E Darulova, Z Tatlock
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
172018
Modular verification of web page layout
P Panchekha, MD Ernst, Z Tatlock, S Kamil
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-26, 2019
152019
Combining precision tuning and rewriting
B Saiki, O Flatt, C Nandi, P Panchekha, Z Tatlock
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), 1-8, 2021
142021
Correctness-preserving compression of datasets and neural network models
V Joseph, N Chalapathi, A Bhaskara, G Gopalakrishnan, P Panchekha, ...
2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC …, 2020
72020
Small Proofs from Congruence Closure
O Flatt, S Coward, M Willsey, Z Tatlock, P Panchekha
2022 Formal Methods in Computer-Aided Design (FMCAD), 75-83, 2022
62022
Guarding numerics amidst rising heterogeneity
G Gopalakrishnan, I Laguna, A Li, P Panchekha, C Rubio-González, ...
2021 IEEE/ACM 5th International Workshop on Software Correctness for HPC …, 2021
62021
Toward multi-precision, multi-format numerics
D Thien, B Zorn, P Panchekha, Z Tatlock
2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC …, 2019
52019
Choosing mathematical function implementations for speed and accuracy
I Briggs, P Panchekha
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
32022
Synthesizing mathematical identities with e-graphs
I Briggs, P Panchekha
Proceedings of the 1st ACM SIGPLAN International Symposium on E-Graph …, 2022
22022
Implementation and synthesis of math library functions
I Briggs, Y Lad, P Panchekha
Proceedings of the ACM on Programming Languages 8 (POPL), 942-969, 2024
12024
The system can't perform the operation now. Try again later.
Articles 1–20