User engagement computer system and method of using same W Rocklin, R Reynolds, R Inamoto, TC Shoos, NG Torres, ... US Patent 10,855,952, 2020 | 12 | 2020 |
Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 10,692,055, 2020 | 12 | 2020 |
RHLE: Modular Deductive Verification of Relational Properties R Dickerson, Q Ye, MK Zhang, B Delaware Asian Symposium on Programming Languages and Systems, 67-87, 2022 | 8* | 2022 |
Data-driven abductive inference of library specifications Z Zhou, R Dickerson, B Delaware, S Jagannathan Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 8 | 2021 |
Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent App. 15/224,117, 2018 | 5 | 2018 |
Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent App. 15/224,078, 2018 | 5 | 2018 |
Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 10,872,320, 2020 | 4 | 2020 |
Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 10,496,973, 2019 | 4 | 2019 |
KestRel: Relational Verification Using E-Graphs for Program Alignment R Dickerson, P Mukherjee, B Delaware arXiv preprint arXiv:2404.08106, 2024 | | 2024 |
Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent App. 17/218,825, 2021 | | 2021 |
Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 11,017,361, 2021 | | 2021 |
Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 10,762,480, 2020 | | 2020 |
RHLE: Automatic Verification of∀∃-Hyperproperties. R Dickerson, Q Ye, B Delaware CoRR, 2020 | | 2020 |