Wonyeol Lee

Note: I will have no email access from Sep 5, 2019 until Oct 3, 2019, as attending military training camp.

My advisor at Stanford is Alex Aiken. I'm currently a research scientist at KAIST, working with Hongseok Yang to serve alternative military service.

Research Interests

Publications

Preprints

  1. Towards Verified Stochastic Variational Inference for Probabilistic Programs
    Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
    Submitted, 2019
    paper

Conferences

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

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

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

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

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

  6. 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: 07/2019