Reprogrammable point-of-sale transaction flows JA Wolter, PY Ricau, R Dickerson US Patent 10,692,055, 2020 | 13 | 2020 |
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 |
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 | 9 | 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 |
KestRel: Relational Verification Using E-Graphs for Program Alignment R Dickerson, P Mukherjee, B Delaware arXiv preprint arXiv:2404.08106, 2024 | | 2024 |