Registered user since Thu 29 Oct 2020
Name:Qianshan Yu
Affiliation:Tsinghua University
Research interests:software verification, regression verification, program analysis
Contributions
SPLASH 2020-profile
View general profile
View general profile
- Attending
- Program
- Tracks
- Organization
- DLS 2020 Committees
- Track Committees
- Program Committee
- Steering Committee
- Contributors
- People Index
- Search
- Series