Oleg Kiselyov

Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Shonan challenge for generative programming: short position paper. PEPM 2013: 147-154

Oleg Kiselyov: Delimited control in OCaml, abstractly and concretely. Theor. Comput. Sci. 435: 56-76 (2012)

Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry: Lazy v. Yield: Incremental, Linear Pretty-Printing. APLAS 2012: 190-206

Oleg Kiselyov: Iteratees. FLOPS 2012: 166-181

Oleg Kiselyov, Simon Thompson (Eds.): Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. ACM 2012, isbn 978-1-4503-1118-2

Oleg Kiselyov, Chung-chieh Shan: Monolingual Probabilistic Programming Using Generalized Coroutines. CoRR abs/1205.2636 (2012)

Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan: Purely functional lazy nondeterministic programming. J. Funct. Program. 21(4-5): 413-465 (2011)

Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Shifting the stage - Staging with delimited control. J. Funct. Program. 21(6): 617-662 (2011)

Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan: Functional un|unparsing. Higher-Order and Symbolic Computation 24(4): 311-340 (2011)

Jacques Carette, Oleg Kiselyov: Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. Sci. Comput. Program. 76(5): 349-375 (2011)

Oleg Kiselyov: Implementing Explicit and Finding Implicit Sharing in Embedded DSLs. DSL 2011: 210-225

Oleg Kiselyov: Delimited Control in OCaml, Abstractly and Concretely: System Description. FLOPS 2010: 304-320

Oleg Kiselyov: Typed Tagless Final Interpreters. SSGIP 2010: 130-174

Jacques Carette, Oleg Kiselyov, Chung-chieh Shan: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5): 509-543 (2009)

Oleg Kiselyov, Chung-chieh Shan: Embedded Probabilistic Programming. DSL 2009: 360-384

Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan: Purely functional lazy non-deterministic programming. ICFP 2009: 11-22

Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Shifting the stage: staging with delimited control. PEPM 2009: 111-120

Oleg Kiselyov, Chung-chieh Shan: Monolingual Probabilistic Programming Using Generalized Coroutines. UAI 2009: 285-292

Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan: Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). FLOPS 2008: 64-80

Oleg Kiselyov, Chung-chieh Shan: Lightweight monadic regions. Haskell 2008: 1-12

Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira: Comparing libraries for generic programming in haskell. Haskell 2008: 111-122

Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Closing the stage: from staged code to typed closures. PEPM 2008: 147-157

Oleg Kiselyov, Chung-chieh Shan: Lightweight Static Capabilities. Electr. Notes Theor. Comput. Sci. 174(7): 79-104 (2007)

Jacques Carette, Oleg Kiselyov, Chung-chieh Shan: Finally Tagless, Partially Evaluated. APLAS 2007: 222-238

Oleg Kiselyov, Chung-chieh Shan: Delimited Continuations in Operating Systems. CONTEXT 2007: 291-302

Oleg Kiselyov, Chung-chieh Shan: A Substructural Type System for Delimited Continuations. TLCA 2007: 223-239

Albert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua: In search of a program generator to implement generic transformations for high-performance computing. Sci. Comput. Program. 62(1): 25-46 (2006)

Andrew Pimlott, Oleg Kiselyov: Soutei, a Logic-Based Trust-Management System. FLOPS 2006: 130-145

Oleg Kiselyov, Chung-chieh Shan, Amr Sabry: Delimited dynamic binding. ICFP 2006: 26-37

Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic: A monadic approach for avoiding code duplication when staging memoized functions. PEPM 2006: 160-169

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov: The reasoned schemer. MIT Press 2005, isbn 978-0-262-56214-0, pp. I-X, 1-169

Oleg Kiselyov: Implementing Metcast in Scheme. Higher-Order and Symbolic Computation 18(3-4): 355-370 (2005)

Jacques Carette, Oleg Kiselyov: Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE 2005: 256-274

Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry: Backtracking, interleaving, and terminating monad transformers: (functional pearl). ICFP 2005: 192-203

Oleg Kiselyov, Ralf Laemmel: Haskell's overlooked object system. CoRR abs/cs/0509027 (2005)

Oleg Kiselyov, Kedar N. Swadi, Walid Taha: A methodology for generating verified combinatorial circuits. EMSOFT 2004: 249-258

Oleg Kiselyov, Chung-chieh Shan: Functional pearl: implicit configurations-or, type classes reflect the values of types. Haskell 2004: 33-44

Oleg Kiselyov, Ralf Lämmel, Keean Schupke: Strongly typed heterogeneous collections. Haskell 2004: 96-107

Oleg Kiselyov, Walid Taha: Relating FFTW and Split-Radix. ICESS 2004: 488-493

Oleg Kiselyov, Shriram Krishnamurthi: SXSLT: Manipulation Language for XML. PADL 2003: 256-272

Oleg Kiselyov: Subclassing errors, OOP, and practically checkable rules to prevent them. CoRR cs.PL/0301032 (2003)

Oleg Kiselyov: SXML specification. SIGPLAN Notices 37(6): 52-58 (2002)

Oleg Kiselyov: Macros That Compose: Systematic Macro Programming. GPCE 2002: 202-217

Oleg Kiselyov: A Better XML Parser through Functional Programming. PADL 2002: 209-224

Oleg Kiselyov: Type Arithmetics: Computation based on the theory of types. CoRR cs.CL/0104010 (2001)

Oleg Kiselyov: Secure Counting: counting members of a subset without revealing their identities. CoRR cs.CR/0104004 (2001)

Oleg Kiselyov, Paul Fisher: Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification. CoRR cs.CV/0003065 (2000)

Oleg Kiselyov: A network file system over HTTP: remote access and modification of files and "files". CoRR cs.OS/0003064 (2000)

Oleg Kiselyov: Why C++ is not very fit for GUI programming. CoRR cs.PL/0001003 (2000)

Oleg Kiselyov, Richard J. Botting: Comment on ``On the Application of a Popular Notation to Semantics'' and reply from the Autor. SIGPLAN Notices 34(12): 35-36 (1999)

Oleg Kiselyov: A network file system over HTTP: remote access and modification of files and files. USENIX Annual Technical Conference, FREENIX Track 1999: 75-80

Oleg Kiselyov: LAND*: an AND with local bindings, a guarded LET* special form. ICFP 1998: 336

Oleg Kiselyov: Functional Style in C++: Closures, Late Binding, and Lambda Abstractions. ICFP 1998: 337

Oleg Kiselyov: A Delegation Language to Request Weather Products and a Scheme of Its Interpretation. ICFP 1998: 343

Oleg Kiselyov: A Lazy CGI Namespace in Scheme. ICFP 1998: 349

Oleg Kiselyov, Paul Fisher: Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification. Data Compression Conference 1996: 443

Oleg Kiselyov, Paul Fisher: Self-Similarity of the Multiresolutional Image/Video Decomposition: Smart Expansion as Compression of Still and Moving Pictures. Data Compression Conference 1994: 331-340