Chung-chieh Shan

Chung-chieh Shan

Associate Professor, School of Informatics and Computing


  • Ph.D., Computer Science at Harvard University, 2005
  • BA, Mathematics at Harvard University, 1999

Professional Experience

  • Assistant Professor, School of Informatics and Computing, Indiana University (2013–2019)
  • Researcher, Department of Computer Science, University of Tsukuba (Spring 2012)
  • Visiting Assistant Professor, Department of Linguistics, Cornell University (Fall 2011)
  • Assistant Professor, Department of Computer Science and Center of Cognitive Science, Rutgers University (2005–2011)

Representative publications

From high-level inference algorithms to efficient code (2019)
Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, and Chung-chieh Shan
Proceedings of the ACM on Programming Languages, 3 (ICFP),

Exact Bayesian inference by symbolic disintegration (2017)
Chung-chieh Shan and Norman Ramsey
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 52 (1), 130-144

The character of quotation (2010)
Chung-chieh Shan
Linguistics and Philosophy, 33 (5), 417-443

Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages (2009)
Chung-chieh Shan, Jacques Carette, and Oleg Kiselyov
Journal of Functional Programming, 19 (5), 509-543

Embedded probabilistic programming (2009)
Oleg Kiselyov and Chung-Chieh Shan
IFIP Working Conference on Domain-Specific Languages, 360-384

A static simulation of dynamic delimited control (2007)
Chung-chieh Shan
Higher-Order and Symbolic Computation, 20 (4), 371-401

Explaining crossover and superiority as left-to-right evaluation (2006)
Chung-chieh Shan and Chris Barker
Linguistics and Philosophy, 29 (1), 91-134