Concepedia

Pavel Panchekha

PP

15

Publications

931

Citations

14

H-Index

2014

Active since

Affiliations

University of Washington(Current)

University of Utah

Adobe Systems (United States)

University of California San Diego

Microsoft Research (United Kingdom)

Pavel Panchekha is an author at University of Washington specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisComputer EngineeringSoftware AnalysisFormal VerificationVerificationData ScienceSoftware Testing

Publications per year

2014–2021

15

Publications

15

Verdi: a framework for implementing and formally verifying distributed systems

James R. Wilcox, Doug Woos, Pavel Panchekha et al. · 2015 · 260 citations · Full text

Cluster Computing, Engineering, Idealized Fault Model +20

Automatically improving accuracy for floating point expressions

Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox et al. · 2015 · 159 citations

Cluster Computing, Engineering, Machine Learning +20

Expressing and verifying probabilistic assertions

Adrian Sampson, Pavel Panchekha, Todd Mytkowicz et al. · 2014 · 87 citations

Program Checking, Engineering, Verification +20

Automatically improving accuracy for floating point expressions

Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox et al. · ACM SIGPLAN Notices · 2015 · 78 citations

Cluster Computing, Engineering, Machine Learning +20

Finding root causes of floating point error

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner et al. · 2018 · 55 citations

Numerical Analysis, Point Error, Numerical Computation +11

Rows per page

1–5 of 15