Santosh Nagarakatte

Sun 17 - Fri 22 January 2021 Online

Registered user since Fri 17 Jun 2016

Name:Santosh Nagarakatte

Affiliation:Rutgers University, USA

Research interests:Compilers, Programming Languages, Verification, Computer Architecture

Contributions

POPL 2021	An Approach to Generate Correctly Rounded Math Libraries for New Floating Point Variants
PriSC 2021	Committee Member in Steering Committee within the PriSC 2021-track Committee Member in Program Committee within the PriSC 2021-track
Show activities from other conferences