[Pl-seminar] 13th February: Ben Titzer: What Spectre means for language implementors

[Aviral Goel]

Hi,

This is happening in 40 minutes.

On Tue, Feb 5, 2019 at 12:38 PM Aviral Goel <goel.av at husky.neu.edu> wrote:

> *Date:* Wednesday, February 13th 2019
> *Location:* Ryder 155
> *Time:* 10:00 AM to 11:30 AM
> *Host:* Aviral Goel
> *Faculty Host:* Jan Vitek
>
>
> What Spectre means for language implementors
> <http://prl.ccs.neu.edu/seminars.html#titzer-what-spectre-means-for-language-implementor>
>
> *Ben Titzer*
>
>
> *Abstract*
>
> Until now, CPU designers and computer scientists have assumed Vegas rules
> at the hardware level: what happens in speculation stays in speculation.
> Yet in the wake of the Spectre and Meltdown attacks, it has become clear a
> new, massive class of security vulnerabilities awaits us at the
> microarchitectural level because this assumption is simply false. As
> language designers and implementors familiar with building towers of
> abstractions, we have assumed that virtualization through emulation made
> the worlds below the Turing machine undetectable, hidden behind a
> mathematically perfect mirror. This talk will explore how we have now
> learned to see through that mirror, into the very bizarre and alien world
> of microarchitectures, illuminating a tiny world of astounding complexity
> that holds profound implications for language security.
>
> *Bio*
>
> Ben L. Titzer leads Google's WebAssembly team in Munich. Before starting
> the WebAssembly project with Luke Wagner from Mozilla, he led the team that
> built the TurboFan optimizing compiler which now powers JavaScript and
> WebAssembly in V8. He graduated with a BS from Purdue University in 2002
> and MS and PhD from UCLA in 2004 and 2007. His interests include safe
> programming languages for systems programming, compilers, virtual machines,
> nature and playing guitar.
>
> Best,
> Aviral
>
-------------- next part --------------
HTML attachment scrubbed and removed