Sound Type Inference for JavaScript (JSTools 2016)

Blogs (28) >>

Sun 17 - Fri 22 July 2016 Rome, Italy

Track

JSTools 2016

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 19 Jul 2016 11:30 - 12:10 at Alfieri - Session 1

Bio

I am a Researcher at Samsung Research America in Mountain View, California. Before that I was a Post Doctoral Fellow working with André Platzer in the Logical Systems Lab at Carnegie Mellon University. I received my Ph.D. in Computer Science from Cornell University in 2013, where I was advised by Dexter Kozen. I also received a Master of Engineering in Computer Science from Cornell University in 2008, and a Diplôme d’Ingénieur from École polytechnique in 2007.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:25	Session 1JSTools at Alfieri

10:45 5m Day opening		Opening Remarks JSTools Julian Dolby IBM Thomas J. Watson Research Center
10:50 40m		So You Want to Build Memory Tooling For JavaScript? JSTools Nick Fitzgerald
11:30 40m		Sound Type Inference for JavaScript JSTools Jean-Baptiste Jeannin Carnegie Mellon University

Sound Type Inference for JavaScript

Tue 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Jean-Baptiste Jeannin

Carnegie Mellon University

Tracks

Co-hosted Conferences

Workshops

Sound Type Inference for JavaScript

Program Display Configuration

Program Display Configuration

Tue 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Jean-Baptiste Jeannin

Carnegie Mellon University

Tue 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change