Santosh Nagarakatte

Registered user since Fri 17 Jun 2016

Name:Santosh Nagarakatte
Country:United States
Affiliation:Rutgers University
Research interests:Compilers, Programming Languages, Verification, Computer Architecture


POPL 2022 One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes
PriSC 2022 Committee Member in Steering Committee within the PriSC 2022-track
Show activities from other conferences

POPL 2022-profile
View general profile