Follow
Santosh Nagarakatte
Santosh Nagarakatte
Associate 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
6452009
CETS: compiler enforced temporal safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
ACM SIGPLAN Notices 45 (8), 31-40, 2010
4152010
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
296*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
2612012
ApproxHadoop: Bringing Approximations to MapReduce Frameworks
I Goiri, R Bianchini, S Nagarakatte, T Nguyen
International Conference on Architectural Support for Programming Languages …, 2015
2432015
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
1322015
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
1302012
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
1102013
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking
S Nagarakatte, MMK Martin, S Zdancewic
2014 International Symposium on Code Generation and Optimization, 2014
1062014
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
722009
Everything You Want to Know about Pointer-Based Checking
S Nagarakatte, M Martin, S Zdancewic
First Summit on Advances in Programming Languages (SNAPL), 2015
672015
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
672012
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
472015
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
352007
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-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
D Menendez, S Nagarakatte, A Gupta
282016
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
262017
Hardware-enforced comprehensive memory safety
S Nagarakatte, MMK Martin, S Zdancewic
IEEE Micro 33 (3), 38-47, 2013
232013
Practical verification of peephole optimizations with Alive
NP Lopes, D Menendez, S Nagarakatte, J Regehr
Communications of the ACM 61 (2), 84-91, 2018
222018
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
212016
The system can't perform the operation now. Try again later.
Articles 1–20