SPLASH/ISSTA 2026 (series) / Xu Lu
Registered user since Mon 29 Sep 2025
Name:Xu Lu
Country:China
Affiliation:Xidian University
Research interests:Formal methods, Program Verification, AI4SE
Contributions
Using general profile
SPLASH/ISSTA 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
- Attending
- Tracks
- Organization
- SPLASH/ISSTA 2026 Committees
- Organizing Committee
- Track Committees
- Doctoral symposium
- PLMW @ SPLASH/ISSTA'26
- Posters
- Social Events
- Student Research Competition
- Student Volunteers
- Summer School
- Tool Demonstrations
- REBASE industry track
- Workshops
- Sponsorship
- Contributors
- People Index
- Search
- Series