Registered user since Fri 23 Oct 2015
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
A Practical Framework for Type Inference Error Explanation
|Show activities from other conferences|
View general profile