Hideto Ueno

According to our database, Hideto Ueno authored at least 2 papers in 2021.

Collaborative distances:

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

2021

Counterexample generation for program verification based on ownership refinement types.

Hideto Ueno, John Toman, Naoki Kobayashi, Takeshi Tsukada

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

Towards Compile-Time-Reducing Compiler Optimization Selection via Machine Learning.

Tarindu Jayatilaka, Hideto Ueno, Giorgis Georgakoudis, Eunjung Park, Johannes Doerfert

Proceedings of the ICPP Workshops 2021: 50th International Conference on Parallel Processing, 2021