Rchr
J-GLOBAL ID：201801001317412678
Update date: Sep. 09, 2024
Kiselyov Oleg
キセリョーヴ オレッグ | Kiselyov Oleg
Affiliation and department：
Homepage URL (1)：
http://okmij.org/ftp/
Research field (1)：
Software
Research theme for competitive and other funds (6)：
Papers (85)：
-
Tomoaki Kobayashi, Oleg Kiselyov. Complete Stream Fusion for Software-Defined Radio. Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. 2024
-
Oleg Kiselyov. MetaOCaml: Ten Years Later System Description. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2024. 14659 LNCS. 219-236
-
Oleg Kiselyov. Towards a Theory of Anaphoric Binding in Event Semantics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2024. 14569 LNCS. 55-67
-
Oleg Kiselyov. Generating C: Heterogeneous metaprogramming system description. Science of Computer Programming. 2024. 231
-
Oleg Kiselyov, Haruki Watanabe. QNP Textual Entailment with Polynomial Event Semantics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2023. 13856 LNAI. 198-211
ｍore...
MISC (10)：
-
Oleg Kiselyov. Free Variable as Effect, in Practice. 2023
-
Oleg Kiselyov. MetaOCaml Theory and Implementation. 2023
-
Oleg Kiselyov, Toshihiro Nakayama. Demo: New View on Plasma Fractals -- From the High Point of Array Languages. 2022
-
Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos. Highest-performance Stream Processing. 2022
-
Oleg Kiselyov. Do Mutable Variables Have Reference Types?. 2022
ｍore...
Books (2)：
-
Reconciling Abstraction with High Performance: A MetaOCaml approach
now Publishers 2018 ISBN:9781680834369
-
The Reasoned Schemer, Second Edition
MIT Press 2018 ISBN:9780262535519
Lectures and oral presentations (22)：
-
Even Better Stream Fusion
(University of Oxford Seminar Series on Tensor Computation 2022)
-
Many more predecessors: A representation workout
(U. of Edinburgh, Laboratory for Foundations of CS Seminar, 2021)
-
Even better stream fusion, as normalization-by-evaluation
(ENS (École Normale Supérieure, FR) PARKAS Seminar 2020)
-
From the tagless-final cookbook: simple hardware description language and optimization-by-evaluation
(Second International Summer School on Metaprogramming Schloss Dagstuhl 2019)
-
Sound and Efficient Language-Integrated Query: Maintaining the ORDER
(EPFL (Ecole polytechnique fédérale de Lausanne, SW) IC Colloquium2017 2017)
ｍore...
Professional career (2)：
- PhD (University of North Texas, USA)
- PhD (Kazan State University, USSR)
Work history (2)：
- 2024/04 - 現在 Tohoku University Graduate School of Information Sciences Department of Computer and Mathematical Sciences
- 2015/04 - 2024/04 Tohoku University Graduate School of Information Sciences Department of Computer and Mathematical Sciences
Committee career (2)：
- 2018/06 - 現在 IFIP TC2 Working Group WG2.1 on Algorithmic Languages and Calculi Member
- 2008/01 - 現在 IFIP TC2 Working Group WG2.11 on Program Generation Member
Awards (5)：
- 2024/01 - ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) ACM SIGPLAN PEPM 2024 Distinguished Paper Award
- 2017/05 - HiPEAC: European Network on High Performance and Embedded Architecture and Compilation HiPEAC Paper Award
- 2017/03 - 第19回プログラミングおよびプログラミング言語ワークショップ PPL 2017 PPL2017論文賞
- 2009/07 - Best Paper Award Embedded probabilistic programming
- 1993/12 - Who's Who among students in American Universities and Colleges
Return to Previous Page
