Takaya Saeki

According to our database, Takaya Saeki authored at least 3 papers between 2016 and 2020.

Collaborative distances:

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

2020

A robust and flexible operating system compatibility architecture.

Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden

Proceedings of the VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2020

2017

Bash on Ubuntu on macOS.

Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

2016

Automatic Generation of Potentially Pathological Instances for Validating Alloy Models.

Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden

Proceedings of the Formal Methods and Software Engineering, 2016