| Program logics for certified compilers AW Appel Cambridge University Press, 2014 | 275 | 2014 |
| A fresh look at separation algebras and share accounting R Dockins, A Hobor, AW Appel Asian Symposium on Programming Languages And Systems, 161-177, 2009 | 164 | 2009 |
| Constructing semantic models of programs with the software analysis workbench R Dockins, A Foltzer, J Hendrix, B Huffman, D McNamee, A Tomb Verified Software. Theories, Tools, and Experiments: 8th International …, 2016 | 72 | 2016 |
| Verified compilation for shared-memory C L Beringer, G Stewart, R Dockins, AW Appel Programming Languages and Systems: 23rd European Symposium on Programming …, 2014 | 62 | 2014 |
| A theory of indirection via approximation A Hobor, R Dockins, AW Appel ACM Sigplan Notices 45 (1), 171-184, 2010 | 51 | 2010 |
| Multimodal separation logic for reasoning about operational semantics R Dockins, AW Appel, A Hobor Electronic Notes in Theoretical Computer Science 218, 5-20, 2008 | 20 | 2008 |
| A list-machine benchmark for mechanized metatheory AW Appel, R Dockins, X Leroy Journal of Automated Reasoning 49, 453-491, 2012 | 18 | 2012 |
| Operational Refinement for Compiler Correctness RW Dockins Princeton University, 2012 | 17 | 2012 |
| Verifying Time Bounds for General Function Pointers R Dockins, A Hobor | 14* | |
| Formalized, effective domain theory in Coq R Dockins International Conference on Interactive Theorem Proving, 209-225, 2014 | 13 | 2014 |
| Mechanized semantic library A Appel, R Dockins, A Hobor | 10 | 2009 |
| Dependently typed haskell in industry (experience report) DT Christiansen, IS Diatchki, R Dockins, J Hendrix, T Ravitch Proceedings of the ACM on Programming Languages 3 (ICFP), 1-16, 2019 | 8 | 2019 |
| Trustworthy runtime verification via bisimulation (experience report) RG Scott, M Dodds, I Perez, AE Goodloe, R Dockins Proceedings of the ACM on Programming Languages 7 (ICFP), 305-321, 2023 | 7 | 2023 |
| A formally verified cryptographic extension to a RISC-V processor JR Kiniry, DM Zimmerman, R Dockins, R Nikhil Computer Architecture Research with RISC-V–CARRV 2018, 2018 | 6 | 2018 |
| A logical mix of approximation and separation A Hobor, R Dockins, AW Appel Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai …, 2010 | 6 | 2010 |
| Fedora and the Preservation of University Records Project K Glick, E Wilczek, R Dockins RLG DigiNews 10 (5), 7, 2006 | 6 | 2006 |
| Crux: Symbolic execution meets SMT-based verification (competition contribution) R Scott, R Dockins, T Ravitch, A Tomb Zenodo (February 2022). DOI: https://doi. org/10.5281/zenodo 6147218, 2021 | 5 | 2021 |
| Comparing semantic and syntactic methods in mechanized proof frameworks CJ Bell, R Dockins, A Hobor, AW Appel, D Walker Proceedings of the 2nd International Workshop on Proof-Carrying Code (PCC 2008), 2008 | 4 | 2008 |
| Bytecode verification for Haskell R Dockins, SZ Guyer Technical Report 2007-02, Department of Computer Science, Tufts University …, 2007 | 4 | 2007 |
| Crux: Symbolic execution meets SMT-based verification (competition contribution). Zenodo (February 2022) R Scott, R Dockins, T Ravitch, A Tomb | 4 | |
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerifisert e-postadresse på princeton.edu