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
5352009
CETS: compiler enforced temporal safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
ACM SIGPLAN Notices 45 (8), 31-40, 2010
3422010
A randomized scheduler with probabilistic guarantees of finding bugs
S Burckhardt, P Kothari, M Musuvathi, S Nagarakatte
ACM SIGARCH Computer Architecture News 38 (1), 167-178, 2010
2572010
A randomized scheduler with probabilistic guarantees of finding bugs
S Burckhardt, P Kothari, M Musuvathi, S Nagarakatte
ACM SIGARCH Computer Architecture News 38 (1), 167-178, 2010
2572010
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
2322012
ApproxHadoop: Bringing Approximations to MapReduce Frameworks
I Goiri, R Bianchini, S Nagarakatte, T Nguyen
International Conference on Architectural Support for Programming Languages …, 2015
2052015
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
1102015
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
1062012
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking
S Nagarakatte, MMK Martin, S Zdancewic
2014 International Symposium on Code Generation and Optimization, 2014
932014
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
932013
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
672009
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
642012
Everything You Want to Know about Pointer-Based Checking
S Nagarakatte, M Martin, S Zdancewic
First Summit on Advances in Programming Languages (SNAPL), 2015
552015
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
422015
Concurrency software testing with probabilistic bounds on finding bugs
SC Burckhardt, PK Kothari, MS Musuvathi, SG Nagarakatte
US Patent 8,930,907, 2015
332015
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
332007
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
D Menendez, S Nagarakatte, A Gupta
212016
A fast causal profiler for task parallel programs
A Yoga, S Nagarakatte
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
192017
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
182016
Hardware-enforced comprehensive memory safety
S Nagarakatte, MMK Martin, S Zdancewic
IEEE Micro 33 (3), 38-47, 2013
182013
The system can't perform the operation now. Try again later.
Articles 1–20