Hiroyuki Iiboshi

According to our database, Hiroyuki Iiboshi authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Towards Model Checking Library for Persistent Data Structures.

Hiroyuki Iiboshi, Tomoharu Ugawa

Proceedings of the IEEE 7th Non-Volatile Memory Systems and Applications Symposium, 2018