Подписаться
James R. Wilcox
James R. Wilcox
University of Washington
Подтвержден адрес электронной почты в домене cs.washington.edu - Главная страница
Название
Процитировано
Процитировано
Год
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
6522011
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
451*2015
Automatically improving accuracy for floating point expressions
P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock
Programming Languages Design and Implementation (PLDI), 2015
2852015
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
1682016
Programming and proving with distributed protocols
I Sergey, JR WILCOX, Z TATLOCK
Principles of Programming Languages (POPL), 2018
1602018
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
1072020
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
1072016
Intelligent design enables architectural evolution
A Ghodsi, S Shenker, T Koponen, A Singla, B Raghavan, J Wilcox
Hot Topics in Networks (HotNets), 2011
1052011
Video Communications: The Whole Picture
J Wilcox, D Gibson
CRC Press, 2005
792005
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
762018
Videoconferencing: The whole picture
J Wilcox
Routledge, 2000
762000
Œuf: Minimizing the Coq Extraction TCB
E Mullen, S Pernsteiner, JR Wilcox, Z Tatlock, D Grossman
Certified Programs and Proofs (CPP), 2018
722018
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
562018
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
502020
Inferring inductive invariants from phase structures
YMY Feldman, JR Wilcox, S Shoham, M Sagiv
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
402019
Array shadow state compression for precise dynamic race detection
JR Wilcox, P Finch, C Flanagan, SN Freund
Automated Software Engineering (ASE), 2015
262015
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
252022
Programming Language Abstractions for Modularly Verified Distributed Systems
JR Wilcox, I Sergey, Z Tatlock
Summit on Advances in Programming Languages (SNAPL), 2017
242017
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
232018
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
112015
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20