Wonyeol Lee

I am a Ph.D. candidate in Computer Science at Stanford, advised by Alex Aiken. In 2017-2020, I take a leave from Stanford to fulfill military service, and work as a research scientist at KAIST, advised by Hongseok Yang.

Research Interests

Publications

Conferences

  1. Differentiable Algorithm for Marginalising Changepoints
    Hyoungjin Lim, Gwonsoo Che, Wonyeol Lee, Hongseok Yang
    AAAI 2020
    paper | poster

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

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

  4. On Automatically Proving the Correctness of math.h Implementations
    Wonyeol Lee, Rahul Sharma, Alex Aiken
    POPL 2018
    paper | slides

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

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

  7. CT-IC: Continuously activated and Time-restricted Independent Cascade Model for Viral Marketing
    Wonyeol Lee, Jinha Kim, Hwanjo Yu
    ICDM 2012
    paper | slides

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

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
    paper

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


trips | last updated: 11/2019