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 | 405 | 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 | 258 | 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 | 151 | 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 | 125 | 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 | 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 | 66 | 2016 |

Automated reasoning for web page layout P Panchekha, E Torlak Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 50 | 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 | 49 | 2018 |

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

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

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 | 16 | 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 | 15 | 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 | 7 | 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 | 7 | 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 | 7 | 2020 |

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 |

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

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

Synthesizing mathematical identities with e-graphs I Briggs, P Panchekha Proceedings of the 1st ACM SIGPLAN International Symposium on E-Graph …, 2022 | 2 | 2022 |