Mark Baranowski is an author at University of Utah specializing in approximate computing, formal methods, and parallel computing.
Top concepts
CalibrationEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisEnergy ConsumptionNumerical AnalysisParallel ComputingApproximation Theory
Publications per year
2016–2017
2
2
Rigorous floating-point mixed-precision tuning
Wei‐Fan Chiang, Mark Baranowski, Ian Briggs et al. · 2016 · 113 citations
Rigorous floating-point mixed-precision tuning
Wei‐Fan Chiang, Mark Baranowski, Ian Briggs et al. · ACM SIGPLAN Notices · 2017 · 33 citations
Rows per page
1–2 of 2