Wonyeol Lee

PhD Candidate at Stanford CS   wonyeol.lee.cs@gmail.com   CV

About Me

I am a PhD student in Computer Science at Stanford advised by Alex Aiken. In 2017-2020, I was a researcher at KAIST mentored by Hongseok Yang, serving mandatory military service. I received my B.S. degree in Computer Science and Mathematics from POSTECH. I am a recipient of the Samsung Scholarship.

I am interested in the intersection of programming languages and machine learning---in particular, various types of numerical programs in machine learning, various notions of correctness of those programs, and their connections with practice. I aim at identifying important correctness notions, proving/guaranteeing them automatically, and optimizing related programs based on correctness results.

Research Interests

Publications

Conferences

  1. On Correctness of Automatic Differentiation for Non-Differentiable Functions
    Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
    NeurIPS 2020Spotlight Presentation (280/9454=3.0%)
    slides | slides-long | poster | video

  2. Differentiable Algorithm for Marginalising Changepoints
    Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang
    AAAI 2020

  3. Towards Verified Stochastic Variational Inference for Probabilistic Programs
    Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
    POPL 2020
    slides | video | code

  4. Reparameterization Gradient for Non-Differentiable Models
    Wonyeol Lee, Hangyeol Yu, Hongseok Yang
    NeurIPS 2018
    slides | poster | code

  5. On Automatically Proving the Correctness of math.h Implementations
    Wonyeol Lee, Rahul Sharma, Alex Aiken
    POPL 2018
    slides | slides-short | video

  6. Verifying Bit-Manipulations of Floating-Point
    Wonyeol Lee, Rahul Sharma, Alex Aiken
    PLDI 2016
    slides | video

  7. A Proof System for Separation Logic with Magic Wand
    Wonyeol Lee, Sungwoo Park
    POPL 2014
    webpage

  8. CT-IC: Continuously Activated and Time-Restricted Independent Cascade Model for Viral Marketing
    Wonyeol Lee, Jinha Kim, Hwanjo Yu
    ICDM 2012
    slides

  9. Edge Detection Using Morphological Amoebas in Noisy Images
    Wonyeol Lee, Seyun Kim, Youngwoo Kim, Jaeyoung Lim, Dong Hoon Lim
    ICIP 2009

Journals

  1. CT-IC: Continuously Activated and Time-Restricted Independent Cascade Model for Viral Marketing
    Jinha Kim, Wonyeol Lee, Hwanjo Yu
    Knowledge-Based Systems, 2014

  2. Edge Detection Based on Morphological Amoebas
    Wonyeol Lee, Youngwoo Kim, Seyun Kim, Jaeyoung Lim, Dong Hoon Lim
    Imaging Science Journal, 2012


trips | last updated: 07/2022