KC: Auditing LLM-Assisted Linux Kernel Configuration with Workload Evidence

This record provides the replication package accompanying the manuscript “IKC: Auditing LLM-Assisted Linux Kernel Configuration with Workload Evidence.” The package contains the source code, workload-evidence processing scripts, LLM-assisted configuration workflow, generated and realized kernel configurations, benchmark scripts, raw per-run measurements, boot-time .config files, kernel identity records, environment snapshots, security-policy records, prompts, and analysis code used in the study. These artifacts support traceability from workload-derived evidence and generated configuration proposals to deterministic Kconfig realization, booted-state verification, empirical performance measurements, and policy-compliance assessment. The archived package is provided as a fixed, version-specific record to support reproducibility and independent inspection.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-01
DOI
https://doi.org/10.5281/zenodo.22220189
Primary Topic
Security and Verification in Computing
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

KC: Auditing LLM-Assisted Linux Kernel Configuration with Workload Evidence

Ke Liang, Konglin Zhu, Yanfeng Fan, Wenbin Yu et al.
Zenodo (CERN European Organization for Nuclear Research)
Security and Verification in Computing
article

KC: Auditing LLM-Assisted Linux Kernel Configuration with Workload Evidence

Ke Liang, Konglin Zhu, Yanfeng Fan, Wenbin Yu, Hanmiao Cheng, Jiahui Tian, Yadang Chen, Ran Li
article en

Abstract

This record provides the replication package accompanying the manuscript “IKC: Auditing LLM-Assisted Linux Kernel Configuration with Workload Evidence.” The package contains the source code, workload-evidence processing scripts, LLM-assisted configuration workflow, generated and realized kernel configurations, benchmark scripts, raw per-run measurements, boot-time .config files, kernel identity records, environment snapshots, security-policy records, prompts, and analysis code used in the study. These artifacts support traceability from workload-derived evidence and generated configuration proposals to deterministic Kconfig realization, booted-state verification, empirical performance measurements, and policy-compliance assessment. The archived package is provided as a fixed, version-specific record to support reproducibility and independent inspection.

Zenodo (CERN European Organization for Nuclear Research)
State Grid Corporation of China (China) (CN), Nanjing University of Information Science and Technology (CN), Shanghai Electric (China) (CN), Wuxi Institute of Technology (CN), Michigan State University (US)
National Natural Science Foundation of China, Natural Science Foundation of Jiangsu Province
Gender equality
Openalex Percentile: Top 9%
Security and Verification in Computing
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.