All Stories

  1. Exact Recursive Probabilistic Programming

    Article • Proceedings of the ACM on Programming Languages, April 2023, ACM (Association for Computing Machinery)

    Chung-chieh Shan

  2. Symbolic Disintegration with a Variety of Base Measures

    Article • ACM Transactions on Programming Languages and Systems, May 2020, ACM (Association for Computing Machinery)

    Chung-chieh Shan

  3. From high-level inference algorithms to efficient code

    Article • Proceedings of the ACM on Programming Languages, July 2019, ACM (Association for Computing Machinery)

    Chung-chieh Shan, Jacques Carette

  4. Calculating Distributions

    Article • September 2018, ACM (Association for Computing Machinery)

    Chung-chieh Shan

  5. Symbolic conditioning of arrays in probabilistic programs

    Article • Proceedings of the ACM on Programming Languages, August 2017, ACM (Association for Computing Machinery)

    Chung-chieh Shan

  6. Exact Bayesian inference by symbolic disintegration

    Article • ACM SIGPLAN Notices, May 2017, ACM (Association for Computing Machinery)

    Chung-chieh Shan

  7. Exact Bayesian inference by symbolic disintegration

    Article • January 2017, ACM (Association for Computing Machinery)

    Chung-chieh Shan