James R. Wilcox
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
2015–2024
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic. | James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham |
| 2020 | PLDI | 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 |
| 2020 | PLDI | 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 |
| 2019 | CAV | Inferring Inductive Invariants from Phase Structures. | Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv |
| 2018 | CPP | Œuf: minimizing the Coq extraction TCB. | Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman |
| 2018 | PLDI | 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 |
| 2018 | PPoPP | VerifiedFT: a verified, high-performance precise dynamic race detector. | James R. Wilcox, Cormac Flanagan, Stephen N. Freund |
| 2016 | CPP | 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 |
| 2015 | PLDI | Automatically improving accuracy for floating point expressions. | Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock |
| 2015 | PLDI | 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 |