Steven Lyubomirsky

Registered user since Thu 4 May 2017

Name: Steven Lyubomirsky

Country: United States

Affiliation: University of Washington, USA

Research interests: Programming Languages, Program Verification


MAPL 2018Author of Relay: A New IR for Machine Learning Frameworks within the MAPL 2018-track
ICFP 2017Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track