James R. Wilcox

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