Santosh Nagarakatte

Registered user since Fri 17 Jun 2016

Name: Santosh Nagarakatte

Country: United States

Affiliation: Rutgers University, USA

Personal website: http://www.cs.rutgers.edu/~santosh.nagarakatte/

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

Contributions

PriSC 2018	Short talk: Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch?
POPL 2018	Session Chair of Testing and Verification (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences