Blogs (9) >>
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Cole Schlesinger

Registered user since Fri 23 Oct 2015

Name: Cole Schlesinger

Bio: 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:

Affiliation: Samsung Research America

Personal website:

Research interests: Programming Languages, Software-defined Networking, Formal Methods


WODA 2016Invited Speaker of JavaScript in the Small within the WODA-track
SPLASH 2016Author of Type Inference for Static Compilation of JavaScript within the OOPSLA-track
Author of A Practical Framework for Type Inference Error Explanation within the OOPSLA-track
Show activities from other conferences

SPLASH 2016-profile
View general profile