Contributor <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 PosterPostersA Formal Specification of Tensor Cores via Satisfiability Modulo Theories TP