Linux Plumbers Conference 2026

Details for Yunseong Kim

Title: Mr

Affiliation: Ericsson Software Technology

Author in the following contribution

• Beyond Coverage: Per-Task Function Boundary Extraction for Kernel Contract Verification