Oleg Kiselyov

J-GLOBAL         Last updated: Jun 12, 2019 at 16:10
 
Avatar
Name
Oleg Kiselyov
E-mail
olegokmij.org
Affiliation
Tohoku University

Research Areas

 
 

Awards & Honors

 
2017
HiPEAC Paper Award, HiPEAC: European Network on High Performance and Embedded Architecture and Compilation
Winner: Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
 

Published Papers

 
Jeremy Yallop, Oleg Kiselyov
PEPM 2019 - Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2019   75-81   Jan 2019
© 2019 Copyright held by the owner/author(s). Publication rights licensed to ACM. Many functional programs - state machines [Krishnamurthi 2006], top-down and bottom-up parsers [Hinze and Paterson 2003; Hutton and Meijer 1996], evaluators [Abelson...
Oleg Kiselyov, K. C. Sivaramakrishnan
Electronic Proceedings in Theoretical Computer Science, EPTCS   285 23-58   Dec 2018
© 2018 OPEN PUBLISHING ASSOCIATION. All rights reserved. The language Eff is an OCaml-like language serving as a prototype implementation of the theory of algebraic effects, intended for experimentation with algebraic effects on a large scale. We ...
Oleg Kiselyov, Andy King
Science of Computer Programming   164 1-2   Oct 2018
Oleg Kiselyov
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   10818 LNCS 33-50   Jan 2018
© 2018, Springer International Publishing AG, part of Springer Nature. We present a technique for compiling lambda-calculus expressions into SKI combinators. Unlike the well-known bracket abstraction based on (syntactic) term re-writing, our algor...
Oleg Kiselyov
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   10838 LNAI 241-252   Jan 2018
© 2018, Springer International Publishing AG, part of Springer Nature. Recently introduced Transformational Semantics (TS) formalizes, restraints and makes rigorous the transformational approach epitomized by QR and Transformational Grammars: deri...

Misc

 
Oleg Kiselyov
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)   34 343   Jan 1999
Oleg Kiselyov
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)   34 349   Jan 1999
Oleg Kiselyov
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP   337   Jan 1998
C++ permits definition of a local class, within a function, method or block rather than in the global space. This feature makes nested functions and closures possible. Returning an object as the result of a function inevitably involves deep-copyin...

Books etc

 
Reconciling Abstraction with High Performance: A MetaOCaml approach
Oleg Kiselyov
now Publishers   Jun 2018   ISBN:978-1-68083-436-9
The Reasoned Schemer, Second Edition
Daniel P. Friedman, William E. Byrd, Oleg Kiselyov and Jason Hemann (Part:Joint Work)
MIT Press   Mar 2018   ISBN:9780262535519

Conference Activities & Talks

 
Tatsuya Katsushima, Oleg Kiselyov
PEPM 2017 - Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2017   2 Jan 2017   
Language-integrated query systems like T-LINQ or QUEA make relational operations on (generally external) data feel like the ordinary iteration over native arrays. As ordinary programs, queries are type-checked, can be abstracted over and composed....