[PRL] Fwd: [Brown CS Talks] Nikhil Swamy in Room 368 on 7/1/09 at 10 am

[Matthias Felleisen]

This talk could be interesting to several people here. -- Matthias


Begin forwarded message:

> From: Shriram Krishnamurthi <sk at cs.brown.edu>
> Date: June 22, 2009 8:39:28 PM EDT
>
>
> BROWN UNIVERSITY
>
> The Department of Computer Science
>
>
>
> Nikhil Swamy
>
> Microsoft Research, Redmond
>
>
>
> Wednesday, July 1, 2009 at 10 am
>
> Room 368 (CIT 3rd floor)
>
>
>
> A Theory of Typed Coercions and its Applications
>
>
>
> A number of important program rewriting scenarios can be recast as
>
> type-directed coercion insertion. These range from more theoretical
>
> applications such as coercive subtyping and supporting overloading in
>
> type theories, to more practical applications such as integrating
>
> static and dynamically typed code using gradual typing, and inlining
>
> code to enforce security policies such as access control and
>
> provenance tracking.  In this paper we give a general theory of
>
> type-directed coercion insertion.  We specifically explore the
>
> inherent tradeoff between expressiveness and ambiguity---the more
>
> powerful the strategy for generating coercions, the greater the
>
> possibility of several, semantically distinct rewritings for a given
>
> program.  We consider increasingly powerful coercion generation
>
> strategies, work out example applications supported by the increased
>
> power (including those mentioned above), and identify the inherent
>
> ambiguity problems of each setting, along with various techniques to
>
> tame the ambiguities.
>
>
>
> Joint work with Michael Hicks (UMD) and Gavin Bierman (MSR Cambridge).
>
>
>
> Host:  Professor Shriram Krishnamurthi
>
>
>
>
>
> _______________________________________________
> The Computer Science Department is located at 115 Waterman St.,
> Providence, RI.  Our Calendar of Events at
> http://www.cs.brown.edu/events lists all of our talks.
>
> If you would like to be removed from (or added to) our seminar mailing
> list, or if you would prefer to receive only announcements pertaining
> to IPP talks, please send email containing your request to
> mailto:talks-owner at list.cs.brown.edu.
>
> We'd very much appreciate your forwarding these announcements to
> colleagues who may also have an interest.  Thanks for your
> cooperation.