[PL-sem-jr] Fwd: [Pl-seminar] 12/5 Seminar: Fabian Muehlboeck: Efficient Nominal Gradual Typing

[Ming-Ho Yee]

Let's discuss this at our meeting next week. Personally, I think we should
go to the talk, and then reschedule or cancel PL Jr.

-- Ming-Ho

On Wed, Nov 22, 2017 at 3:06 PM, Dustin Jamner <jamner.d at husky.neu.edu>
wrote:

> Given that this directly overlaps PL junior, do we want to
> reschedule/cancel our meeting? This does depend on how many other people
> are interested in this talk though, so is anyone else planning on attending?
>
> Dustin Jamner
> jamner.d at husky.neu.edu
>
>
>
> Begin forwarded message:
>
> *From: *Benjamin Greenman <types at ccs.neu.edu>
> *Subject: **Re: [Pl-seminar] 12/5 Seminar: Fabian Muehlboeck: Efficient
> Nominal Gradual Typing*
> *Date: *November 22, 2017 at 11:53:39 AM PST
> *Cc: *pl-seminar at lists.ccs.neu.edu
>
> TIME CHANGE: we'll start at 2:00pm instead of 1:30pm.
> Same date + location.
>
> On Tue, Nov 21, 2017 at 1:40 PM, Benjamin Greenman <types at ccs.neu.edu>
> wrote:
>
>> NUPRL Seminar presents
>>
>> Fabian Muehlboeck
>> Cornell University
>>
>> 1:30
>> Tuesday, December 5 2017
>> Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)
>>
>> Efficient Nominal Gradual Typing
>>
>> Abstract:
>>
>> Recent research has identified significant performance hurdles that sound
>> gradual typing needs to overcome. These performance hurdles stem from the
>> fact that the run-time checks gradual type systems insert into code can
>> cause significant overhead. We propose that designing a type system for a
>> gradually typed language hand in hand with its implementation from scratch
>> is a possible way around these and several other hurdles on the way to
>> efficient sound gradual typing. Such a design process also highlights the
>> type-system restrictions required for efficient composition with gradual
>> typing. We formalize the core of a nominal object-oriented language that
>> fulfills a variety of desirable properties for gradually typed languages,
>> and present evidence that an implementation of this language suffers
>> minimal overhead even in adversarial benchmarks identified in earlier work
>>
>
> _______________________________________________
> pl-seminar mailing list
> pl-seminar at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-seminar
>
>
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
>
-------------- next part --------------
HTML attachment scrubbed and removed