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

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