Wonyeol Lee

Registered user since Fri 3 Jul 2015

Name: Wonyeol Lee

Country: United States

Affiliation: Stanford University

Personal website: https://cs.stanford.edu/people/wonyeol/

Contributions

POPL 2018 On Automatically Proving the Correctness of math.h Implementations
Show activities from other conferences

POPL 2018-profile
View general profile