Kotlin-MP: DSL and IR Transformer for Parallelism

This collection contains multiple systems- and PL-focused papers with clear security and integrity implications. Key points: (1) eBPF verifier diagnostics are highly ambiguous—47% of rejections return only EINVAL and single error strings map to many root causes—making repair hard; bpfix reconstructs where the verifier proof is lost and substantially improves LLM-assisted repairs (defensive tool that could also aid attackers seeking to craft accepted eBPF programs). (2) Kaizen shows that LLM-based code translation (e.g., CUDA→OpenMP) often preserves compilation but introduces semantic errors; a