Registered user since Mon 31 Jan 2022
Name:Kunjian Song
Affiliation:The University of Manchester
Research interests:Formal verification
Contributions
ICSE 2022-profile
View general profile
View general profile
- Tracks
- ICSE 2022
- All plenary events
- Keynotes
- Awards
- Sponsors
- Community
- Technical Track
- Artifact Evaluation
- DEMO - Demonstrations
- NIER - New Ideas and Emerging Results
- SEET - Software Engineering Education and Training
- SEIP - Software Engineering in Practice
- SEIS - Software Engineering in Society
- Journal-First Papers
- SRC - ACM Student Research Competition
- DS - Doctoral Symposium
- NFS - New Faculty Symposium
- SMeW - Student Mentoring Workshop
- Posters
- Birds of a Feather
- Workshops
- Student Volunteers
- Open Science Policies
- Submitting to ICSE2022: Q&A
- Social
- Program
- Organization
- ICSE 2022 Committees
- Organizing Committee
- Track Committees
- Technical Track
- Artifact Evaluation
- DEMO - Demonstrations
- NIER - New Ideas and Emerging Results
- SEET - Software Engineering Education and Training
- SEIP - Software Engineering in Practice
- SEIS - Software Engineering in Society
- Journal-First Papers
- SRC - ACM Student Research Competition
- DS - Doctoral Symposium
- NFS - New Faculty Symposium
- SMeW - Student Mentoring Workshop
- Posters
- Workshops
- Open Science Policies
- Contributors
- People Index
- Attending
- Sponsors and Supporters
- Search
- Series