Write a Blog >>
Hongseok Yang

Registered user since Sat 13 Feb 2016

Name: Hongseok Yang

Country: South Korea

Affiliation: KAIST

Personal website: https://sites.google.com/view/hongseokyang/home

Research interests: Programming Languages, Program Analysis, Probabilistic Programming, Machine Learning, Probability Theory


POPL 2020Author of Towards Verified Stochastic Variational Inference for Probabilistic Programs within the Research Papers-track
Author of Invited Talk - Hongseok Yang within the Research Papers-track
Show activities from other conferences

Using general profile