10 papers · ranked by Valyu relevance
Gunnar Kudrjavets, Jeff Thomas, Nachiappan Nagappan, Ayushi Rastogi
—Code churn and code velocity describe the evolution of a code base. Current research quantifies and studies code churn and velocity at a high level of abstraction, often at the overall project level or even at the level of an entire company. We argue that such an approach ignores noticeable differences among the…
JungWoo Park, Minju Kang, Seungho Jeon, Seong Oun Hwang + 4 more
Fault localization (FL) is the task of identifying code locations responsible for bugs in software, and it is a prerequisite step in the bug-fixing process. FL in large-scale systems such as the Linux kernel involves three core challenges: First, the vast codebase fundamentally complicates fault search. Second, the…
Hsuan-Chi Kuo, Akshith Gunasekaran, Yeongjin Jang, Sibin Mohan + 3 more
'Rakesh B. Bobba' 'David Lie' 'Jesse Walker'] We present, MULTIK, a Linux-based framework 1 that reduces the attack surface for operating system kernels by reducing code bloat. MULTIK "orchestrates" multiple kernels that are specialized for individual applications in a transparent manner. This framework is flexible to…
Zi Wang, Xiaoyu Zhu, Hongqiang Wang, Yichun Yu + 2 more
Formal verification ensures software correctness but faces challenges in kernel specification writing, which is labor-intensive, expertise-dependent, and limited to specific targets. For complex microkernels like seL4, these issues significantly reduce the practicality of formal methods. To address this, we propose…
Richard Uhrie, Chaitali Chakrabarti, John Brunhaver
—Modern program runtime is dominated by segments of repeating code called kernels. Kernels are accelerated by increasing memory locality, increasing data-parallelism, and exploiting producer-consumer parallelism among kernels - which requires hardware specialized for a particular class of kernels. Programming this…
Zhi Zhang, Yueqiang Cheng, Surya Nepal, Dongxi Liu + 2 more
'Qingni Shen' 'Fethi Rabhi'] Abstract. Commodity OS kernels have broad attack surfaces due to the large code base and the numerous features such as device drivers. For a real-world use case (e.g., an Apache Server), many kernel services are unused and only a small amount of kernel code is used. Within the used code, a…
Ioana Culic, Alexandru Vochescu, Alexandru Radovici, Ovidiu P. Stan + 3 more
'Sanislav Teodora' 'Dan Gota' 'Nikos Fotiou'] Critical systems such as drone control or power grid control applications rely on embedded devices capable of a real-time response. While much research and advancements have been made to implement low-latency and real-time characteristics, the security aspect has been left…
Rajpreet Singh
As intelligent systems permeate edge devices, cloud infrastructure, and embedded real-time environments, this research proposes a new OS kernel architecture for intelligent systems, transforming kernels from static resource managers to adaptive, AI-integrated platforms. Key contributions include: (1) treating Loadable…
Mohamed S. Farag
Traditional monolithic kernels dominated kernel structures for long time along with small sized kernels, few hardware companies and limited kernel functionalities. Monolithic kernel structure was not applicable when the number of hardware companies increa sed and kernel services consumed by different users for many…
Muhammad Omer Farooq, Thomas Kunz
This paper presents a survey on the current state-of-the-art in Wireless Sensor Network (WSN) Operating Systems (OSs). In recent years, WSNs have received tremendous attention in the research community, with applications in battlefields, industrial process monitoring, home automation, and environmental monitoring, to…