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

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

Bytecode Verification for Haskell by 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) by Robert Dockins and Samuel Z. Guyer. Technical Report, Tufts University Department of Computer Science. TR-2007-2.