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.