Registered user since Thu 4 May 2017

Name: Steven Lyubomirsky

Country: United States

Affiliation: University of Washington, USA

Research interests: Programming Languages, Program Verification

ICFP 2017 Activities

• Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track in ICFP 2017
• Show activities from other conferences