Chung-chieh Shan

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 16

Top Topics

Bayesian Inference

Bucket Elimination

Cognitive Architecture

Code Generation

Top Venues

Proc. ACM Program. Lang.

AAAI Fall Symposia

Publications

David Chiang, Colin McDonald, Chung-chieh Shan
Exact Recursive Probabilistic Programming. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
David Chiang, Colin McDonald, Chung-chieh Shan
Exact Recursive Probabilistic Programming. CoRR (2022)
Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt
Sham: A DSL for Fast DSLs. Art Sci. Eng. Program. 6 (1) (2022)
David Chiang, Chung-chieh Shan
Translating Recursive Probabilistic Programs to Factor Graph Grammars. CoRR (2020)
Praveen Narayanan, Chung-chieh Shan
Symbolic Disintegration with a Variety of Base Measures. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt
Sham: A DSL for Fast DSLs. CoRR (2020)
Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, Chung-chieh Shan
From high-level inference algorithms to efficient code. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Rajan Walia, Jacques Carette, Praveen Narayanan, Chung-chieh Shan, Sam Tobin-Hochstadt
Efficient compilation of array probabilistic programs. CoRR (2018)
Chung-chieh Shan
Calculating Distributions. PPDP (2018)
Chung-chieh Shan, Norman Ramsey
Exact Bayesian inference by symbolic disintegration. POPL (2017)
Praveen Narayanan, Chung-chieh Shan
Symbolic conditioning of arrays in probabilistic programs. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Robert Zinkov, Chung-chieh Shan
Composing Inference Algorithms as Program Transformations. UAI (2017)
Jacques Carette, Chung-chieh Shan
Simplifying Probabilistic Programs Using Computer Algebra. PADL (2016)
Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov
Probabilistic Inference by Program Transformation in Hakaru (System Description). FLOPS (2016)
Wazim Mohammed Ismail, Chung-chieh Shan
Deriving a probability density calculator (functional pearl). ICFP (2016)
Robert Zinkov, Chung-chieh Shan
Composing inference algorithms as program transformations. CoRR (2016)
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Combinators for impure yet hygienic code generation. Sci. Comput. Program. 112 (2015)
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Combinators for impure yet hygienic code generation. PEPM (2014)
John Tracy Hale, Richard L. Lewis, David Reitter, Chung-chieh Shan, Sashank Varma
Integrating Language and Cognitive Architecture. AAAI Fall Symposia (2013)
Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Shonan challenge for generative programming: short position paper. PEPM (2013)
Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy
Enhancing JavaScript with Transactions. ECOOP (2012)
Marco Baroni, Raffaella Bernardi, Ngoc-Quynh Do, Chung-chieh Shan
Entailment above the word level in distributional semantics. EACL (2012)
Oleg Kiselyov, Chung-chieh Shan
Monolingual Probabilistic Programming Using Generalized Coroutines CoRR (2012)
Oleg Kiselyov, Chung-chieh Shan, Yukiyoshi Kameyama
Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4). NII Shonan Meet. Rep. 2012 (2012)
Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan
An Analysis of the Mozilla Jetpack Extension Framework. ECOOP (2012)
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
Purely functional lazy nondeterministic programming. J. Funct. Program. 21 (4-5) (2011)
Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan
Functional un|unparsing. High. Order Symb. Comput. 24 (4) (2011)
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Shifting the stage - Staging with delimited control. J. Funct. Program. 21 (6) (2011)
Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy
The case for JavaScript transactions: position paper. PLAS (2010)
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Shifting the stage: staging with delimited control. PEPM (2009)
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19 (5) (2009)
Oleg Kiselyov, Chung-chieh Shan
Embedded Probabilistic Programming. DSL (2009)
Oleg Kiselyov, Chung-chieh Shan
Monolingual Probabilistic Programming Using Generalized Coroutines. UAI (2009)
Olivier Danvy, Chung-chieh Shan, Ian Zerny
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. DSL (2009)
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
Purely functional lazy non-deterministic programming. ICFP (2009)
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
Closing the stage: from staged code to typed closures. PEPM (2008)
Oleg Kiselyov, Chung-chieh Shan
Lightweight monadic regions. Haskell (2008)
Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). FLOPS (2008)
Oleg Kiselyov, Chung-chieh Shan
Lightweight Static Capabilities. Electron. Notes Theor. Comput. Sci. 174 (7) (2007)
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
Finally Tagless, Partially Evaluated. APLAS (2007)
Chung-chieh Shan
Inverse Scope as Metalinguistic Quotation in Operational Semantics. JSAI (2007)
Noam Goldberg, Chung-chieh Shan
Boosting Optimal Logical Patterns Using Noisy Data. SDM (2007)
Chung-chieh Shan
A static simulation of dynamic delimited control. High. Order Symb. Comput. 20 (4) (2007)
Oleg Kiselyov, Chung-chieh Shan
A Substructural Type System for Delimited Continuations. TLCA (2007)
Oleg Kiselyov, Chung-chieh Shan
Delimited Continuations in Operating Systems. CONTEXT (2007)
Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
Delimited dynamic binding. ICFP (2006)
Chris Barker, Chung-chieh Shan
Types as Graphs: Continuations in Type Logical Grammar. J. Log. Lang. Inf. 15 (4) (2006)
Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
On the static and dynamic extents of delimited continuations. Sci. Comput. Program. 60 (3) (2006)
Rani Nelken, Chung-chieh Shan
A Modal Interpretation of the Logic of Interrogation. J. Log. Lang. Inf. 15 (3) (2006)
Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
On the dynamic extent of delimited continuations. Inf. Process. Lett. 96 (1) (2005)
Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry
Backtracking, interleaving, and terminating monad transformers: (functional pearl). ICFP (2005)
Chung-chieh Shan
Polarity sensitivity and evaluation order in type-logical grammar CoRR (2004)
Chung-chieh Shan
Delimited continuations in natural language: quantification and polarity sensitivity CoRR (2004)
Chung-chieh Shan
Sexy types in action. ACM SIGPLAN Notices 39 (5) (2004)
Chung-chieh Shan
Polarity Sensitivity and Evaluation Order in Type-Logical Grammar. HLT-NAACL (Short Papers) (2004)
Oleg Kiselyov, Chung-chieh Shan
Functional pearl: implicit configurations-or, type classes reflect the values of types. Haskell (2004)
Chung-chieh Shan
A continuation semantics of interrogatives that accounts for Baker's ambiguity CoRR (2002)
Balder ten Cate, Chung-chieh Shan
Question answering: from partitions to Prolog CoRR (2002)
Chung-chieh Shan, Balder ten Cate
The partition semantics of questions, syntactically CoRR (2002)
Balder ten Cate, Chung-chieh Shan
Question Answering: From Partitions to Prolog. TABLEAUX (2002)
Chung-chieh Shan
Monads for natural language semantics CoRR (2002)
Chung-chieh Shan
A variable-free dynamic semantics CoRR (2002)