Pavel Panchekha


Share under CC-BY-SA.

Pavel's Blog

Binding in E-graphs   research pl

Synthesizing Range Reductions   research

An Accurate Quadratic Formula   research

User Trust in Herbie   prog

Fuzzing for Layout Invalidation Bugs   research

Understanding Error Taylor Series   research

A DSL for Math Library Implementation   research

Balancing Multiple Garbage Collectors   research

Detecting Symmetric Expressions   prog

A Software Verification Project   prog

Using Egg in Herbie   prog

A Feb 2020 look at Herbie   prog

Verification Beyond Functions   pl

Herbie in 2019   research

Why are Shell Scripts Bad?   research prog

Parallel Line Breaking   algs

Proof Systems as Operating Systems   math

A Survey of PL Blogging (Part 2)   research

My job market materials   research

Intrinsic and Extrinsic Data   prog pl

Architecture Patterns   prog pl

Long-term Goals for Herbie   research

Sub-specifications   research pl

Was Lower Case Designed for Reading Speed   misc

Learning Shame   math

Designing Libraries like Languages   pl

What's Wrong with CSS?   prog

Categories for Function Reactive Programming   pl

Crosswords: Selective Crossword Submissions   misc

Crosswords: Dedicated Crossword Practice   misc

Crosswords: You Start Off Bad at Crosswords   misc

Crosswords: Crossword Science with Stan   misc

How I Track Todos   misc

Remembering the Herbie Visualizer   pl

Social Processes in Package Managers   prog

Programs as Patchwork   pl

First Impressions with Typed Racket   prog

Solving Resistance   prog misc

Not Quite Pushouts   math

Programming with Pushouts   math

Cryptic Mastermind with Z3   prog

A Survey of PL Blogging (Part 1)   research

A Game Theory of Primaries   math

WIP: Programming by Voice   prog

Assigning Meaning to Open Terms   pl

Floating Point Error in Polynomials   fp

Floating Point Error in the Small   fp

Functions and Relations in First-order Logic   pl

How Cassius Works   css

Variary Functions in Coq   pl

Blame Analysis and Local Error   fp

Modularity for Verdi   research

Exact Geometric Operations   fp

Unpublished blog posts in Magit   misc

Why Equality?   pl

Paper Statistics with TimeTracker   research

Shadow Icons with CSS   css

How CSS Floats Work   css

Multi-command-line in Racket   prog

A Fine Language   pl

Grammars in Racket   prog

How Herbie Happened   research

Bimodal Logic   math misc

Rational Rationality   math misc

Moral Prisoners   math

Models of Modal Logic   math

What is Modal Logic?   math

Solving the Prisoners’ Dilemma   math

First-order Logic is a Modal Logic   pl

Designing the PLSE Logo   prog

Quadrature in Bash   prog

Equal Functions in ITT   pl

Well-Suited (a story)   misc

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   fp

Taylor Expansions of Taylor Expansions   math

Arbitrary Precision, not Arbitrary Accuracy   fp

Complex Square Roots in math.js   fp

The Eigenvalue Game   math

Paper Statistics with Git   research

Models: Defining a Logic (Part 2 of 6)   math

Models: What is a model? (Part 1 of 6)   math

Floating Point Guarantees   fp

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)   pl

Stream Fuse Carefully   pl

Plotting Functions in D3   prog

Pairs in Hindley-Milner Languages   pl

Fixed points: Attraction and Orders (Part 3 of 4)   pl

Fixed points: Fixed behaviors (Part 2 of 4)   pl

Fixed points: What is a fixed point? (Part 1 of 4)   pl

The Gaussian and the Sine   math

Tea physics   misc

Xifed points   pl

(call/cc call/cc) and friends   pl

Engineering Taste   prog

Organizing Objects   misc

A Critique of ADT.scm   prog

Uniqode (a puzzle)   misc

Typing Analytics in Emacs   misc

Forward with Federated   prog

Package Management for the 21.1st Century   misc

The Law of Demeter, and a question of design   pl

The Levels of Concurrency   pl

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   pl

MIT Zephyr from Arch Linux   misc

Using Org-mode to Publish a Website   misc

Treaps: The Magical Awesome BBT   algs

Installing Ubuntu on LVM   misc

Sequences, Series, and Recursion   math

How to Draw a Heart in Polar Coordinates   math

7919, 7853, and Li(x)   math