I am currently a third-year PhD student in Computer Science at Princeton. I am interested in programming languages, formal logics and proof methods for reasoning about programs.

Teaching

Spring 2009 I was the preceptor for sections P01A and P03 of COS 126: General Computer Science.

Fall 2008 I was the assistant instructor (AI) for COS 441: Programming Languages.

Software

I maintain a number of open-source projects, which you can find on this website. These programs and libraries are written in the language Haskell. Haskell is, among other things, strongly typed and purely functional.

• Edison, a library of purely-functional datastructures for Haskell
• Shellac, a framework for creating REPL shells in Haskell
• The Lambda Shell, a shell for evaluating terms of the pure, untyped lambda calculus, and exemplar for creating shells using Shellac

In addition to the maintained projects above, I have a number of other unmaintained projects that people may nonetheless find interesting.

Publications

• A Theory of Indirection via Approximation Aquinas Hobor, Robert Dockins and Andrew W. Appel. To appear in in POPL 2010: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2010.
• A Fresh Look at Separation Algrbras and Share Accounting Robert Dockins, Aquinas Hobor, and Andrew W. Appel. To appear in the 7th Asian Symposium on Programming Languages and Systems, December 2009.
• Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks C.J. Bell, Robert Dockins, Aquinas Hobor, Andrew W. Appel, David Walker. Workshop paper. In 2nd International Workshop on Proof-Carrying Code (PCC). June 2008.
• Multimodal Separation Logic for Reasoning about Operational Semantics Robert Dockins, Andrew W. Appel and Aquinas Hobor. In Proc. Twenty-fourth Conference on the Mathematical Foundations of Programming Semantics. ENTCS, Volume 218. Pages 5-20. October 2008. Elsevier.
• Bytecode Verification for Haskell. Robert Dockins and Samuel Z. Guyer. Workshop paper. The Eighth Symposium on Trends in Functional Programming (TFP). April 2007. [Slides]
• Bytecode Verification for Haskell (extended version). Robert Dockins and Samuel Z. Guyer. Technical Report, Tufts University Department of Computer Science. TR-2007-2.