Registered user since Thu 23 Apr 2026
Name:Seokhun Jeong
Country:Republic of Korea
Affiliation:KAIST
GitHub: https://github.com/KunJeong
Research interests:Specification Languages
Contributions
Using general profile
ASE 2026
Mon 12 - Fri 16 October 2026 Munich, Germany
- Attending
- Conference Venue: Holiday Inn Munich – City Center
- Conference Dinner: Augustiner Keller
- Conference Reception: Holiday Inn Munich – City Center
- Accommodation
- Directions
- Visa Support Letters
- Code of Conduct
- Equity, Diversity, and Inclusion Plan for ASE 2026
- Accessibility of Venue/Floor Plan
- Travel Support
- Registration
- Program Overview
- Supporter Info
- Program
- Tracks
- ASE 2026
- Not-in-Person Presentations
- Related SE events in Munich in October
- Organization
- Submission Instructions and Policies
- Research Papers
- Industry Showcase
- Artifact Evaluation
- Doctoral Symposium
- Journal First
- Keynotes
- Awards
- NIER
- New-Faculty Symposium
- Posters
- Student Research Competition
- Student Volunteers
- Tools and Datasets
- Co-Located Events
- Quiet Room
- 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