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