mgreenblog

Posts in the category "Submissions"

1. New and improved: Space-Efficient Manifest Contracts Tuesday, July 8, 2014
   My first sole-author submission.
2. Concurrent NetCore: From Policies to Pipelines Monday, March 3, 2014
   An ICFP 2014 submission, with Princeton colleagues.
3. Space-Efficient Manifest Contracts Friday, July 12, 2013
   The last leg of my thesis: can you enforce contracts without blowing up your stack?
4. Exceptionally Available Dynamic IFC Monday, July 16, 2012
   A paper submission (not to be).
5. Towards a core calculus for implicitly migration-capable applications Tuesday, October 25, 2011
   A cool idea, never brought to fruition: how do you move state between devices?
6. Polymorphic Contracts Wednesday, October 27, 2010
   A submission to ESOP 2011.
7. Contracts Made Manifest Thursday, July 30, 2009
   Our POPL 2010 submission. (Before the days of double blind review!)