Pavel Panchekha
I am Pavel Panchekha. I invent tools to automate programming tasks from web design to numerical analysis with my advisors Mike and Zach at UW CSE.
Cassius: Web Page Layout Github
- Verifying that Web Pages have Accessible Layout
PLDI 2018: P. Panchekha, A. Geller, M. D. Ernst, Z. Tatlock, S. Kamil - Generating Interactive Web Pages from Storyboards
FSE 2016 Doctoral Symposium: P. Panchekha - Automated Reasoning for Web Page Layout
OOPSLA 2016: P. Panchekha, E. Torlak
Herbie: Automatic numerical accuracy Github
- Combining Tools for Optimization and Analysis of Floating-Point Computations
FM 18 short: H. Becker, P. Panchekha, E. Darulova, Z. Tatlock - Finding Root Causes of Floating Point Error
PLDI 2018: A. Sanchez-Stern, P. Panchekha, S. Lerner, Z. Tatlock - Toward a Standard Benchmark Format and Suite for Floating-Point Analysis
NSV 2016: N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern, Z. Tatlock - Automatically Improving Accuracy for Floating Point Expressions
PLDI 2015 Distinguished Paper: P. Panchekha, A. Sanchez-Stern, J. R. Wilcox, Z. Tatlock
Other Papers
- 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 - Expressing and Verifying Probabilistic Assertions
PLDI 2014: A. Sampson, P. Panchekha, T. Mytkowicz, K. S. McKinley, D. J. Grossman, L. Ceze - Blame Trees
WADS 2013: E. D. Demaine, P. Panchekha, D. A. Wilson, and E. Z. Yang
Side Projects
- Armstrong: a fast bit-rate adaptation
A better algorithm for bit-rate adaptation in Wi-Fi. - TimeTracker: record time use
Records how I spend my time and visualizes the results. - Complex Plotter: draw complex functions
Plots functions of a complex variable in high resolution.
Blog
- WIP: Programming by Voice prog
- Assigning Meaning to Open Terms math
- Floating Point Error in Polynomials prog
- Floating Point Error in the Small prog
- Functions and Relations in First-order Logic math
- How Cassius Works prog algs
- Variary Functions in Coq math prog
- Blame Analysis and Local Error prog
- Modularity for Verdi math
- Exact Geometric Operations math
- Unpublished blog posts in Magit tools
- Why Equality? prog
- Paper Statistics with TimeTracker tools
- Shadow Icons with CSS prog
- How CSS Floats Work prog algs
- Multi-command-line in Racket prog
- A Fine Language prog
- Grammars in Racket prog
- How Herbie Happened
- Rational Rationality math misc
- Models of Modal Logic math
- What is Modal Logic? math
- Solving the Prisoners’ Dilemma math
- First-order Logic is a Modal Logic math
- Designing the PLSE Logo prog
- Quadrature in Bash prog
- Equal Functions in ITT prog
- WIP: Refinement in Mathematics math
- Zippers: Multi-Zippers (Part 4 of 4) algs
- Models from Models math
- Game-theoretic Protesters math
- Pedestrian Statistics math
- Logarithms of Taylor Expansions math prog
- Hyperbolic sines in math.js math prog
- Taylor Expansions of Taylor Expansions math
- Arbitrary Precision, not Arbitrary Accuracy math prog
- Complex Square Roots in math.js math prog
- The Eigenvalue Game math
- Paper Statistics with Git tools
- Models: Defining a Logic (Part 2 of 6) math
- Models: What is a model? (Part 1 of 6) math
- Floating Point Guarantees prog
- Major Key (a puzzle) misc
- Age-aware: Tree Lookup (Part 2 of 4) algs
- Age-aware: Age-aware Array Search (Part 1 of 4) algs
- Fixed points: Stability (Part 4 of 4) plt
- Stream Fuse Carefully plt
- Plotting Functions in D3 prog
- Pairs in Hindley-Milner Languages plt
- Fixed points: Attraction and Orders (Part 3 of 4) plt
- Fixed points: Fixed behaviors (Part 2 of 4) plt
- Fixed points: What is a fixed point? (Part 1 of 4) plt
- The Gaussian and the Sine math
- Tea physics misc
- Xifed points plt
- (call/cc call/cc) and friends plt
- Engineering Taste prog
- Organizing Objects tools
- A Critique of ADT.scm prog
- Uniqode (a puzzle) misc
- Typing Analytics in Emacs tools
- Forward with Federated prog
- Package Management for the 21.1st Century tools
- Defending the Web prog
- The Law of Demeter, and a question of design plt
- The Levels of Concurrency plt
- Time, Clocks, and an Implementation in Erlang algs
- Zippers: Kiselyov Zippers (Part 3 of 4) algs
- Zippers: Zippers as Derivatives (Part 2 of 4) algs
- Zippers: Huet Zippers (Part 1 of 4) algs
- Injection is a Display-level Problem prog
- Programming With Types plt
- MIT Zephyr from Arch Linux tools
- Using Org-mode to Publish a Website tools
- Treaps: The Magical Awesome BBT algs
- Installing Ubuntu on LVM tools
- Sequences, Series, and Recursion math
- How to Draw a Heart in Polar Coordinates math
- 7919, 7853, and Li(x) math