Author: "Ueno, Hideto" / Publication Type: Conference Materials - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Ueno, Hideto"' showing total 2 results

Start Over Author "Ueno, Hideto" Publication Type Conference Materials

2 results on '"Ueno, Hideto"'

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

Author: Jayatilaka, Tarindu, primary, Ueno, Hideto, additional, Georgakoudis, Giorgis, additional, Park, EunJung, additional, and Doerfert, Johannes, additional
Published: 2021
Full Text: View/download PDF

2. Counterexample generation for program verification based on ownership refinement types

Author: Ueno, Hideto, primary, Toman, John, additional, Kobayashi, Naoki, additional, and Tsukada, Takeshi, additional
Published: 2021
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results