Brett Saiki is an author at University of Utah specializing in approximate computing, formal methods, and computational complexity.
Top concepts
EngineeringData ScienceFormal MethodsComputer ScienceProgram AnalysisParallel ComputingApproximation TheoryComputer EngineeringParallel ProgrammingApproximate Computing
Publications per year
2021–2021
1
1
Combining Precision Tuning and Rewriting
Brett Saiki, Oliver Flatt, Chandrakana Nandi et al. · 2021 · 15 citations
Rows per page
1–1 of 1