Wonyeol Lee

Registered user since Fri 3 Jul 2015

Name:Wonyeol Lee
Country:United States
Affiliation:Stanford University
Personal website:https://wonyeol.github.io

Contributions

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

POPL 2018-profile
View general profile