Hongseok Yang

Registered user since Sat 13 Feb 2016

Name:Hongseok Yang
Country:South Korea
Affiliation:KAIST; IBS
Research interests:Programming Languages, Program Analysis, Probabilistic Programming, Machine Learning, Probability Theory

Contributions

POPL 2023 Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
LAFI 2023 Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning.
Show activities from other conferences

POPL 2023-profile
View general profile