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


LAFI 2020 Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
POPL 2020 Towards Verified Stochastic Variational Inference for Probabilistic Programs
Probabilistic Programming
Show activities from other conferences

POPL 2020-profile
View general profile