James R. Wilcox -

Registered user since Tue 26 May 2015

Name:James R. Wilcox

Bio:

I am a lecturer in the Paul G. Allen School of Computer Science & Engineering at the University of Washington. My research interests are in programming languages and applications of PL techniques to systems. I also work on formal verification in industry at Certora.

Country:United States

Affiliation:Certora

Personal website:https://jamesrwilcox.com

Twitter:https://twitter.com/wilcoxjay

Research interests:Programming Languages, Verification

Contributions

PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track
PLDI 2022	Author of (POPL 2022) Induction Duality: Primal-Dual Search for Invariants within the SIGPLAN Track-track
POPL 2022	Author of Property-Directed Reachability as Abstract Interpretation in the Monotone Theory within the POPL-track Author of Induction Duality: Primal-Dual Search for Invariants within the POPL-track Committee Member in Program Committee within the POPL-track
SPLASH 2021	Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the SIGPLAN Papers-track Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the SIGPLAN Papers-track
POPL 2021	Author of Learning the Boundary of Inductive Invariants within the POPL-track
VMCAI 2021	Committee Member in Program Committee within the VMCAI-track Session Chair of Model Checking (part of VMCAI)
PLDI 2020	Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the PLDI Research Papers-track Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the PLDI Research Papers-track
ICFP 2018	Author of Functional Programming for Compiling and Decompiling Computer-Aided Design within the Research Papers-track
PLDI 2018	Author of Modularity for Decidability of Deductive Verification with Applications to Distributed Systems within the PLDI Research Papers-track
CPP 2018	Author of Œuf: Minimizing the Coq Extraction TCB within the CPP 2018-track
POPL 2018	Author of Programming and Proving with Distributed Protocols within the Research Papers-track Author of Programming and Proving with Distributed Protocols within the Artifact Evaluation-track
CoqPL 2017	Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track
SPLASH 2016	Programme Committee in Program Committee within the OOPSLA Artifacts-track
PLDI 2016	Committee Member in Artifact Evaluation Committee Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CPP 2016	Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track
PLDI 2015	Author of Automatically Improving Accuracy for Floating Point Expressions within the Research Papers-track Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track