Pavel Panchekha’s Blog pavpanchekha.com

Improving Rust with Herbie

pavpanchekha.com6 min read
Feeds

Affine Arithmetic and Error Taylor Series

pavpanchekha.com2 min read
Feeds

A new era for Herbie

pavpanchekha.com3 min read
Feeds

Optimizing Pruning in Herbie

pavpanchekha.com15 min read
Feeds

Speeding up Skia using E-graphs

pavpanchekha.com5 min read
Feeds

What is the Complexity of Selector Matching?

pavpanchekha.com2 min read
Feeds

Epsilon and Delta in Error Models

pavpanchekha.com8 min read
Feeds

Binding in E-graphs

pavpanchekha.com9 min read
Feeds

Synthesizing Range Reductions

pavpanchekha.com8 min read
Feeds

An Accurate Quadratic Formula

pavpanchekha.com8 min read
Feeds

User Trust in Herbie

pavpanchekha.com4 min read
Feeds

Fuzzing for Layout Invalidation Bugs

pavpanchekha.com7 min read
Feeds

Understanding Error Taylor Series

pavpanchekha.com5 min read
Feeds

A DSL for Math Library Implementation

pavpanchekha.com5 min read
Feeds

Detecting Symmetric Expressions

pavpanchekha.com2 min read
Feeds

Balancing Multiple Garbage Collectors

pavpanchekha.com3 min read
Feeds

A Software Verification Project

pavpanchekha.com7 min read
Feeds

Using Egg in Herbie

pavpanchekha.com4 min read
Feeds

A Feb 2020 look at Herbie

pavpanchekha.com4 min read
Feeds

Verification Beyond Functions

pavpanchekha.com3 min read
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v
Continue reading
c

Post Actions

Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help