Publications

Transactional events. (with Kevin Donnelly) In ICFP'06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming, pages 124-135. ACM Press, September 2006.
[ bib ] [ abstract ] [ pdf ]
Phantom types and subtyping. (with Riccardo Pucella) The Journal of Functional Programming, 16(6):???-???, November 2006. Accepted for publication.
[ bib ] [ abstract ] [ pdf ]
Linear regions are all you need. (with Greg Morrisett and Amal Ahmed) In ESOP'06: Proceedings of the Fifteenth European Symposium on Programming, pages 7-21, Springer-Verlag, March 2006.
[ bib ] [ abstract ] [ pdf ]
Practical datatype specializations with phantom types and recursion schemes. (with Riccardo Pucella) In ML'05: Proceedings of the ACM SIGPLAN Workshop on ML, pages 203-228. Elsevier, September 2005.
[ bib ] [ abstract ] [ pdf ]
A step-indexed model of substructural state. (with Amal Ahmed and Greg Morrisett) In ICFP'05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, pages 78-91. ACM Press, September 2005.
[ bib ] [ abstract ] [ pdf ]
A step-indexed model of substructural state. (with Amal Ahmed and Greg Morrisett) Technical Report TR-16-05, Harvard University, July 2005.
[ bib ] [ abstract ] [ pdf ]
L3: A linear language with locations. (with Greg Morrisett and Amal Ahmed) In TLCA'04: Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications, pages 293-307. Springer-Verlag, April 2005.
[ bib ] [ abstract ] [ pdf ]
L3: A linear language with locations. (with Amal Ahmed and Greg Morrisett) Technical Report TR-24-04, Harvard University, July 2004.
[ bib ] [ abstract ] [ pdf ]
Monadic regions. (with Greg Morrisett) The Journal of Functional Programming, 16(4-5):485-545, July 2006.
[ bib ] [ abstract ] [ pdf ]
Monadic regions. (with Greg Morrisett) In ICFP'04: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, pages 103-114. ACM Press, September 2004.
[ bib ] [ abstract ] [ pdf ]
Monadic regions: Formal type soundness and correctness. Technical Report TR2004-1936, Cornell University, April 2004.
[ bib ] [ abstract ] [ pdf ]
Monadic regions. In SPACE'04: Informal Proceedings of the Second ACM SIGPLAN Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, January 2004. Lightly refereed (not considered a formal (citable) publication).
[ bib ] [ abstract ] [ pdf ]
Implementation and performance evaluation of a safe runtime system in Cyclone. (with Dan Wang) In SPACE'04: Informal Proceedings of the Second ACM SIGPLAN Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, January 2004. Lightly refereed (not considered a formal (citable) publication).
[ bib ] [ abstract ] [ pdf ]
Expressing and implementing the computational content implicit in Smullyan's account of boolean valuations. (with Stuart Allen and Bob Constable) Technical Report TR2004-1933, Cornell University, March 2004.
[ bib ] [ abstract ] [ pdf ]
Phantom types and subtyping. (with Riccardo Pucella) In TCS'02: Proceedings of the Second IFIP International Conference on Theoretical Computer Science, pages 442-460. Kluwer Academic Press, August 2002.
[ bib ] [ abstract ] [ ps ]
Contification using dominators. (with Stephen Weeks) In ICFP'01: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming, pages 2-13. ACM Press, September 2001.
[ bib ] [ abstract ] [ pdf ]
Optimal token allocations in solitaire knock 'm down. (with Arthur T. Benjamin and Mark L. Huber) The Electronic Journal of Combinatorics, 8(2):#R2, August 2001.
[ bib ] [ abstract ] [ pdf ]
What's best? (with Arthur T. Benjamin) The American Mathematical Monthly, 107(6):560-562, June-July 2000.
[ bib ] [ abstract ] [ pdf ]
A rational solution to cootie. (with Arthur T. Benjamin) The College Mathematics Journal, 31(2):124-125, March 2000.
[ bib ] [ abstract ] [ pdf ]
Searching for optimial strategies in knock 'm down (senior thesis). May 1999.
[ bib ] [ abstract ] [ pdf ]
Deep impact. (with Dominic Mazzoni and Joel Miller) The UMAP Journal, 20(3):211-224, Fall 1999.
[ bib ]
The best way to knock 'm down. (with Arthur T. Benjamin) The UMAP Journal, 20(1):11-20, Spring 1999.
[ bib ]
Bounds on a bug. (with Arthur T. Benjamin) The UMAP Journal, 20(1):5-9, Spring 1999.
[ bib ]