Robert Dockins

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