Author Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening Now · MapsMore…Search ProgramMy ScheduleHappening NowMapsBenjamin ValpeyUniversity of RochesterPresentationsACM Student Research Competition: Graduate PosterACM Student Research Competition: Undergraduate PosterDoctoral ShowcasePostersResearch PostersScientific Visualization & Data Analytics ShowcaseA Formal Specification of Tensor Cores via Satisfiability Modulo Theories TP