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 2021Committee Member in Steering Committee within the LAFI 2021-track
LAFI 2020Committee Member in Steering Committee within the LAFI (né PPS)-track
ICFP 2020Session Chair of Keynote (part of ICFP Program)
Committee Member in External Review Committee within the ICFP Program-track
TyDe 2019Committee Member in Program Committee within the TyDe 2019-track
APLAS 2019Committee Member in Steering Committee
PLMW 2019Speaker of Research Skills: How to Give a Talk within the PLMW@POPL-track
Speaker in Speakers within the PLMW@POPL-track
LAFI 2019Author 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 2011Committee Member in Program Committee within the GPCE 2011-track
ICFP 2019Committee 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 2018Committee Member in Program Committee within the GPCE 2018-track
PPS 2018Author of More support for symbolic disintegration within the PPS 2018-track
ICFP 2017Author of Symbolic Conditioning of Arrays in Probabilistic Programs within the Research Papers-track
POPL 2018Author of Equational reasoning for probabilistic programming. within the TutorialFest-track
PPS 2017Session Chair of Session 5 (part of PPS)
Chair in Program Committee within the PPS-track
PEPM 2017Committee 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 2017Author of Exact Bayesian Inference by Symbolic Disintegration within the POPL-track
PPS 2016Session 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 2016Author of Deriving a Probability Density Calculator (Functional Pearl) within the Research Papers-track
PADLAuthor of Simplifying Probabilistic Programs Using Computer Algebra within the PADL-track
PEPM 2016Committee Member in Program Committee within the PEPM-track
SPLASH 2012Committee Member in Program Committee within the Onward! Papers-track