- Concurrency Testing in the Linux Kernel via eBPF
2025/04/30 by Jiacheng Xu, Dylan Wolff, Xu, Jiacheng +8 · 2 voices · 1 citation
Computer Science · #Concurrency #Interleaving #Kernel (algebra) #Linux kernel #Multiversion concurrency control #Non-lock concurrency control #Parallel Computing and Optimization Techniques #Real-Time Systems Scheduling #Scheduling (production processes) #Security and Verification in Computing #Thread (computing) #User space #cs.OS
- Fallout: Reading Kernel Writes From User Space
2019/05/29 by Marina Minkin, Daniel Moghimi, Minkin, Marina +17 · 1 voice · 2 citations
Computer Science · Mathematics · #Advanced Malware Detection Techniques #Combinatorics #Computer science #Distributed systems and fault tolerance #Kernel (algebra) #Linguistics #Mathematics #Operating system #Philosophy #Reading (process) #Security and Verification in Computing #Space (punctuation) #User space #cs.AR #cs.CR