Robert Dockins

According to our database, Robert Dockins authored at least 16 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Crux, a Precise Verifier for Rust and Other Languages.

Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins, Mike Dodds, Joe Hendrix, Tristan Ravitch, Patrick Redmond, Ryan G. Scott, Aaron Tomb

CoRR, 2024

2023

Trustworthy Runtime Verification via Bisimulation (Experience Report).

Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins

Proc. ACM Program. Lang., August, 2023

2019

Dependently typed Haskell in industry (experience report).

David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch

Proc. ACM Program. Lang., 2019

2016

Constructing Semantic Models of Programs with the Software Analysis Workbench.

Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2014

Formalized, Effective Domain Theory in Coq.

Robert Dockins

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Verified Compilation for Shared-Memory C.

Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel

Proceedings of the Programming Languages and Systems, 2014

Suppl: A Flexible Language for Policies.

Robert Dockins, Andrew Tolmach

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2012

Operational Refinement for Compiler Correctness

Robert Dockins

PhD thesis, 2012

A List-Machine Benchmark for Mechanized Metatheory.

Andrew W. Appel, Robert Dockins, Xavier Leroy

J. Autom. Reason., 2012

Time Bounds for General Function Pointers.

Robert Dockins, Aquinas Hobor

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2010

A theory of indirection via approximation.

Aquinas Hobor, Robert Dockins, Andrew W. Appel

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A Theory of Termination via Indirection.

Robert Dockins, Aquinas Hobor

Proceedings of the Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010, 2010

A Logical Mix of Approximation and Separation.

Aquinas Hobor, Robert Dockins, Andrew W. Appel

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

A Fresh Look at Separation Algebras and Share Accounting.

Robert Dockins, Aquinas Hobor, Andrew W. Appel

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Multimodal Separation Logic for Reasoning About Operational Semantics.

Robert Dockins, Andrew W. Appel, Aquinas Hobor

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007

The Ingest and Maintenance of Electronic Records: Moving from Theory to Practice.

Kevin L. Glick, Eliot Wilczek, Robert Dockins

Bull. IEEE Tech. Comm. Digit. Libr., 2007