| 2018 | PPDP | Calculating Distributions. | Chung-chieh Shan |
| 2017 | POPL | Exact Bayesian inference by symbolic disintegration. | Chung-chieh Shan, Norman Ramsey |
| 2017 | UAI | Composing Inference Algorithms as Program Transformations. | Robert Zinkov, Chung-chieh Shan |
| 2016 | FLOPS | Probabilistic Inference by Program Transformation in Hakaru (System Description). | Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov |
| 2016 | ICFP | Deriving a probability density calculator (functional pearl). | Wazim Mohammed Ismail, Chung-chieh Shan |
| 2016 | PADL | Simplifying Probabilistic Programs Using Computer Algebra. | Jacques Carette, Chung-chieh Shan |
| 2014 | PEPM | Combinators for impure yet hygienic code generation. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2013 | PEPM | Shonan challenge for generative programming: short position paper. | Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2012 | EACL | Entailment above the word level in distributional semantics. | Marco Baroni, Raffaella Bernardi, Ngoc-Quynh Do, Chung-chieh Shan |
| 2012 | ECOOP | Enhancing JavaScript with Transactions. | Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy |
| 2012 | ECOOP | An Analysis of the Mozilla Jetpack Extension Framework. | Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan |
| 2010 | PLDI | The case for JavaScript transactions: position paper. | Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy |
| 2009 | ICFP | Purely functional lazy non-deterministic programming. | Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan |
| 2009 | PEPM | Shifting the stage: staging with delimited control. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2009 | UAI | Monolingual Probabilistic Programming Using Generalized Coroutines. | Oleg Kiselyov, Chung-chieh Shan |
| 2008 | FLOPS | Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). | Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan |
| 2008 | HASKELL | Lightweight monadic regions. | Oleg Kiselyov, Chung-chieh Shan |
| 2008 | PEPM | Closing the stage: from staged code to typed closures. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2007 | APLAS | Finally Tagless, Partially Evaluated. | Jacques Carette, Oleg Kiselyov, Chung-chieh Shan |
| 2007 | SDM | Boosting Optimal Logical Patterns Using Noisy Data. | Noam Goldberg, Chung-chieh Shan |
| 2006 | ICFP | Delimited dynamic binding. | Oleg Kiselyov, Chung-chieh Shan, Amr Sabry |
| 2005 | ICFP | Backtracking, interleaving, and terminating monad transformers: (functional pearl). | Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry |
| 2004 | HASKELL | Functional pearl: implicit configurations-or, type classes reflect the values of types. | Oleg Kiselyov, Chung-chieh Shan |
| 2004 | NAACL | Polarity Sensitivity and Evaluation Order in Type-Logical Grammar. | Chung-chieh Shan |
| 2002 | TABLEAUX | Question Answering: From Partitions to Prolog. | Balder ten Cate, Chung-chieh Shan |