James R. Wilcox

Information-centric networking

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

Computing, Computer Science, Information Technology +12

Verdi: a framework for implementing and formally verifying distributed systems

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

Computing, Computer Engineering, Computer Science +17

Automatically improving accuracy for floating point expressions

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

Computing, Computer Science, Mathematics +11

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

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

Computing, Computer Science, Computer Systems +17

Programming and proving with distributed protocols

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

Computing, Computer Science, Computer Systems +17