Robert F. Dickerson
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2021–2025
on a stage with
- Benjamin Delaware2×
- Chungkuk Yooonce
- Eric Rozneronce
all 8 in the filters
who talks about the same things
- Benjamin Delaware18 talks
- Suresh Jagannathan16 talks
- Eric Koskinen13 talks
- Timos Antonopoulos5 talks
- Chandrakana Nandi9 talks
- Ruzica Piskac9 talks
| title | conference | date |
|---|---|---|
| KestRel: Relational Verification Using E-Graphs for Program Alignment | OOPSLA 2025 | 2025-10-16 |
KestRel builds an intermediate product program via an algebra of alignments, represents the rewrite search in e-graphs and equality saturation, and extracts… | ||
| RHLE: Modular Deductive Verification of Relational ∀∃ Properties | APLAS 2022 | 2022-12-05 |
RHLE defines a deductive logic and verifier for relational ∀∃ properties by turning implementation nondeterminism into choice variables in function… | ||
| Data-Driven Abductive Inference of Library Specifications | OOPSLA 2021 | 2021-10-17 |
Tool named Elrond infers specifications for black‑box OCaml libraries by combining random testing, SMT counterexample-guided refinement, and an abduction loop… | ||
| SymmetriSense: Enabling Near-Surface Interactivity on Glossy Surfaces using a Single Commodity ... | CHI 2016 | 2016-05-07 |
SymmetriSense localizes a fingertip in 3D above glossy surfaces using only a single commodity smartphone (Galaxy S5) and mirror reflection geometry, not extra… | ||
| nothing matches | ||