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
ASE 2026
Mon 12 - Fri 16 October 2026 Munich, Germany
- Attending
- Sponsorship
- Tracks
- Workshops
- AgenticDev Agentic AI for Software Development
- AISM AI in Software Modernization
- APR Automated Program Repair
- ASYDE Automated & Verifiable Development
- ATIQSER Automated Techniques in SE Research
- CONFLANG Configuration Languages
- CPAchecker
- Harness4GenUI Everything Evolves, Something Endures: The 1st Workshop on Harness Engineering for Generative UI
- JAWs 2 Journal Ahead Workshop
- KLEE Symbolic Execution
- LiveWrite Writing Workshop
- MAS-GAIN Multi-agent GenAI for ASE
- POVC PromptOps & Vibe Coding
- RASE Reliable and trustworthy Automated Software Engineering
- RSSR Resilient Systems
- SECUTE Software Security Testing
- SWGeno Software Genomics
- TRUST Trustworthy & Responsible Autonomous Systems
- Organization
- Workshops
- AgenticDev Agentic AI for Software Development
- AISM AI in Software Modernization
- APR Automated Program Repair
- ASYDE Automated & Verifiable Development
- ATIQSER Automated Techniques in SE Research
- CONFLANG Configuration Languages
- CPAchecker
- Harness4GenUI
- JAWs 2 Journal Ahead Workshop
- KLEE Symbolic Execution
- LiveWrite Writing Workshop
- MAS-GAIN Multi-agent GenAI for ASE
- POVC PromptOps & Vibe Coding
- RASE Reliable and trustworthy Automated Software Engineering
- RSSR Resilient Systems
- SECUTE Software Security Testing
- SWGeno Software Genomics
- TRUST Trustworthy & Responsible Autonomous Systems
- Search
- Series