[PL-sem-jr] Talk tomorrow, Mon 3/8 CANCELLED

[Jesse A. Tov]

I'm willing to do a torture-chamber version of my ESOP talk.  I was
planning to do it later in the week, but why not?  It's about a
particular application of contracts, though we'll probably have extra
time, which we could use to dig in a bit.  If no one objects, I'll be
there.

Here's the abstract:

Affine type systems manage resources by preventing some values from
being used more than once. This offers expressiveness and performance
benefits, but difficulty arises in interacting with components written
in a conventional language whose type system provides no way to
maintain the affine type system's aliasing invariants. We propose and
implement a technique that uses behavioral contracts to mediate
between code written in an affine language and code in a conventional
typed language. We formalize our approach via a typed calculus with
both affine-typed and conventionally-typed modules. We show how to
preserve the guarantees of both type systems despite both languages
being able to call into each other and exchange higher-order values.

Jesse

On Sun, Mar 7, 2010 at 20:42, Vincent St-Amour <stamourv at ccs.neu.edu> wrote:
> Stephen is stuck in Los Angeles, so we'll have to reschedule his talk.
>
> No talk tomorrow, unless someone is willing to present something at
> such a short notice.
>
> Vincent
>
>
> At Sun, 07 Mar 2010 16:39:52 -0500,
> Vincent St-Amour wrote:
>>
>>
>> Mon 3/8 Room WVH166 10:00-12:00
>>
>> Stephen - Contracts
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>