
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
Contributions
2022
POPL
POPL 2022-profile
View general profile
View general profile