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

[Vincent St-Amour]

Alright, so torture chamber it is.

See you tomorrow, 10:00, room 166.

Thank you Jesse,

Vincent


At Sun, 7 Mar 2010 21:25:53 -0500,
Jesse A. Tov wrote:
> 
> 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
> >