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

ICFP 2019Committee Member in Program Committee 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