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 2022 PC Chair in Organizing Committee
Program Chair in Program Committee within the POPL-track
PLDI 2021 Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2021 Presenter of SIGPLAN CARES within the POPL-track
Panelist of Panel Discussion 1: Choosing Research Topics within the POPL Meetups-track
Panelist of Panel Discussion 2: Improving Peer Review within the POPL Meetups-track
LAFI 2020 Author of Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support within the LAFI (né PPS)-track
POPL 2020 Author of Towards Verified Stochastic Variational Inference for Probabilistic Programs within the Research Papers-track
Author of Probabilistic Programming within the Research Papers-track
APLAS 2019 Committee Member in Steering Committee
PPS 2018 Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-track
ICSE 2019 Author of Resource-aware Program Analysis via Online Abstraction Coarsening within the Technical Track-track
PMLDC 2017 Committee Member in Program Committee within the PMLDC 2017-track
POPL 2018 Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
PPS 2017 Author 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 2016 Committee Member in Program Committee within the PMLDC-track
POPL 2017 ERC member in External Review Committee within the POPL-track
SPLASH 2017 Author of Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages within the OOPSLA-track
PLDI 2017 Committee Member in External Program Committee
PPS 2016 Author of Semantics of Higher-order Probabilistic Programs within the PPS 2016-track
POPL 2016 Author 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 2015 Committee Member in Program Committee within the ESOP-track
Author of Composite Replicated Data Types within the ESOP-track
SPLASH 2015 Author of Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation within the OOPSLA-track