 | 2009 |
|---|
| 37 |       | Oleg Kiselyov,
Chung-chieh Shan:
Embedded Probabilistic Programming.
DSL 2009: 360-384 |
| 36 | | Sebastian Fischer,
Oleg Kiselyov,
Chung-chieh Shan:
Purely functional lazy non-deterministic programming.
ICFP 2009: 11-22 |
| 35 | | Yukiyoshi Kameyama,
Oleg Kiselyov,
Chung-chieh Shan:
Shifting the stage: staging with delimited control.
PEPM 2009: 111-120 |
| 2008 |
|---|
| 34 | | Oleg Kiselyov,
William E. Byrd,
Daniel P. Friedman,
Chung-chieh Shan:
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).
FLOPS 2008: 64-80 |
| 33 | | Yukiyoshi Kameyama,
Oleg Kiselyov,
Chung-chieh Shan:
Closing the stage: from staged code to typed closures.
PEPM 2008: 147-157 |
| 2007 |
|---|
| 32 | | Jacques Carette,
Oleg Kiselyov,
Chung-chieh Shan:
Finally Tagless, Partially Evaluated.
APLAS 2007: 222-238 |
| 31 | | Oleg Kiselyov,
Chung-chieh Shan:
Delimited Continuations in Operating Systems.
CONTEXT 2007: 291-302 |
| 30 | | Oleg Kiselyov,
Chung-chieh Shan:
A Substructural Type System for Delimited Continuations.
TLCA 2007: 223-239 |
| 29 | | Oleg Kiselyov,
Chung-chieh Shan:
Lightweight Static Capabilities.
Electr. Notes Theor. Comput. Sci. 174(7): 79-104 (2007) |
| 2006 |
|---|
| 28 | | Andrew Pimlott,
Oleg Kiselyov:
Soutei, a Logic-Based Trust-Management System.
FLOPS 2006: 130-145 |
| 27 | | Oleg Kiselyov,
Chung-chieh Shan,
Amr Sabry:
Delimited dynamic binding.
ICFP 2006: 26-37 |
| 26 | | Kedar N. Swadi,
Walid Taha,
Oleg Kiselyov,
Emir Pasalic:
A monadic approach for avoiding code duplication when staging memoized functions.
PEPM 2006: 160-169 |
| 25 | | 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) |
| 2005 |
|---|
| 24 | | Jacques Carette,
Oleg Kiselyov:
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.
GPCE 2005: 256-274 |
| 23 | | Oleg Kiselyov,
Chung-chieh Shan,
Daniel P. Friedman,
Amr Sabry:
Backtracking, interleaving, and terminating monad transformers: (functional pearl).
ICFP 2005: 192-203 |
| 22 | | Oleg Kiselyov,
Ralf Laemmel:
Haskell's overlooked object system
CoRR abs/cs/0509027: (2005) |
| 21 | | Oleg Kiselyov:
Implementing Metcast in Scheme.
Higher-Order and Symbolic Computation 18(3-4): 355-370 (2005) |
| 2004 |
|---|
| 20 | | Oleg Kiselyov,
Kedar N. Swadi,
Walid Taha:
A methodology for generating verified combinatorial circuits.
EMSOFT 2004: 249-258 |
| 19 | | Oleg Kiselyov,
Walid Taha:
Relating FFTW and Split-Radix.
ICESS 2004: 488-493 |
| 2003 |
|---|
| 18 | | Oleg Kiselyov,
Shriram Krishnamurthi:
SXSLT: Manipulation Language for XML.
PADL 2003: 256-272 |
| 17 | | Oleg Kiselyov:
Subclassing errors, OOP, and practically checkable rules to prevent them
CoRR cs.PL/0301032: (2003) |
| 2002 |
|---|
| 16 | | Oleg Kiselyov:
Macros That Compose: Systematic Macro Programming.
GPCE 2002: 202-217 |
| 15 | | Oleg Kiselyov:
A Better XML Parser through Functional Programming.
PADL 2002: 209-224 |
| 14 | | Oleg Kiselyov:
SXML specification.
SIGPLAN Notices 37(6): 52-58 (2002) |
| 2001 |
|---|
| 13 | | Oleg Kiselyov:
Type Arithmetics: Computation based on the theory of types
CoRR cs.CL/0104010: (2001) |
| 12 | | Oleg Kiselyov:
Secure Counting: counting members of a subset without revealing their identities
CoRR cs.CR/0104004: (2001) |
| 2000 |
|---|
| 11 | | Oleg Kiselyov,
Paul Fisher:
Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification
CoRR cs.CV/0003065: (2000) |
| 10 | | Oleg Kiselyov:
A network file system over HTTP: remote access and modification of files and "files"
CoRR cs.OS/0003064: (2000) |
| 9 | | Oleg Kiselyov:
Why C++ is not very fit for GUI programming
CoRR cs.PL/0001003: (2000) |
| 1999 |
|---|
| 8 | | 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 |
| 7 |  | 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) |
| 1998 |
|---|
| 6 | | Oleg Kiselyov:
LAND*: an AND with local bindings, a guarded LET* special form.
ICFP 1998: 336 |
| 5 | | Oleg Kiselyov:
Functional Style in C++: Closures, Late Binding, and Lambda Abstractions.
ICFP 1998: 337 |
| 4 | | Oleg Kiselyov:
A Delegation Language to Request Weather Products and a Scheme of Its Interpretation.
ICFP 1998: 343 |
| 3 | | Oleg Kiselyov:
A Lazy CGI Namespace in Scheme.
ICFP 1998: 349 |
| 1996 |
|---|
| 2 | | Oleg Kiselyov,
Paul Fisher:
Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification.
Data Compression Conference 1996: 443 |
| 1994 |
|---|
| 1 | | 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 |
