Registered user since Fri 14 Apr 2023
Name:Kazunori Ueda
Country:Japan
Affiliation:Waseda University
Personal website: https://www.ueda.info.waseda.ac.jp/~ueda/
GitHub: https://github.com/k-ueda
Research interests:Design and implementation of programming languages, concurrency and parallelism, high-performance verification, hybrid systems
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
POPL 2025-profile
View general profile
View general profile