James R. Wilcox

Information-centric networking

Ali Ghodsi, Scott Shenker, Teemu Koponen et al. · 2011 · 321 citations

Voluminous Literature, Named Data Networking, Network Science +12

Verdi: a framework for implementing and formally verifying distributed systems

James R. Wilcox, Doug Woos, Pavel Panchekha et al. · 2015 · 260 citations · Full text

Cluster Computing, Engineering, Idealized Fault Model +20

Automatically improving accuracy for floating point expressions

Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox et al. · 2015 · 159 citations

Cluster Computing, Engineering, Machine Learning +20

Planning for change in a formal verification of the raft consensus protocol

Doug Woos, James R. Wilcox, Steve Anton et al. · 2016 · 125 citations · Full text

Blockchain Consensus Protocol, Engineering, Information Security +21

Programming and proving with distributed protocols

Ilya Sergey, James R. Wilcox, Zachary Tatlock · Proceedings of the ACM on Programming Languages · 2017 · 101 citations · Full text

Engineering, Verification, Automated Proof +21