Registered user since Tue 13 Aug 2024
Name:Yiming Shen
Country:China
Affiliation:Sun Yat-sen University
Research interests:Smart Contract, Program Analysis, LLM
Contributions
Using general profile
- Attending
- Venue: Rogers Centre, Ottawa (formerly Shaw Centre)
- Venue: Offsite Special Venue
- Reception venue: National Arts Centre
- ICSE 2025
- Registration
- Food at ICSE2025
- Fun Activities
- Social media
- Hotels
- Getting Around Ottawa
- Visa and Travel Authorization
- Travelling to Ottawa
- Travel Support
- Code of Conduct
- Equity, Diversity, and Inclusion Plan
- Sustainability
- FAQ
- Program
- Tracks
- FormaliSE 2025
- Research Track
- Artifact Track
- Organization
- FormaliSE 2025 Committees
- Track Committees
- Research Track Organization Committee
- Research Track Program Committee
- Artifact Track
- Contributors
- People Index
- Search
- Series