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
- ECOOP 2020 Committees
- Organizing Committee
- Track Committees
- Research Papers
- Artifacts
- Student Volunteers
- Doctoral Symposium
- Posters
- Contributors
- People Index
- Search
- Series