Registered user since Tue 12 Sep 2023
Name:Yun Chen Tsai
Country:Japan
Affiliation:National Institute of Informatics, Japan
Research interests:Formal Methods, Model Checking, Quantum Computation
Contributions
Using general profile
HPCA 2026
Sat 31 January - Wed 4 February 2026 Sydney, Australia
co-located with HPCA/CGO/PPoPP/CC 2026
- Attending
- Program
- Tracks
- Organization
- HPCA 2026 Committees
- Industry Track Committee
- Organization
- Program Committee
- Contributors
- People Index
- Co-hosted Conferences
- CC Compiler Construction
- CGO
- PPoPP
- Search
- Series