Παρακολούθηση
Robert Dockins
Robert Dockins
Princeton University
Μη επαληθευμένη διεύθυνση ηλ. ταχυδρομείου - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Program logics for certified compilers
AW Appel
Cambridge University Press, 2014
2482014
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
1552009
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
602016
Verified compilation for shared-memory C
L Beringer, G Stewart, R Dockins, AW Appel
Programming Languages and Systems: 23rd European Symposium on Programming …, 2014
602014
A theory of indirection via approximation
A Hobor, R Dockins, AW Appel
ACM Sigplan Notices 45 (1), 171-184, 2010
502010
Multimodal separation logic for reasoning about operational semantics
R Dockins, AW Appel, A Hobor
Electronic Notes in Theoretical Computer Science 218, 5-20, 2008
202008
A list-machine benchmark for mechanized metatheory
AW Appel, R Dockins, X Leroy
Journal of Automated Reasoning 49, 453-491, 2012
182012
Operational Refinement for Compiler Correctness
RW Dockins
Princeton University, 2012
152012
Formalized, effective domain theory in Coq
R Dockins
International Conference on Interactive Theorem Proving, 209-225, 2014
142014
Verifying Time Bounds for General Function Pointers
R Dockins, A Hobor
13*
Mechanized semantic library
A Appel, R Dockins, A Hobor
102009
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
82019
A logical mix of approximation and separation
A Hobor, R Dockins, AW Appel
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai …, 2010
62010
Fedora and the Preservation of University Records Project
K Glick, E Wilczek, R Dockins
RLG DigiNews 10 (5), 7, 2006
62006
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
52018
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
42008
Bytecode verification for Haskell
R Dockins, SZ Guyer
Technical Report 2007-02, Department of Computer Science, Tufts University …, 2007
42007
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
32006
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
22023
Suppl: A Flexible Language for Policies
R Dockins, A Tolmach
Asian Symposium on Programming Languages and Systems, 176-195, 2014
22014
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20