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 | 436 | 2015 |

Automatically improving accuracy for floating point expressions P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock Acm Sigplan Notices 50 (6), 1-11, 2015 | 269 | 2015 |

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 | 202 | 2021 |

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 | 124 | 2014 |

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 | 86* | 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 | 75 | 2016 |

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 | 55 | 2018 |

Automated reasoning for web page layout P Panchekha, E Torlak Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 51 | 2016 |

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 | 42 | 2020 |

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 | 42 | 2018 |

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 | 18 | 2018 |

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 | 17 | 2021 |

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 | 17 | 2019 |

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 | 13 | 2022 |

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 | 8 | 2021 |

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 | 8 | 2020 |

Choosing mathematical function implementations for speed and accuracy I Briggs, P Panchekha Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 5* | 2022 |

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 | 5 | 2019 |

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 | 3 | 2024 |

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 | 3 | 2023 |