Towards Compile-Time-Reducing Compiler Optimization Selection via Machine Learning. - Tarindu Jayatilaka; Hideto Ueno; Giorgis Georgakoudis; Eunjung Park; Johannes Doerfert (ICPP Workshops, 2021)

Counterexample generation for program verification based on ownership refinement types. - Hideto Ueno; John Toman; Naoki Kobayashi 001; Takeshi Tsukada (PEPM@POPL, 2021)