Pavel Panchekha


I am Pavel Panchekha, a Ph.D. student at the University of Washington advised by Michael Ernst and Zachary Tatlock. I study new abstractions and tools for programming.

I love email (PGP key), or find “pavpanchekha” on Github and Hacker News.

Major Projects


  • Automatically Improving Accuracy for Floating Point Expressions
    PLDI 2015: P. Panchekha, A. Sanchez-Stern, J. R. Wilcox, Z. Tatlock

    Distinguished paper. The paper and video are available.

  • Verdi: A Framework for Implementing and Formally Verifying Distributed System
    PLDI 2015: J. R. Wilcox, D. Woos, P. Panchekha, Z. Tatlock, X. Wang, M. D. Ernst, T. Anderson

    The paper is available; a video will be online soon.

  • Expressing and Verifying Probabilistic Assertions
    PLDI 2014: A. Sampson, P. Panchekha, T. Mytkowicz, K. S. McKinley, D. J. Grossman, L. Ceze

    The paper, a video, and an introduction by a Adrian Sampson are available.

  • Blame Trees
    WADS 2013: E. D. Demaine, P. Panchekha, D. A. Wilson, and E. Z. Yang

    The paper, slides, a video, and introduction by Edward Yang are available.

Talks and Reports

  • Automatically Improving Accuracy for Floating Point Expressions, PLDI’15 (15 Jun 2015)
  • Automatically Improving Accuracy for Floating Point Expressions, Reservior Labs (27 Apr 2015)
  • Next-generation Eventual Consistency, Facebook (talk; 29 Jan 2015)
  • Distributed Shared State with History Maintenance, CSAIL TR 2013
    P. Panchekha, M. Brodsky


By . Share it—it's CC-BY-SA licensed.

Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation, the Regents of the University of Washington, the Republican National Convention, or Mars the war god