Blogs (9) >>
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Tue 1 Nov 2016 09:15 - 10:00 at Winterthur - Session 1 Chair(s): Michael Pradel, Omer Tripp

Emerging consumer electronics products are running the same software platforms that power smartphones. This leads to the appealing idea that a uniform programming abstraction can be used for app development for a range of devices, from wearables to smartphones. In practice, however, devices vary in their hardware capabilities, and this has an impact on app development. In this talk, I will focus on ways in which JavaScript may be used and/or run differently to accommodate the different hardware capabilities across devices. Specifically, I will present a subset of JavaScript that strikes a balance between retaining the flavor of JavaScript (e.g. use of prototype inheritance, no explicit type declarations) and the possibility of ahead-of-time compilation to efficient code with a small memory footprint. I will also present our experiences in designing and implementing type inference for this subset of JavaScript.

I am a research engineer with the Advanced Programming Tools team at Samsung Research America. My research focuses on linguistic modeling and verification of software systems and networks.

Prior to joining SRA, I received a Ph.D. from Princeton University, advised by David Walker.

For past and ongoing projects, please visit:

Tue 1 Nov

08:30 - 10:00: WODA - Session 1 at Winterthur
Chair(s): Michael PradelTU Darmstadt, Germany, Omer TrippIBM Research, USA
woda2016147798540000008:30 - 09:15
Frank TipSamsung Research America
woda2016147798810000009:15 - 10:00
Cole SchlesingerSamsung Research America