Santosh Nagarakatte

Registered user since Fri 17 Jun 2016

Name:Santosh Nagarakatte

Country:United States

Affiliation:Rutgers University

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

Contributions

DOE/NSF Workshop on Correctness in Scientific Computing	Committee Member in Organizing Committee within the DOE/NSF Workshop on Correctness in Scientific Computing-track Committee Member in Organizing Committee within the DOE/NSF Workshop on Correctness in Scientific Computing-track Committee Member in Organizing Committee within the DOE/NSF Workshop on Correctness in Scientific Computing-track
Show activities from other conferences

Using general profile