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

[Dustin Jamner]

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 <mailto: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 <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

-------------- next part --------------
HTML attachment scrubbed and removed