uenoku.github.io

Hideto Ueno

Hideto Ueno is a 4th-year undergraduate student of the Department of Information Science at the University of Tokyo(~ March 2020). I’ll enter graduate school at the University of Tokyo (April 2020 ~) and do research about theory of programming language, compiler and model checking.

Interest

Experience

Google Summer of Code 2019 (LLVM)

Code submission page

The Attributor fixpoint iteration framework is a new addition to LLVM that, first and foremost, offers powerful inter-procedural attribute deduction. Because of abstracted interfaces and the provided infrastructure, it is now much easier to add and deduce new attributes.

Over this summer, I basically worked on adding concrete implementations for attribute deduction in the Attributor framework.

mentor: Johannes Doerfert

Works

Sorry for poor comment or description in the repositories…

Rust

OCaml

Other