■ 著書・論文
|
1.
|
2023/09
|
論文
|
Haskell Library for Safer Virtual Machine Introspection (Experience Report) Proc. ACM SIGPLAN Haskell Symposium 2023 (Haskell 2023) pp.89-96 （共著）
|
|
2.
|
2022/10
|
論文
|
Generating Virtual Machine Code of JavaScript Engine for Embedded Systems 30,pp.679-693 （共著）
|
|
3.
|
2022/10
|
論文
|
The TABLET Programming Learning Environment: from Block-based to Text-based Programming Journal of Information Processing 30,pp.729-741 （共著）
|
|
4.
|
2022/06
|
論文
|
Replication-based Object Persistence by Reachability Proc. 2022 ACM SIGPLAN International Symposium on Memory Management (ISMM 2022) pp.43-56 （共著）
|
|
5.
|
2022/01
|
論文
|
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing Journal of Functional Programming 32,e4:1-e4:69頁 （共著）
|
|
6.
|
2021/08
|
論文
|
アプリケーションと実行環境に適応したカスタマイズが可能なJavaScript処理系 コンピュータソフトウェア 38(3),23-40頁 （共著）
|
|
7.
|
2021/06
|
論文
|
Fusuma: Double-Ended Threaded Compaction Proc. 2021 ACM SIGPLAN International Symposium on Memory Management (ISMM 2021) pp.94-106 （共著）
|
|
8.
|
2020/04
|
論文
|
Region-based Detection of Essential Differences in Image-based Visual Regression Testing Journal of Information Processing 28,pp.268-278 （共著）
|
|
9.
|
2019/05
|
論文
|
dajFS: A New File System with Per-Directory Adaptive Journaling Journal of Information Processing 27,pp.369-377 （共著）
|
|
10.
|
2019/05
|
論文
|
Fregel コンパイラにおける不要な値送受信の削減 コンピュータソフトウェア 36(2),28-46頁 （共著）
|
|
11.
|
2019/04
|
論文
|
eJSTK: Building JavaScript Virtual Machines with Customized Datatypes Journal of Computer Languages 51,pp.261-279 （共著）
|
|
12.
|
2019/04
|
論文
|
Suspend-less Debugging for Interactive and/or Realtime Programs Proc. 12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019) pp.194-205 （共著）
|
|
13.
|
2018/05
|
論文
|
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers Proc. 14th International Symposium on Functional and Logic Programming (FLOPS 2018), Lecture Notes in Computer Science 10818 pp.166-181 （共著）
|
|
14.
|
2018/04
|
論文
|
A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations Proc. 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018) pp.1238-1247 （共著）
|
|
15.
|
2016/11
|
論文
|
A Debugger-Cooperative Higher-Order Contract System in Python Proc. 14th Asian Symposium on Programming Languages and Systems (APLAS 2016), Lecture Notes in Computer Science 10017 pp.148-168 （共著）
|
|
16.
|
1997/06
|
論文
|
Tupling Calculation Eliminates Multiple Data Traversals Proc. 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP 1997) pp.164-175 （共著）
|
|
17.
|
1995/07
|
論文
|
Promotional Transformation of Monadic Programs Proc. Fuji International Workshop on Functional and Logic Programming (FLOPS 1995) pp.196-210 （共著）
|
|
5件表示
|
|
全件表示(17件)
|
|
■ 学歴
|
■ 職歴
|
■ ホームページ
|
