Follow
Santosh Nagarakatte
Santosh Nagarakatte
Professor of Computer Science at Rutgers University
Verified email at cs.rutgers.edu - Homepage
Title
Cited by
Cited by
Year
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
7042009
CETS: compiler enforced temporal safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
ACM SIGPLAN Notices 45 (8), 31-40, 2010
4632010
A randomized scheduler with probabilistic guarantees of finding bugs
M Musuvathi, S Burckhardt, P Kothari, S Nagarakatte
Intl. Conf. on Architectural Support for Programming Languages and Operating …, 2010
307*2010
Formalizing the LLVM intermediate representation for verified program transformations
J Zhao, S Nagarakatte, MMK Martin, S Zdancewic
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
2862012
ApproxHadoop: Bringing Approximations to MapReduce Frameworks
I Goiri, R Bianchini, S Nagarakatte, T Nguyen
International Conference on Architectural Support for Programming Languages …, 2015
2612015
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
1512015
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
1462012
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking
S Nagarakatte, MMK Martin, S Zdancewic
2014 International Symposium on Code Generation and Optimization, 2014
1182014
Formal verification of SSA-based optimizations for LLVM
J Zhao, S Nagarakatte, MMK Martin, S Zdancewic
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
1142013
Everything You Want to Know about Pointer-Based Checking
S Nagarakatte, M Martin, S Zdancewic
First Summit on Advances in Programming Languages (SNAPL), 2015
752015
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
732009
Multicore acceleration of priority-based schedulers for concurrency bug detection
S Nagarakatte, S Burckhardt, MMK Martin, M Musuvathi
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
682012
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
502015
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
362007
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
D Menendez, S Nagarakatte, A Gupta
342016
Concurrency software testing with probabilistic bounds on finding bugs
SC Burckhardt, PK Kothari, MS Musuvathi, SG Nagarakatte
US Patent 8,930,907, 2015
342015
Alive-infer: Data-driven precondition inference for peephole optimizations in llvm
D Menendez, S Nagarakatte
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
292017
Practical verification of peephole optimizations with Alive
NP Lopes, D Menendez, S Nagarakatte, J Regehr
Communications of the ACM 61 (2), 84-91, 2018
262018
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
242013
Hardware-enforced comprehensive memory safety
S Nagarakatte, MMK Martin, S Zdancewic
IEEE Micro 33 (3), 38-47, 2013
242013
The system can't perform the operation now. Try again later.
Articles 1–20