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 like email (PGP key) and in-person meetings. I am “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. Paper 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

    To appear; email for draft.

  • 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

  • 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.