キセリョーヴオレッグ

キセリョーヴオレッグ | Kiselyov Oleg

所属機関・部署：
職名：客員研究員
ホームページURL (1件)： http://okmij.org/ftp/

研究分野 (1件)：ソフトウェア

競争的資金等の研究課題 (6件)：

2022 - 2026 依存型を持つ段階的計算体系の理論と実装
2021 - 2025 Perfect Stream Fusion for Information Flow Processing
2017 - 2023 Tagless-final DSL embedding: how to keep extending the language and be sure it will still work
2018 - 2022 先進的型理論に基づく多段階計算体系の設計と実装
2016 - 2019 継続と文脈の概念にもとづく新しい関係的プログラム意味論

全件表示

論文 (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

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

書籍 (2件)：

Reconciling Abstraction with High Performance: A MetaOCaml approach
now Publishers 2018 ISBN:9781680834369
The Reasoned Schemer, Second Edition
MIT Press 2018 ISBN:9780262535519

講演・口頭発表等 (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)

学位 (2件)：

経歴 (2件)：

委員歴 (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

受賞 (5件)：

2024/01 - 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 - IFIP Working Conference on Domain-Specific Languages Best Paper Award
1993/12 - Who's Who among students in American Universities and Colleges

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

キセリョーヴ オレッグ