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

POPL 2023 Committee Member in Program Committee within the POPL-track
Show activities from other conferences

Using general profile