PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / 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: http://www.schlesinger.tech
Affiliation:Samsung Research America
Personal website:http://www.schlesinger.tech
Research interests:Programming Languages, Software-defined Networking, Formal Methods
Contributions
| PLDI 2017 | Committee Member in SRC Panel P4: Programming the Network Data Plane | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile