Implicitly-threaded parallelism in Manticore.
(with Mike Rainey, John Reppy, and Adam Shaw)
In ICFP'08: Proceedings of the Thirteenth ACM SIGPLAN International
Conference on Functional Programming, pages ???-???. ACM Press, September
2008.
[ bib ]
[ pdf ]
|
A scheduling framework for general-purpose parallel languages.
(with Mike Rainey and John Reppy)
In ICFP'08: Proceedings of the Thirteenth ACM SIGPLAN International
Conference on Functional Programming, pages ???-???. ACM Press, September
2008.
[ bib ]
[ pdf ]
|
Compiling Self-Adjusting Programs with Continuations.
(with Ruy Ley-Wild and Umut Acar)
In ICFP'08: Proceedings of the Thirteenth ACM SIGPLAN International
Conference on Functional Programming, pages ???-???. ACM Press, September
2008.
[ bib ]
[ pdf ]
|
Transactional events.
(with Kevin Donnelly)
The Journal of Functional Programming, To appear.
[ bib ]
[ abstract ]
[ pdf ]
|
Status Report: The Manticore Project
(with Nic Ford, Mike Rainey, John Reppy, Adam Shaw, and Yingqi Xiao)
In ML'07: Proceedings of the ACM SIGPLAN Workshop on ML, pages
15-24. ACM Press, October 2007.
[ bib ]
[ pdf ]
|
Manticore: A Heterogeneous Parallel Language
(with Mike Rainey, John Reppy, Adam Shaw, and Yingqi Xiao)
In DAMP'07: Proceedings of the Workshop on Declarative Aspects of Multicore Programming, pages
37-44. January 2007.
[ bib ]
[ pdf ]
|
Monadic and Substructural Type Systems for Region-Based Memory Management.
PhD thesis, Cornell University, January 2007.
[ bib ]
[ abstract ]
[ pdf (double) ]
[ pdf (single) ]
|
L3: A linear language with locations.
(with Amal Ahmed and Greg Morrisett)
Fundamenta Informaticae, 77(4):397--449.
[ bib ]
[ abstract ]
[ pdf ]
|
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):751--791,
November 2006.
[ bib ]
[ abstract ]
[ pdf ]
|
Monadic regions.
(with Greg Morrisett)
The Journal of Functional Programming, 16(4-5):485-545, July
2006.
[ 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)
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 ]
|