Towards a core calculus for implicitly migration-capable applications

Yitzhak Mandelbaum and I have been thinking about language support for program migration. We submitted a short paper, Towards a core calculus for implicitly migration-capable applications, to PEPM’12 summarizing what we’ve done so far and the direction we’re headed. Here’s the abstract:

Mobile computational devices, like smartphones, tablets and laptops, have become a standard part of the computing landscape. Moreover, many users regularly interact with an assortment of devices, including mobile ones. Therefore, the ability to migrate UI-enabled applications is becoming increasingly important. We describe a design-pattern for applications to simplify support for user-session migration and provide an overview of a lambda calculus for which significant elements of the design pattern can be implemented automatically.

We’d appreciate any ideas, comments, or questions.

* Filed by Michael Greenberg on 2011-10-25 at 11:38am under Programming Languages,Submissions
No Comments

a weasel in a hat

PHPEnkoder 1.11

A change not due to NilsOla Nilsson broke PHPEnkoder 1.10 on mailto: links. But he caught this almost immediately and sent me a fix. PHPEnkoder 1.11 should work fine. Thanks, NilsOla!

As usual, updates are available from the WordPress plugin directory or from your dashboard.

* Filed by Michael Greenberg on 2011-10-11 at 8:47am under Software
* 1 Comment

a weasel in a hat

PHPEnkoder 1.10

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

As usual, updates are available from the WordPress plugin directory—or, of course, automatically in your dashboard.

* Filed by Michael Greenberg on 2011-10-05 at 10:48am under Software
No Comments

a weasel in a hat