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
4052015
Automatically improving accuracy for floating point expressions
P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock
Acm Sigplan Notices 50 (6), 1-11, 2015
2582015
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
1512021
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
1252014
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
85*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
662016
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
342020
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
182018
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
162021
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
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
72022
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
72021
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
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
Odyssey: An interactive workbench for expert-driven floating-point expression rewriting
E Misback, CC Chan, B Saiki, E Jun, Z Tatlock, P Panchekha
Proceedings of the 36th Annual ACM Symposium on User Interface Software and†…, 2023
22023
Synthesizing mathematical identities with e-graphs
I Briggs, P Panchekha
Proceedings of the 1st ACM SIGPLAN International Symposium on E-Graph†…, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20