eBPF는 개발자가 커스텀 패킷 처리(packet processing), 트레이싱(tracing), 스케줄링 로직을 통해 Linux를 확장할 수 있게 해주며, 검증기(verifier)는 실행 전에 코드가 커널을 충돌시키지 않을 것임을 증명합니다. 그러나 프로그래밍 모델이 파편화되어 있습니다. 단일 애플리케이션이 커널 코드, 유저스페이스 로더(userspace loader), 공유 맵(shared maps)에 걸쳐 존재하지만, 이러한 구성 요소들 사이의 관계는 확인되지 않은 채로 남습니다. 예를 들어, 각 측면에서 서로 다르게 정의된 맵(map)이나 이벤트 타입(event type)은 공유 상태(shared state)를 조용히 손상시킵니다. 우리는 이러한 경계 간(cross-boundary) 관계가 타입 시스템(type system)을 통해 통합될 수 있는 정보를 중복하고 있다는 점을 관찰했습니다. 우리는 맵, 프로그램 핸들(program handles), 실행 도메인(execution domains)을 하나의 소스에서 타입 지정하고, 기존 툴체인을 통해 표준 C로 컴파일하는 DSL인 KernelScript를 제시합니다. 우리는 XDP, TC, kprobe, tracepoint, struct_ops를 아우르는 43개의 eBPF 워크로드에 대해 KernelScript를 평가합니다. KernelScript는 표준 C/libbpf가 여전히 빌드하고 로드할 수 있는 경계 간 버그를 컴파일 타임에 거부하며, 통합된 소스는 경계 간 변경 사항에 대한 diff를 5배 줄여주고, 생성된 코드는 기존 툴체인과 호환성을 유지합니다.