James R. Wilcox

According to our database, James R. Wilcox authored at least 24 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic.

James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2022

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility.

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

ACM Trans. Program. Lang. Syst., 2022

Induction duality: primal-dual search for invariants.

Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, Alex Aiken

Proc. ACM Program. Lang., 2022

Property-directed reachability as abstract interpretation in the monotone theory.

Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox

Proc. ACM Program. Lang., 2022

2021

Compositional and Automated Verification of Distributed Systems.

James R. Wilcox

PhD thesis, 2021

Learning the boundary of inductive invariants.

Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox

Proc. ACM Program. Lang., 2021

2020

Synthesizing structured CAD models with equality saturation and inverse transformations.

Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Armada: low-effort verification of high-performance concurrent programs.

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Using E-Graphs for CAD Parameter Inference.

Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock

CoRR, 2019

Inferring Inductive Invariants from Phase Structures.

Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Programming and proving with distributed protocols.

Ilya Sergey, James R. Wilcox, Zachary Tatlock

Proc. ACM Program. Lang., 2018

Functional programming for compiling and decompiling computer-aided design.

Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock

Proc. ACM Program. Lang., 2018

Research for practice: private online communication; highlights in systems verification.

Albert Kwon, James R. Wilcox, Peter Bailis

Commun. ACM, 2018

VerifiedFT: a verified, high-performance precise dynamic race detector.

James R. Wilcox, Cormac Flanagan, Stephen N. Freund

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Modularity for decidability of deductive verification with applications to distributed systems.

Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Œuf: minimizing the Coq extraction TCB.

Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Private Online Communication; Highlights in Systems Verification.

Albert Kwon, James Wilcox

ACM Queue, 2017

Programming Language Abstractions for Modularly Verified Distributed Systems.

James R. Wilcox, Ilya Sergey, Zachary Tatlock

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

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

Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

Verdi: a framework for implementing and formally verifying distributed systems.

James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Automatically improving accuracy for floating point expressions.

Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Array Shadow State Compression for Precise Dynamic Race Detection (T).

James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2011

Intelligent design enables architectural evolution.

Ali Ghodsi, Scott Shenker, Teemu Koponen, Ankit Singla, Barath Raghavan, James Wilcox

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

Information-centric networking: seeing the forest for the trees.

Ali Ghodsi, Scott Shenker, Teemu Koponen, Ankit Singla, Barath Raghavan, James Wilcox

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011