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

SPLASH 2023	Author of Exact Recursive Probabilistic Programming within the OOPSLA-track
FARM 2023	Committee Member in Program Committee within the FARM 2023-track
LAFI 2023	Steering Committee Member in Steering Committee within the LAFI 2023-track
‹Programming› 2022	Author of Sham: A DSL for Fast DSLs within the Research Papers-track
POPL 2022	Committee Member in Program Committee within the POPL-track
LAFI 2022	Committee Member in Steering Committee within the LAFI-track
LAFI 2021	Committee Member in Steering Committee within the LAFI 2021-track
ICFP 2020	Session Chair of Keynote (part of ICFP Program) Committee Member in External Review Committee within the ICFP Program-track
LAFI 2020	Committee Member in Steering Committee within the LAFI (né PPS)-track
APLAS 2019	Committee Member in Steering Committee
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
TyDe 2019	Committee Member in Program Committee within the TyDe 2019-track
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 2018	Committee Member in Program Committee within the GPCE 2018-track
POPL 2018	Author of Equational reasoning for probabilistic programming. within the TutorialFest-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 2017	Author of Exact Bayesian Inference by Symbolic Disintegration within the POPL-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)
PPS 2017	Session Chair of Session 5 (part of PPS) Chair in Program Committee within the PPS-track
ICFP 2016	Author of Deriving a Probability Density Calculator (Functional Pearl) within the Research Papers-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
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
GPCE 2011	Committee Member in Program Committee within the GPCE 2011-track