| Information-centric networking: seeing the forest for the trees A Ghodsi, S Shenker, T Koponen, A Singla, B Raghavan, J Wilcox Hot Topics in Networks (HotNets), 2011 | 658 | 2011 |
| Verdi: A framework for formally verifying distributed system implementations JR Wilcox, D Woos, P Panchekha, Z Tatlock, X Wang, MD Ernst, ... Programming Languages Design and Implementation (PLDI), 2015 | 452* | 2015 |
| Automatically improving accuracy for floating point expressions P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock Programming Languages Design and Implementation (PLDI), 2015 | 284 | 2015 |
| Planning for change in a formal verification of the raft consensus protocol D Woos, JR Wilcox, S Anton, Z Tatlock, MD Ernst, T Anderson Certified Programs and Proofs (CPP), 2016 | 172 | 2016 |
| Programming and proving with distributed protocols I Sergey, JR WILCOX, Z TATLOCK Principles of Programming Languages (POPL), 2018 | 160 | 2018 |
| A centralized scheduling algorithm for IEEE 802.15. 4e TSCH based industrial low power wireless networks Y Jin, P Kulkarni, J Wilcox, M Sooriyabandara 2016 IEEE Wireless Communications and Networking Conference, 1-6, 2016 | 108 | 2016 |
| Synthesizing structured CAD models with equality saturation and inverse transformations C Nandi, M Willsey, A Anderson, JR Wilcox, E Darulova, D Grossman, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 106 | 2020 |
| Intelligent design enables architectural evolution A Ghodsi, S Shenker, T Koponen, A Singla, B Raghavan, J Wilcox Hot Topics in Networks (HotNets), 2011 | 106 | 2011 |
| Video Communications: The Whole Picture J Wilcox, D Gibson CRC Press, 2005 | 95 | 2005 |
| Modularity for decidability of deductive verification with applications to distributed systems M Taube, G Losa, KL McMillan, O Padon, M Sagiv, S Shoham, JR Wilcox, ... Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 77 | 2018 |
| Videoconferencing: The whole picture J Wilcox Routledge, 2000 | 75 | 2000 |
| Œuf: Minimizing the Coq Extraction TCB E Mullen, S Pernsteiner, JR Wilcox, Z Tatlock, D Grossman Certified Programs and Proofs (CPP), 2018 | 72 | 2018 |
| Functional programming for compiling and decompiling computer-aided design C Nandi, JR Wilcox, P Panchekha, T Blau, D Grossman, Z Tatlock Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018 | 56 | 2018 |
| Armada: low-effort verification of high-performance concurrent programs JR Lorch, Y Chen, M Kapritsos, B Parno, S Qadeer, U Sharma, JR Wilcox, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 49 | 2020 |
| Inferring inductive invariants from phase structures YMY Feldman, JR Wilcox, S Shoham, M Sagiv Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 41 | 2019 |
| Array shadow state compression for precise dynamic race detection JR Wilcox, P Finch, C Flanagan, SN Freund Automated Software Engineering (ASE), 2015 | 28 | 2015 |
| Induction duality: primal-dual search for invariants O Padon, JR Wilcox, JR Koenig, KL McMillan, A Aiken Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022 | 26 | 2022 |
| Verified FT: A verified, high-performance precise dynamic race detector JR Wilcox, C Flanagan, SN Freund Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of …, 2018 | 24 | 2018 |
| Programming Language Abstractions for Modularly Verified Distributed Systems JR Wilcox, I Sergey, Z Tatlock Summit on Advances in Programming Languages (SNAPL), 2017 | 23 | 2017 |
| Sets characterized by missing sums and differences in dilating polytopes T Do, A Kulkarni, SJ Miller, D Moon, J Wellens, J Wilcox Journal of Number Theory 157, 123-153, 2015 | 10 | 2015 |
Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
