Robert Dockins
Robert Dockins
Princeton University
No verified email - Homepage
Title
Cited by
Cited by
Year
Program logics for certified compilers
AW Appel
Cambridge University Press, 2014
1812014
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
1332009
Verified compilation for shared-memory C
L Beringer, G Stewart, R Dockins, AW Appel
European Symposium on Programming Languages and Systems, 107-127, 2014
472014
A theory of indirection via approximation
A Hobor, R Dockins, AW Appel
ACM Sigplan Notices 45 (1), 171-184, 2010
452010
Constructing semantic models of programs with the software analysis workbench
R Dockins, A Foltzer, J Hendrix, B Huffman, D McNamee, A Tomb
Working Conference on Verified Software: Theories, Tools, and Experiments, 56-72, 2016
372016
A list-machine benchmark for mechanized metatheory
AW Appel, R Dockins, X Leroy
Journal of Automated Reasoning 49 (3), 453-491, 2012
182012
Operational Refinement for Compiler Correctness
RW Dockins
Princeton University, 2012
142012
Multimodal separation logic for reasoning about operational semantics
R Dockins, AW Appel, A Hobor
Electronic Notes in Theoretical Computer Science 218, 5-20, 2008
122008
Verifying Time Bounds for General Function Pointers
R Dockins, A Hobor
12*
Mechanized semantic library
A Appel, R Dockins, A Hobor
112009
A list-machine benchmark for mechanized metatheory
AW Appel, X Leroy
Electronic Notes in Theoretical Computer Science 174 (5), 95-108, 2007
112007
Formalized, effective domain theory in coq
R Dockins
International Conference on Interactive Theorem Proving, 209-225, 2014
92014
A logical mix of approximation and separation
A Hobor, R Dockins, AW Appel
Asian Symposium on Programming Languages and Systems, 439-454, 2010
62010
Fedora and the Preservation of University Records Project
K Glick, E Wilczek, R Dockins
RLG DigiNews 10 (5), 7, 2006
62006
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
42019
A formally verified cryptographic extension to a RISC-V processor
JR Kiniry, DM Zimmerman, R Dockins, R Nikhil
Second Workshop on Computer Architecture Research with RISC-V (CARRV 2018 …, 2018
42018
Comparing semantic and syntactic methods in mechanized proof frameworks
CJ Bell, R Dockins, A Hobor, D Walker
International Workshop on Proof-Carrying Code (PCC, 2008
42008
Bytecode verification for Haskell
R Dockins, SZ Guyer
Technical Report 2007-02, Department of Computer Science, Tufts University …, 2007
42007
SUPPL: A flexible language for policies
R Dockins, A Tolmach
Asian Symposium on Programming Languages and Systems, 176-195, 2014
22014
The ingest and maintenance of electronic records: moving from theory to practice
E Wilczek, R Dockins, KL Glick
2006 IEEE/ACM 6th Joint Conference on Digital Libraries, 2006
22006
The system can't perform the operation now. Try again later.
Articles 1–20