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

Contributions

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

Using general profile