mgreenblog

The third chapter of my dissertation is effectively a longer version of an ESOP 2011 paper, Polymorphic Contracts.

I defended my PhD thesis, Manifest Contracts on November 7th, 2013, with the final document submitted on December 6th.

I was speaking with Phil Wadler at ICFP about full-spectrum programming languages, and it came up that Phil wasn't familiar with the inconsistency in the Sage theorem proving axioms from Knowles et al. '06.

I just submitted a paper to POPL 2014; it's called Space-Efficient Manifest Contracts.

Penn hosted NJPLS today.

Haskell on OS X can be a little frustrating, what with the 32-bit/64-bit divide.

I'm happy to report that Cătălin Hriţcu, Ben Karel, Benjamin Pierce, Greg Morrisett, and I submitted a paper to POPL 2013: the paper is called Exceptionally Available Dynamic IFC.

Following Robby Findler's excellent presentation on PLT Redex at POPL (check out the paper and presentation!)

Just a note: I've had a (mostly idle) Twitter account for a while, @mgrnbrg.

Yitzhak Mandelbaum and I have been thinking about language support for program migration.

A change not due to NilsOla Nilsson broke PHPEnkoder 1.10 on mailto: links.

NilsOla Nilsson pointed out a few changes I could make to the link-detection regexes that resolved a few issues with overzealous encoding.

Per a bug report from Kim Carr at WebShoppingSystems.com, PHPEnkoder now correctly supports whitespace---this bug was most noticeable in [[enkode]] shortcodes.

Per Tom's report, version 1.8 fixes a few minor bugs.

The latest and longest-yet episode of the graphic novel Lovelace and Babbage---Lovelace and Babbage vs. the Organist---at 2D Goggles has come to a close.

I'm happy to announce the final versions of two ESOP 2011 papers.

João Belo, Atsushi Igarashi, Benjamin Pierce, and I submitted a paper, Polymorphic Contracts, to ESOP'11.

There's an article in the CACM trying to restore historical context to research in parallel computation: The Resurgence of Parallelism.

By Julius Welby's request, there is now an option to set a class attribute on the a tags generated for mailto: links.

GCC supports "nested functions" using the -fnested-functions flag.

The current issue of the CACM has an article, Type theory comes of age.

POPL 2010 has been a blast, with lots of great papers and conversation.

We've sent off the final version of Contracts Made Manifest.

We can't install software into the /usr tree at my office, so I end up having local installs of lots of software.

Martin Rees caught another bug in PHPEnkoder, which was making it difficult to edit posts with comments containing e-mails.

I am immensely pleased to report that our paper on Flapjax was accepted to OOPSLA 2009.

Benjamin Pierce, Stephanie Weirich, and I submitted a paper to POPL 2010; it's about contracts.

I've added gravatar support to the website.

Martin Rees noticed that any user can change PHPEnkoder's settings.

Gretchen Zimmerman noticed a bug in spacing that occurred in some versions of IE.

Via the TYPES-announce mailing list: ...we are launching Electronic Proceedings in Theoretic Computer Science (EPTCS) a new international refereed open access venue for the rapid electronic publication of the proceedings of workshops and conferences, and…

After much hard work (by more productive people), there is a technical report describing Flapjax.

It is serendipitous that I noticed a blog post about a callback combinator while adding a few drops to the Flapjax bucket.

Ron Blaisdell pointed out that my use of noscript elements wasn't XHTML compliant.

...adware.

Suppose you were trying to run some experiments about L1 D-caches.

With a hat tip to Barry Kafka, PHPEnkoder is now part of the Wordpress plugin directory.

The indomitable Nate Foster has released Boomerang v0.1.

Via Dave Herman and Lambda the Ultimate: ADTs in JavaScript 1.8.

I've updated boolopt to fix an output bug pointed out by Chris Gorecki.

This is a week overdue, but here is the solution to the puzzle of January 17th: Download the solution to "Correspondence, of a sort" How far did everyone get?

If you've seen me in the past year or so, you've probably seen me with a crossword puzzle.

Frankly, how do you do it?

After reading Brendan Eich's annotated slides from @media Ajax.

Reading this experience report from the DARPA challenge via Slashdot, I wondered: if event registration caused object retention, how can we deal with these memory issues in Flapjax?

In the Flapjax programming language, ‘lifting’ is the automatic conversion of operations on ordinary values into operations on time-varying values.

Last week I accepted the University of Pennsylvania's offer to study for a PhD (in PL).

So the function fix_dom_clone described in my last post isn't exactly cheap.

So the solution to the bug I had yesterday was fixed with a call to element::cloneNode to avoid aliasing.

I spent about two hours tracking down a DOM node sharing bug -- nodes were being put into a new structure outside of the document before the salient data had been read out.