Seokhun Jeong -

Registered user since Thu 23 Apr 2026

Name:Seokhun Jeong

Country:South Korea

Affiliation:KAIST

GitHub: https://github.com/KunJeong

Research interests:Specification Languages

Contributions

2026

ESEC/FSE

Author of Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System within the Research Papers-track

PLDI

Organizer of Mechanized Specifications for Real-World Programming Languages within the Tutorials-track

2025

HATRA

Author of P4-SpecTec: A Language Mechanization Framework for P4 within the HATRA 2025-track