James R. Wilcox
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2021–2022
on a stage with
all 7 in the filters
who talks about the same things
- Yotam M. Y. Feldman6 talks
- Sharon Shoham13 talks
- Oded Padon11 talks
- Kenneth L. McMillan4 talks
- Mooly Sagiv18 talks
- Alex Aiken8 talks
| title | conference | date |
|---|---|---|
| Property-Directed Reachability as Abstract Interpretation in the Monotone Theory | POPL 2022 | 2022-01-16 |
Claims that propositional PDR is an instance of abstract interpretation by defining Lambda-PDR (take all counterexample generalizations) and a logical abstract… | ||
| Induction Duality: Primal-Dual Search for Invariants | POPL 2022 | 2022-01-16 |
Presents a formal induction duality linking execution traces and bounded incremental proofs, and derives primal-dual Houdini, a symmetric algorithm that… | ||
| Learning the Boundary of Inductive Invariants | POPL 2021 | 2021-01-17 |
An interpolation-based invariant inference algorithm with model-based generalization (dropping literals) uses bounded model checking to implement membership… | ||
| nothing matches | ||