Naoki Iwayama

According to our database, Naoki Iwayama authored at least 3 papers between 2019 and 2020.

Collaborative distances:

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

2020

Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking.

Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada

Proceedings of the Static Analysis - 27th International Symposium, 2020

A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking.

Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Combining higher-order model checking with refinement type inference.

Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019