| 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 | 767 | 2009 |
| CETS: compiler enforced temporal safety for C S Nagarakatte, J Zhao, MMK Martin, S Zdancewic ACM SIGPLAN Notices 45 (8), 31-40, 2010 | 494 | 2010 |
| 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 | 318* | 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 | 310 | 2012 |
| ApproxHadoop: Bringing Approximations to MapReduce Frameworks I Goiri, R Bianchini, S Nagarakatte, T Nguyen International Conference on Architectural Support for Programming Languages …, 2015 | 277 | 2015 |
| 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 | 164 | 2015 |
| 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 | 161 | 2012 |
| 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 | 127 | 2013 |
| WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking S Nagarakatte, MMK Martin, S Zdancewic 2014 International Symposium on Code Generation and Optimization, 2014 | 120 | 2014 |
| Everything You Want to Know about Pointer-Based Checking S Nagarakatte, M Martin, S Zdancewic First Summit on Advances in Programming Languages (SNAPL), 2015 | 78 | 2015 |
| 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 | 73 | 2009 |
| 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 | 70 | 2012 |
| 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 | 59 | 2015 |
| 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 | 35 | 2007 |
| 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 | 34 | 2017 |
| Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM D Menendez, S Nagarakatte, A Gupta | 34 | 2016 |
| Concurrency software testing with probabilistic bounds on finding bugs SC Burckhardt, PK Kothari, MS Musuvathi, SG Nagarakatte US Patent 8,930,907, 2015 | 34 | 2015 |
| Practical verification of peephole optimizations with Alive NP Lopes, D Menendez, S Nagarakatte, J Regehr Communications of the ACM 61 (2), 84-91, 2018 | 30 | 2018 |
| 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 | 26 | 2013 |
| 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 | 24 | 2016 |
Steve ZdancewicProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
