Santosh Nagarakatte

Mon 15 - Fri 19 June 2020

Registered user since Fri 17 Jun 2016

Name:Santosh Nagarakatte

Affiliation:Rutgers University, USA

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

Contributions

PLDI 2020	Session Chair of Synthesis III (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track Debugging and Detecting Numerical Errors in Computation with Posits
Show activities from other conferences