Chung-chieh Shan

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