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


POPL 2023 Author of Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference within the POPL-track
LAFI 2023 Author of Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning. within the LAFI 2023-track
ESEC/FSE 2022 Author of Automated concolic testing of smartphone apps within the Plenary Events-track
POPL 2022 Author of Program Chair Report within the POPL-track
Session Chair of Welcome (part of POPL)
PC Chair in Organizing Committee
Committee Member in Selection Committee within the Virtual Workshop-track
Author of POPL'22 Distinguished Papers within the POPL-track
Program Chair in Program Committee within the POPL-track
PLMW 2022 Author of Welcome by POPL 2022 Program Chair within the PLMW 2022-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
Session Chair of Ask Me Anything (part of Ask Me Anything)
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
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
LAFI 2020 Author of Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support within the LAFI (né PPS)-track
APLAS 2019 Committee Member in Steering Committee
ICSE 2019 Author of Resource-aware Program Analysis via Online Abstraction Coarsening within the Technical Track-track
POPL 2018 Author of Denotational validation of higher-order Bayesian inference within the Research Papers-track
PPS 2018 Author of The semantic structure of quasi-Borel spaces: algebra, logic, and recursion within the PPS 2018-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
PMLDC 2017 Committee Member in Program Committee within the PMLDC 2017-track
POPL 2017 ERC member in External Review Committee within the POPL-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 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
PPS 2016 Author of Semantics of Higher-order Probabilistic Programs within the PPS 2016-track
SPLASH 2015 Author of Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation within the OOPSLA-track
ESOP 2015 Committee Member in Program Committee within the ESOP-track
Author of Composite Replicated Data Types within the ESOP-track