Robert Dockins

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 3

Top Topics

Inter Annotator Agreement

Multi Core Systems

Wide Acceptance

Top Venues

Proc. ACM Program. Lang.

Publications

Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins
Trustworthy Runtime Verification via Bisimulation (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch
Dependently typed Haskell in industry (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
Constructing Semantic Models of Programs with the Software Analysis Workbench. VSTTE (2016)
Robert Dockins
Formalized, Effective Domain Theory in Coq. ITP (2014)
Robert Dockins, Andrew Tolmach
Suppl: A Flexible Language for Policies. APLAS (2014)
Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel
Verified Compilation for Shared-Memory C. ESOP (2014)
Robert Dockins, Aquinas Hobor
Time Bounds for General Function Pointers. MFPS (2012)
Andrew W. Appel, Robert Dockins, Xavier Leroy
A List-Machine Benchmark for Mechanized Metatheory. J. Autom. Reason. 49 (3) (2012)
Aquinas Hobor, Robert Dockins, Andrew W. Appel
A theory of indirection via approximation. POPL (2010)
Robert Dockins, Aquinas Hobor
A Theory of Termination via Indirection. Modelling, Controlling and Reasoning About State (2010)
Aquinas Hobor, Robert Dockins, Andrew W. Appel
A Logical Mix of Approximation and Separation. APLAS (2010)
Robert Dockins, Aquinas Hobor, Andrew W. Appel
A Fresh Look at Separation Algebras and Share Accounting. APLAS (2009)
Robert Dockins, Andrew W. Appel, Aquinas Hobor
Multimodal Separation Logic for Reasoning About Operational Semantics. MFPS (2008)
Kevin L. Glick, Eliot Wilczek, Robert Dockins
The Ingest and Maintenance of Electronic Records: Moving from Theory to Practice. Bull. IEEE Tech. Comm. Digit. Libr. 3 (2) (2007)
Kevin L. Glick, Eliot Wilczek, Robert Dockins
The ingest and maintenance of electronic records: moving from theory to practice. JCDL (2006)