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

[Aviral Goel]

Hi,

This talk is happening tomorrow.

*Date:* Wednesday, February 13th 2019
*Location:* Ryder 155
*Time:* 10:00 AM to 11:30 AM
*Host:* Aviral Goel
*Faculty Host:* Jan Vitek

---------- Forwarded message ---------
From: Aviral Goel <goel.av at husky.neu.edu>
Date: Tue, Feb 5, 2019 at 12:38 PM
Subject: [Pl-seminar] 13th February: Ben Titzer: What Spectre means for
language implementors
To: <pl-seminar at ccs.neu.edu>


*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