Registered user since Wed 26 Feb 2020
Name:Yixuan Chen
Country:United States
Affiliation:Fudan University
Personal website: https://me.xlk.me
Research interests:Formal Verification
Contributions
Using general profile
ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
- Attending
- Sponsorship
- Program
- Tracks
- ICSE 2024
- ICSE Keynotes
- Research Track
- Social Events
- Workshops
- New Ideas and Emerging Results
- Artifact Evaluation
- Industry Challenge Track
- Demonstrations
- Software Engineering Education and Training
- Software Engineering in Practice
- Software Engineering in Society
- Doctoral Symposium
- Posters
- Journal-first Papers
- SMeW - Student Mentoring Workshop
- New Faculty Symposium
- SRC - ACM Student Research Competition
- Technical Briefings
- Student Volunteers
- Submitting to ICSE2024: Q&A
- Organization
- ICSE 2024 Committees
- Organising Committee
- Track Committees
- Research Track
- Workshops
- New Ideas and Emerging Results
- Artifact Evaluation
- Industry Challenge Track
- Demonstrations
- Software Engineering Education and Training
- Software Engineering in Practice
- Software Engineering in Society
- Doctoral Symposium
- Posters
- Journal-first Papers
- SMeW - Student Mentoring Workshop
- New Faculty Symposium
- SRC - ACM Student Research Competition
- Technical Briefings
- Student Volunteers
- Contributors
- People Index
- Search
- Series