Santosh Nagarakatte
Santosh Nagarakatte
Associate Professor of Computer Science at Rutgers University
Verified email at cs.rutgers.edu - Homepage
TitleCited byYear
SoftBound: Highly compatible and complete spatial memory safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
ACM SIGPLAN Notices 44 (6), 245-258, 2009
4172009
CETS: compiler enforced temporal safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
ACM SIGPLAN Notices 45 (8), 31-40, 2010
2622010
CETS: Compiler Enforced Temporal Safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
International Symposium on Memory Management (ISMM), 2010
2622010
A randomized scheduler with probabilistic guarantees of finding bugs
S Burckhardt, P Kothari, M Musuvathi, S Nagarakatte
ACM SIGPLAN Notices 45 (3), 167-178, 2010
2352010
Formalizing the LLVM intermediate representation for verified program transformations
J Zhao, S Nagarakatte, MMK Martin, S Zdancewic
Acm sigplan notices 47 (1), 427-440, 2012
1902012
ApproxHadoop: Bringing Approximations to MapReduce Frameworks
I Goiri, R Bianchini, S Nagarakatte, T Nguyen
International Conference on Architectural Support for Programming Languagesá…, 2015
1562015
Formal verification of SSA-based optimizations for LLVM
J Zhao, S Nagarakatte, MMK Martin, S Zdancewic
ACM SIGPLAN Notices 48 (6), 175-186, 2013
892013
Watchdog: Hardware for Safe and Secure Manual Memory Management and Full Memory Safety
S Nagarakatte, MMK Martin, S Zdancewic
International Symposium on Computer Architecture, 2012
882012
Provably Correct Peephole Optimizations with Alive
N Lopes, D Menendez, S Nagarakatte, J Regehr
Proceedings of the 36th Annual ACM SIGPLAN Conference on Programmingá…, 2015
802015
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking
S Nagarakatte, MMK Martin, S Zdancewic
2014 International Symposium on Code Generation and Optimization, 2014
702014
iCFP microarchitecture
A Hilton, S Nagarakatte, A Roth
IEEE MICRO Top Picks of Architecture Conferences of 2009, 2010
59*2010
iCFP: Tolerating all-level cache misses in in-order processors
A Hilton, S Nagarakatte, A Roth
High Performance Computer Architecture, 2009. HPCA 2009. IEEE 15thá…, 2009
592009
Multicore acceleration of priority-based schedulers for concurrency bug detection
S Nagarakatte, S Burckhardt, MMK Martin, M Musuvathi
ACM SIGPLAN Notices 47 (6), 543-554, 2012
542012
Everything You Want to Know about Pointer-Based Checking
S Nagarakatte, M Martin, S Zdancewic
First Summit on Advances in Programming Languages (SNAPL), 2015
412015
Register allocation and optimal spill code scheduling in software pipelined loops using 0-1 integer linear programming formulation
S Nagarakatte, R Govindarajan
Compiler Construction, 126-140, 2007
322007
Testing Cross-Platform Mobile App Development Frameworks
N Boushehrinejadmoradi, V Ganapathy, S Nagarakatte, L Iftode
30th IEEE/ACM International Conference on Automated Software Engineering, 2015
312015
Concurrency software testing with probabilistic bounds on finding bugs
SC Burckhardt, PK Kothari, MS Musuvathi, SG Nagarakatte
US Patent 8,930,907, 2015
302015
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
D Menendez, S Nagarakatte, A Gupta
162016
Parallel data race detection for task parallel programs with locks
A Yoga, S Nagarakatte, A Gupta
Proceedings of the 2016 24th ACM SIGSOFT International Symposium oná…, 2016
142016
Ironclad C++: A library-augmented type-safe subset of C++
C DeLozier, R Eisenberg, S Nagarakatte, PM Osera, MMK Martin, ...
ACM SIGPLAN Notices 48 (10), 287-304, 2013
142013
The system can't perform the operation now. Try again later.
Articles 1–20