Travelled to:1 × USA
Collaborated with:Z.Tatlock P.Panchekha S.Shoham M.Sagiv I.Sergey D.Woos A.Sanchez-Stern P.Finch C.Flanagan S.N.Freund Y.M.Y.Feldman X.Wang M.D.Ernst T.E.Anderson Marcelo Taube G.Losa K.L.McMillan O.Padon
Talks about:distribut (3) system (2) implement (1) framework (1) structur (1) protocol (1) compress (1) accuraci (1) program (1) modular (1)
Person: James R. Wilcox
DBLP: Wilcox:James_R=
Contributed to:
2015
2015
20192018
2018Wrote 6 papers:
- PLDI-2015-PanchekhaSWT #automation #float
- Automatically improving accuracy for floating point expressions (PP, ASS, JRW, ZT), pp. 1–11.
- PLDI-2015-WilcoxWPTWEA #distributed #framework #implementation #named #verification
- Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.
- ASE-2015-WilcoxFFF #array #concurrent #detection #precise
- Array Shadow State Compression for Precise Dynamic Race Detection (T) (JRW, PF, CF, SNF), pp. 155–165.
- CAV-2019-FeldmanWSS #induction #invariant
- Inferring Inductive Invariants from Phase Structures (YMYF, JRW, SS, MS), pp. 405–425.
- PLDI-2018-TaubeLMPSSWW #composition #decidability #deduction #distributed #verification
- Modularity for decidability of deductive verification with applications to distributed systems (MT, GL, KLM, OP, MS, SS, JRW, DW), pp. 662–677.
- POPL-2018-SergeyWT #distributed #programming #protocol #proving
- Programming and proving with distributed protocols (IS, JRW, ZT), p. 30.