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

Contributions

LAFI 2020Author of Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support within the LAFI (né PPS)-track
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
APLAS 2019Committee Member in Steering Committee
PPS 2018Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track
ICSE 2019Author of Resource-aware Program Analysis via Online Abstraction Coarsening within the Technical Track-track
PMLDC 2017Committee Member in Program Committee within the PMLDC 2017-track
POPL 2018Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
PPS 2017Author of Efficient exact inference in discrete Anglican programs within the PPS-track
Session Chair of Session 6 (part of PPS)
Author of Exchangeable random process and data abstraction within the PPS-track
PMLDC 2016Committee Member in Program Committee within the PMLDC-track
POPL 2017ERC member in External Review Committee within the POPL-track
SPLASH 2017Author of Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages within the OOPSLA-track
PLDI 2017Committee Member in External Program Committee
PPS 2016Author of Semantics of Higher-order Probabilistic Programs within the PPS 2016-track
POPL 2016Author of 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems within the Research Papers-track
Author of Abstraction Refinement Guided by a Learnt Probabilistic Model within the Research Papers-track
ESOP 2015Committee Member in Program Committee within the ESOP-track
Author of Composite Replicated Data Types within the ESOP-track
SPLASH 2015Author of Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation within the OOPSLA-track