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

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