Registered user since Thu 2 Jul 2015
Name:Justin Hsu
Country:United States
Affiliation:Cornell University
Personal website: https://www.justinhsu.net
Research interests:Formal Verification, Programming Languages
Contributions
Using general profile
- Attending
- Track/Call
- Organization
- POPL 2027 Committees
- Organizing Committee
- AV Committee
- Student Volunteers
- Track Committees
- Program Committee
- Contributors
- People Index
- Search
- Series