SPLASH 2013
Sat 26 - Thu 31 October 2013 Indianapolis, United States
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

SPLASH 2013 Ironclad C++: A Library-Augmented Type-Safe Subset of C++
Show activities from other conferences

SPLASH 2013-profile
View general profile