Chung-chieh Shan

Registered user since Thu 9 Jul 2015

Name: Chung-chieh Shan

Affiliation: Indiana University, USA

Personal website: http://homes.soic.indiana.edu/ccshan/

Contributions

LAFI 2021 Committee Member in Steering Committee within the LAFI 2021-track
LAFI 2020 Committee Member in Steering Committee within the LAFI (né PPS)-track
ICFP 2020 Session Chair of Keynote (part of ICFP Program)
Committee Member in External Review Committee within the ICFP Program-track
TyDe 2019 Committee Member in Program Committee within the TyDe 2019-track
APLAS 2019 Committee Member in Steering Committee
PLMW 2019 Speaker of Research Skills: How to Give a Talk within the PLMW@POPL-track
Speaker in Speakers within the PLMW@POPL-track
LAFI 2019 Author of Verified Equational Reasoning on a Little Language of Measures within the LAFI (né PPS)-track
Committee Member in Steering Committee within the LAFI (né PPS)-track
GPCE 2011 Committee Member in Program Committee within the GPCE 2011-track
ICFP 2019 Committee Member in Program Committee within the Research Papers-track
Author of From high-level inference algorithms to efficient code within the Research Papers-track
GPCE 2018 Committee Member in Program Committee within the GPCE 2018-track
PPS 2018 Author of More support for symbolic disintegration within the PPS 2018-track
ICFP 2017 Author of Symbolic Conditioning of Arrays in Probabilistic Programs within the Research Papers-track
POPL 2018 Author of Equational reasoning for probabilistic programming. within the TutorialFest-track
PPS 2017 Session Chair of Session 5 (part of PPS)
Chair in Program Committee within the PPS-track
PEPM 2017 Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
Session Chair of Transformation (part I) (part of PEPM 2017)
POPL 2017 Author of Exact Bayesian Inference by Symbolic Disintegration within the POPL-track
PPS 2016 Session Chair of Session 5 (part of PPS 2016)
Chair in Program Committee within the PPS 2016-track
Author of Coalgebraic Trace Semantics for Probabilistic Processes: Preliminary Proposal within the PPS 2016-track
ICFP 2016 Author of Deriving a Probability Density Calculator (Functional Pearl) within the Research Papers-track
PADL Author of Simplifying Probabilistic Programs Using Computer Algebra within the PADL-track
PEPM 2016 Committee Member in Program Committee within the PEPM-track
SPLASH 2012 Committee Member in Program Committee within the Onward! Papers-track