James R. Wilcox

机构：University of Washington, Certora · 主页：https://jamesrwilcox.com

发表论文 27 篇 · 总被引 1624 次 · h-index 15

代表论文

• Verdi: a framework for implementing and formally verifying distributed systems (2015 · ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 被引 383)
• Automatically improving accuracy for floating point expressions (2015 · ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 被引 275)
• Research for practice (2018 · Communications of the ACM · 被引 182)
• Planning for change in a formal verification of the raft consensus protocol (2016 · Certified Programs and Proofs · 被引 162)
• Programming and proving with distributed protocols (2017 · Proc. ACM Program. Lang. · 被引 159)
• Synthesizing structured CAD models with equality saturation and inverse transformations (2019 · ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 被引 94)