Hideto Ueno

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Optimization Problems

Machine Learning

Integrity Constraints

Top Venues

Publications

Hideto Ueno, John Toman, Naoki Kobayashi, Takeshi Tsukada
Counterexample generation for program verification based on ownership refinement types. PEPM@POPL (2021)
Tarindu Jayatilaka, Hideto Ueno, Giorgis Georgakoudis, Eunjung Park, Johannes Doerfert
Towards Compile-Time-Reducing Compiler Optimization Selection via Machine Learning. ICPP Workshops (2021)