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 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
- Attending
- Tracks
- SPLASH 2026
- OOPSLA
- Onward! Essays
- Onward! Papers
- Onward! Steering Committee
- SIGPLAN track
- SPLASH Keynotes
- SPLASH/OOPSLA @ 40 Panel
- SPLASH-E
- Artifact evaluation
- SPLASH/ISSTA 2026
- Doctoral symposium
- PLMW @ SPLASH/ISSTA'26
- Posters
- Social Events
- Student Research Competition
- Student Volunteers
- Summer School
- Tool Demonstrations
- REBASE industry track
- Workshops
- Sponsorship
- Organization
- SPLASH 2026 Committees
- Track Committees
- OOPSLA
- Onward! Essays
- Onward! Papers
- Onward! Steering Committee
- SIGPLAN track
- SPLASH/OOPSLA @ 40 Panel
- SPLASH-E
- Artifact evaluation
- SPLASH/ISSTA
- 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
- Series
- SPLASH 2027
- SPLASH 2026
- SPLASH 2025
- SPLASH 2024
- SPLASH 2023
- SPLASH 2022
- SPLASH 2021
- SPLASH 2020
- SPLASH 2019
- SPLASH 2018
- SPLASH 2017
- SPLASH 2016
- SPLASH 2015
- SPLASH 2014
- SPLASH 2013
- SPLASH 2012
- SPLASH 2011
- SPLASH 2010
- OOPSLA 2009
- OOPSLA 2008
- OOPSLA 2007
- OOPSLA 2006
- OOPSLA 2005
- OOPSLA 2004
- OOPSLA 2003
- OOPSLA 2002
- OOPSLA 2001
- OOPSLA 2000