Santosh Nagarakatte

Registered user since Fri 17 Jun 2016

Name:Santosh Nagarakatte
Country:United States
Affiliation:Rutgers University, USA
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

POPL 2018-profile
View general profile