Scholar
Pavel Panchekha
Google Scholar ID: dIOCe1UAAAAJ
University of Utah, Kahlert School of Computing
Web Browsers
Numerical Analysis
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,334
H-index
14
i10-index
15
Publications
20
Co-authors
7
list available
Contact
No contact links provided.
Publications
7 items
Accurate Residues for Floating-Point Debugging
2026
Cited
0
Numerical Superoptimization for Library Learning
2026
Cited
0
Semantics for 2D Rasterization
2026
Cited
0
Incremental Live Programming via Shortcut Memoization
2026
Cited
0
Fast Mixed-Precision Real Evaluation
2025
Cited
0
Incremental Bidirectional Typing via Order Maintenance
2025
Cited
0
Spineless Traversal for Layout Invalidation
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
7 total
Zachary Tatlock
University of Washington
Co-author 2
Co-author 3
Max Willsey
UC Berkeley
Ganesh Gopalakrishnan
Professor of Computer Science, University of Utah
Co-author 6
Co-author 7
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up