Faculty Database - IWASAKI HIDEYA

Books and Papers

Academic Qualifications

（Last updated : 2023-10-20 16:08:16）

IWASAKI HIDEYA
Department Undergraduate School , School of Science and Technology

Position Professor

■ Books and Papers

1.	2023/09	Article	Haskell Library for Safer Virtual Machine Introspection (Experience Report) Proc. ACM SIGPLAN Haskell Symposium 2023 (Haskell 2023) pp.89-96 (Collaboration)
2.	2022/10	Article	Generating Virtual Machine Code of JavaScript Engine for Embedded Systems 30,pp.679-693 (Collaboration)
3.	2022/10	Article	The TABLET Programming Learning Environment: from Block-based to Text-based Programming Journal of Information Processing 30,pp.729-741 (Collaboration)
4.	2022/06	Article	Replication-based Object Persistence by Reachability Proc. 2022 ACM SIGPLAN International Symposium on Memory Management (ISMM 2022) pp.43-56 (Collaboration)
5.	2021/06	Article	Fusuma: Double-Ended Threaded Compaction Proc. 2021 ACM SIGPLAN International Symposium on Memory Management (ISMM 2021) pp.94-106 (Collaboration)
6.	2020/04	Article	Region-based Detection of Essential Differences in Image-based Visual Regression Testing Journal of Information Processing 28,pp.268-278 (Collaboration)
7.	2019/05	Article	dajFS: A New File System with Per-Directory Adaptive Journaling Journal of Information Processing 27,pp.369-377 (Collaboration)
8.	2019/04	Article	eJSTK: Building JavaScript Virtual Machines with Customized Datatypes Journal of Computer Languages 51,pp.261-279 (Collaboration)
9.	2019/04	Article	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 (Collaboration)
10.	2018/05	Article	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 (Collaboration)
11.	2018/04	Article	A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations Proc. 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018) pp.1238-1247 (Collaboration)
12.	2016/11	Article	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 (Collaboration)
13.	1997/06	Article	Tupling Calculation Eliminates Multiple Data Traversals Proc. 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP 1997) pp.164-175 (Collaboration)
14.	1995/07	Article	Promotional Transformation of Monadic Programs Proc. Fuji International Workshop on Functional and Logic Programming (FLOPS 1995) pp.196-210 (Collaboration)
Display 5 items
Display all(14)

■ Academic Qualifications

1.	1985/04～1988/03	〔Doctorial Course〕, Graduate School, Division of Engineering, The University of Tokyo, Completed,
2.	1983/04～1985/03	〔Master Course〕, Graduate School, Division of Engineering, The University of Tokyo, Completed,
3.	1979/04～1983/03	Faculty of Engineering, The University of Tokyo, Graduated,

■ Career History

1.	2022/04～	Professor
2.	2010/04～2022/03	Professor
3.	2004/01～2010/03	Professor
4.	2001/04～2003/12	Associate Professor
5.	1998/04～2001/03	Associate Professor
6.	1996/05～1998/03	Associate Professor
7.	1993/04～1996/04	Associate Professor
8.	1988/04～1993/03	Research Assistant
Display 5 items
Display all(8)

■ Web Sites

https://ipl.cs.uec.ac.jp/~iwasaki/index.html