Robert Dockins

According to our database1, Robert Dockins authored at least 13 papers between 2007 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Dependently typed Haskell in industry (experience report).
Proc. ACM Program. Lang., 2019

2016
Constructing Semantic Models of Programs with the Software Analysis Workbench.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2014
Formalized, Effective Domain Theory in Coq.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Verified Compilation for Shared-Memory C.
Proceedings of the Programming Languages and Systems, 2014

Suppl: A Flexible Language for Policies.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2012
A List-Machine Benchmark for Mechanized Metatheory.
J. Autom. Reason., 2012

Time Bounds for General Function Pointers.
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2010
A theory of indirection via approximation.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A Theory of Termination via Indirection.
Proceedings of the Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010, 2010

A Logical Mix of Approximation and Separation.
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009
A Fresh Look at Separation Algebras and Share Accounting.
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008
Multimodal Separation Logic for Reasoning About Operational Semantics.
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.
Bull. IEEE Tech. Comm. Digit. Libr., 2007


  Loading...