Cole Schlesinger

Registered user since Fri 23 Oct 2015

Name:Cole Schlesinger

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
Research interests:Programming Languages, Software-defined Networking, Formal Methods


ESEC/FSE 2018 Committee Member in Program Committee within the Industry-track
Onward! 2017 Author of IoTa: A Calculus for Internet of Things Automation within the Onward! Papers-track
PLDI 2017 Committee Member in SRC Panel
Tutorial organizer of P4: Programming the Network Data Plane within the PLDI Tutorials-track
SPLASH 2016 Author 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
WODA 2016 Invited Speaker of JavaScript in the Small within the WODA-track
PLDI 2016 Committee Member in External Review Committee