Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Tue 19 Jul 2016 11:30 - 12:10 at Alfieri - Session 1

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.

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
11:30
40m
Sound Type Inference for JavaScript
JSTools
Jean-Baptiste Jeannin Carnegie Mellon University