James R. Wilcox

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 20

Top Topics

Abstract Interpretation

Distributed Systems

Top Venues

Proc. ACM Program. Lang.

Publications

James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham
mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic. CAV (2) (2024)
Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, Alex Aiken
Induction duality: primal-dual search for invariants. Proc. ACM Program. Lang. 6 (POPL) (2022)
Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox
Property-directed reachability as abstract interpretation in the monotone theory. Proc. ACM Program. Lang. 6 (POPL) (2022)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox
Property-Directed Reachability as Abstract Interpretation in the Monotone Theory. CoRR (2021)
Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox
Learning the boundary of inductive invariants. Proc. ACM Program. Lang. 5 (POPL) (2021)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: low-effort verification of high-performance concurrent programs. PLDI (2020)
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Synthesizing structured CAD models with equality saturation and inverse transformations. PLDI (2020)
Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox
Learning the Boundary of Inductive Invariants. CoRR (2020)
Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock
Using E-Graphs for CAD Parameter Inference. CoRR (2019)
Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv
Inferring Inductive Invariants from Phase Structures. CoRR (2019)
Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv
Inferring Inductive Invariants from Phase Structures. CAV (2) (2019)
Ilya Sergey, James R. Wilcox, Zachary Tatlock
Programming and proving with distributed protocols. Proc. ACM Program. Lang. 2 (POPL) (2018)
Albert Kwon, James R. Wilcox, Peter Bailis
Research for practice: private online communication; highlights in systems verification. Commun. ACM 61 (2) (2018)
James R. Wilcox, Cormac Flanagan, Stephen N. Freund
VerifiedFT: a verified, high-performance precise dynamic race detector. PPOPP (2018)
Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos
Modularity for decidability of deductive verification with applications to distributed systems. PLDI (2018)
Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman
Œuf: minimizing the Coq extraction TCB. CPP (2018)
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock
Functional programming for compiling and decompiling computer-aided design. Proc. ACM Program. Lang. 2 (ICFP) (2018)
James R. Wilcox, Ilya Sergey, Zachary Tatlock
Programming Language Abstractions for Modularly Verified Distributed Systems. SNAPL (2017)
Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson
Planning for change in a formal verification of the raft consensus protocol. CPP (2016)
Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock
Automatically improving accuracy for floating point expressions. PLDI (2015)
James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund
Array Shadow State Compression for Precise Dynamic Race Detection (T). ASE (2015)
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson
Verdi: a framework for implementing and formally verifying distributed systems. PLDI (2015)