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
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