| Pinocchio: Nearly practical verifiable computation B Parno, J Howell, C Gentry, M Raykova Communications of the ACM 59 (2), 103-112, 2016 | 1711 | 2016 |
| FARSITE: Federated, available, and reliable storage for an incompletely trusted environment A Adya, WJ Bolosky, M Castro, G Cermak, R Chaiken, JR Douceur, ... ACM SIGOPS Operating Systems Review 36 (SI), 1-14, 2002 | 1380 | 2002 |
| Asirra: a CAPTCHA that exploits interest-aligned manual image categorization. J Elson, JR Douceur, J Howell, J Saul CCS 7 (366-374), 15, 2007 | 744 | 2007 |
| IronFleet: proving practical distributed systems correct C Hawblitzel, J Howell, M Kapritsos, JR Lorch, B Parno, ML Roberts, ... Proceedings of the 25th Symposium on Operating Systems Principles, 1-17, 2015 | 554 | 2015 |
| Cooperative task management without manual stack management A Adya, J Howell, M Theimer, B Bolosky, J Douceur 2002 USENIX Annual Technical Conference (USENIX ATC 02), 2002 | 455 | 2002 |
| Rethinking the library OS from the top down DE Porter, S Boyd-Wickizer, J Howell, R Olinsky, GC Hunt Proceedings of the sixteenth international conference on Architectural …, 2011 | 352 | 2011 |
| Geppetto: Versatile verifiable computation C Costello, C Fournet, J Howell, M Kohlweiss, B Kreuter, M Naehrig, ... 2015 IEEE Symposium on Security and Privacy, 253-270, 2015 | 348 | 2015 |
| Ironclad apps:{End-to-End} security via automated {Full-System} verification C Hawblitzel, J Howell, JR Lorch, A Narayan, B Parno, D Zhang, B Zill 11th USENIX symposium on operating systems design and implementation (OSDI …, 2014 | 316 | 2014 |
| Flat datacenter storage EB Nightingale, J Elson, J Fan, O Hofmann, J Howell, Y Suzue 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2012 | 212 | 2012 |
| Mugshot: Deterministic Capture and Replay for JavaScript Applications. JW Mickens, J Elson, J Howell NSDI 10, 159-174, 2010 | 209 | 2010 |
| Protection and communication abstractions for web browsers in MashupOS HJ Wang, X Fan, J Howell, C Jackson ACM SIGOPS Operating Systems Review 41 (6), 1-16, 2007 | 200 | 2007 |
| Radiatus: a shared-nothing server-side web architecture R Cheng, W Scott, P Ellenbogen, J Howell, F Roesner, A Krishnamurthy, ... Proceedings of the Seventh ACM Symposium on Cloud Computing, 237-250, 2016 | 168 | 2016 |
| Verus: Verifying rust programs using linear ghost types A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ... Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 286-315, 2023 | 167 | 2023 |
| {End-to-End} Authorization J Howell, D Kotz Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), 2000 | 152* | 2000 |
| Leveraging legacy code to deploy desktop applications on the web. JR Douceur, J Elson, J Howell, JR Lorch OSDI 8, 339-354, 2008 | 144 | 2008 |
| Acting in virtual reality M Slater, J Howell, A Steed, DP Pertaub, M Garau Proceedings of the third international conference on Collaborative virtual …, 2000 | 140 | 2000 |
| The SMART way to migrate replicated stateful services JR Lorch, A Adya, WJ Bolosky, R Chaiken, JR Douceur, J Howell Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer …, 2006 | 132 | 2006 |
| Slicer:{Auto-Sharding} for datacenter applications A Adya, D Myers, J Howell, J Elson, C Meek, V Khemani, S Fulger, P Gu, ... 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016 | 123 | 2016 |
| Capturing web-based scenarios J Mickens, J Howell, J Elson US Patent 8,407,321, 2013 | 117 | 2013 |
| A formal semantics for SPKI J Howell, D Kotz European Symposium on Research in Computer Security, 140-158, 2000 | 106 | 2000 |
