Concepedia

Alex Sanchez-Stern

AS

6

Publications

338

Citations

6

H-Index

2015

Active since

Affiliations

University of Washington(Current)

University of California San Diego

Alex Sanchez-Stern is an author at University of Washington specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisComputer EngineeringData ScienceParallel ComputingApproximation TheoryParallel ProgrammingApproximate Computing

Publications per year

2015–2023

6

Publications

6

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

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

Passport: Improving Automated Formal Verification Using Identifiers

Alex Sanchez-Stern, Emily First, Timothy Zhou et al. · ACM Transactions on Programming Languages and Systems · 2023 · 19 citations · Full text

Engineering, Information Security, Verification +19

Finding root causes of floating point error

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner et al. · ACM SIGPLAN Notices · 2018 · 17 citations

Numerical Analysis, Point Error, Engineering +23

Rows per page

1–5 of 6