| Efficient memory safety for TinyOS N Cooprider, W Archer, E Eide, D Gay, J Regehr Proceedings of the 5th international conference on Embedded networked sensor …, 2007 | 163 | 2007 |
| Interrupt verification via thread verification J Regehr, N Cooprider Electronic Notes in Theoretical Computer Science 174 (9), 139-150, 2007 | 77 | 2007 |
| Efficient multiple hypothesis tracking by track segment graph CY Chong, G Castanon, N Cooprider, S Mori, R Ravichandran, R Macior 2009 12th International Conference on Information Fusion, 2177-2184, 2009 | 54 | 2009 |
| Memory safety and untrusted extensions for tinyos J Regehr, N Cooprider, W Archer, E Eide School of Computing, University of Utah, 2006 | 32 | 2006 |
| Pluggable abstract domains for analyzing embedded software N Cooprider, J Regehr Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers …, 2006 | 28 | 2006 |
| Eliminating the call stack to save RAM X Yang, N Cooprider, J Regehr Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages …, 2009 | 21 | 2009 |
| Efficient type and memory safety for tiny embedded systems J Regehr, N Cooprider, W Archer, E Eide Proceedings of the 3rd workshop on Programming languages and operating …, 2006 | 19 | 2006 |
| Extension of star coordinates into three dimensions ND Cooprider, RP Burton Visualization and Data Analysis 2007 6495, 256-265, 2007 | 15 | 2007 |
| Offline compression for on-chip RAM ND Cooprider, JD Regehr Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 13 | 2007 |
| Data-flow analysis for interrupt-driven microcontroller software N Cooprider School of Computing, University of Utah, 2008 | 8 | 2008 |
| Atomicity and visibility in tiny embedded systems J Regehr, N Cooprider, D Gay Proceedings of the 3rd workshop on Programming languages and operating …, 2006 | 3 | 2006 |
| Using sequencing to trigger a better analysis N Cooprider, J Regehr ACM SIGBED Review 5 (1), 1-2, 2008 | | 2008 |
| Compiling for Resource-Constrained Platforms using ASSHes: Application-and System-Specific Heuristics A Reid, N Cooprider, J Regehr | | 2004 |
| Static Analysis for Embedded Systems N Cooprider | | 1988 |
| Optimizing Interrupt-Driven Embedded Software N COOPRIDER, J REGEHR | | |
| Dependable Sensor Network Applications Through Language Safety J Regehr, N Cooprider, W Archer, E Eide | | |
John RegehrProfessor, School of Computing, University of Utah在 cs.utah.edu 的电子邮件经过验证
