Suivre
Santosh Nagarakatte
Santosh Nagarakatte
Professor of Computer Science at Rutgers University
Adresse e-mail validée de cs.rutgers.edu - Page d'accueil
Titre
Citée par
Citée par
Année
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
7712009
CETS: compiler enforced temporal safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
ACM SIGPLAN Notices 45 (8), 31-40, 2010
4972010
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
319*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
3142012
ApproxHadoop: Bringing Approximations to MapReduce Frameworks
I Goiri, R Bianchini, S Nagarakatte, T Nguyen
International Conference on Architectural Support for Programming Languages …, 2015
2782015
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
1652015
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
1632012
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
1292013
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking
S Nagarakatte, MMK Martin, S Zdancewic
2014 International Symposium on Code Generation and Optimization, 2014
1212014
Everything You Want to Know about Pointer-Based Checking
S Nagarakatte, M Martin, S Zdancewic
First Summit on Advances in Programming Languages (SNAPL), 2015
792015
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
712012
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
592015
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
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
342017
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
Practical verification of peephole optimizations with Alive
NP Lopes, D Menendez, S Nagarakatte, J Regehr
Communications of the ACM 61 (2), 84-91, 2018
302018
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
262013
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
242016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20