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

[Benjamin Greenman]

Reminder: this is tomorrow at 2pm in WVH 366

On Wed, Nov 22, 2017 at 2:53 PM, Benjamin Greenman <types at ccs.neu.edu> wrote:
> 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
>
>