Cyclone: a safe dialect of C. T Jim, JG Morrisett, D Grossman, MW Hicks, J Cheney, Y Wang USENIX Annual Technical Conference, General Track, 275-288, 2002 | 1115 | 2002 |
Dynamic software updating M Hicks, S Nettles ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (6), 1049-1096, 2005 | 708* | 2005 |
Evaluating fuzz testing G Klees, A Ruef, B Cooper, S Wei, M Hicks Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018 | 683 | 2018 |
Region-based memory management in Cyclone D Grossman, G Morrisett, T Jim, M Hicks, Y Wang, J Cheney Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002 | 540 | 2002 |
PLAN: A packet language for active networks M Hicks, P Kakkar, JT Moore, CA Gunter, S Nettles ACM SIGPLAN Notices 34 (1), 86-93, 1998 | 489 | 1998 |
Defeating script injection attacks with browser-enforced embedded policies T Jim, N Swamy, M Hicks Proceedings of the 16th international conference on World Wide Web, 601-610, 2007 | 485 | 2007 |
The SwitchWare active network architecture DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ... IEEE network 12 (3), 29-36, 1998 | 480 | 1998 |
Automated detection of persistent kernel control-flow attacks NL Petroni Jr, M Hicks Proceedings of the 14th ACM conference on Computer and communications …, 2007 | 460 | 2007 |
Understanding source code evolution using abstract syntax tree matching I Neamtiu, JS Foster, M Hicks Proceedings of the 2005 international workshop on Mining software …, 2005 | 386 | 2005 |
Practical dynamic software updating for C I Neamtiu, M Hicks, G Stoyle, M Oriol ACM SIGPLAN Notices 41 (6), 72-83, 2006 | 349 | 2006 |
Locksmith: context-sensitive correlation analysis for race detection P Pratikakis, JS Foster, M Hicks Acm Sigplan Notices 41 (6), 320-331, 2006 | 324 | 2006 |
Directed symbolic execution KK Ma, K Yit Phang, JS Foster, M Hicks Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 316 | 2011 |
Dynamic software updates: a VM-centric approach S Subramanian, M Hicks, KS McKinley Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 238 | 2009 |
Static type inference for Ruby M Furr, J An, JS Foster, M Hicks Proceedings of the 2009 ACM symposium on Applied Computing, 1859-1866, 2009 | 228 | 2009 |
Ghostrider: A hardware-software system for memory trace oblivious computation C Liu, A Harris, M Maas, M Hicks, M Tiwari, E Shi ACM SIGPLAN Notices 50 (4), 87-101, 2015 | 203 | 2015 |
Wysteria: A programming language for generic, mixed-mode multiparty computations A Rastogi, MA Hammer, M Hicks 2014 IEEE Symposium on Security and Privacy, 655-670, 2014 | 187 | 2014 |
Practical programmable packets JT Moore, M Hicks, S Nettles Proceedings IEEE INFOCOM 2001. Conference on Computer Communications …, 2001 | 178 | 2001 |
PLANet: An active internetwork M Hicks, JT Moore, DS Alexander, CA Gunter, SM Nettles IEEE INFOCOM'99. Conference on Computer Communications. Proceedings …, 1999 | 173 | 1999 |
Fable: A language for enforcing user-defined security policies N Swamy, BJ Corcoran, M Hicks 2008 IEEE Symposium on Security and Privacy (sp 2008), 369-383, 2008 | 161 | 2008 |
Safe manual memory management in Cyclone N Swamy, M Hicks, G Morrisett, D Grossman, T Jim Science of Computer Programming 62 (2), 122-144, 2006 | 156* | 2006 |