21 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…
Blake Bordelon, Cengiz Pehlevan
The brain can learn from a limited number of experiences, an ability which requires suitable built in assumptions about the nature of the tasks which must be learned, or inductive biases. While inductive biases are central components of intelligence, how they are reflected in and shaped by population codes are not…
James C Knight, Thomas Nowotny
Large-scale simulations of spiking neural network models are an important tool for improving our understanding of the dynamics and ultimately the function of brains. However, even small mammals such as mice have on the order of 1 × 10^12^ synaptic connections which, in simulations, are each typically charaterized by at…
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…
Derrick Blakely, Eamon Collins, Ritambhara Singh, Yanjun Qi
Gapped k-mer kernels with Support Vector Machines (gkm-SVMs) have achieved strong predictive performance on regulatory DNA sequences on modestly-sized training sets. However, existing gkm-SVM algorithms suffer from slow kernel computation time, as they depend exponentially on the sub-sequence feature-length, number of…
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…
Pratyaydipta Rudra, Ryan Baxter, Elena WY Hsieh, Debashis Ghosh
Cell type abundance data arising from mass cytometry experiments are compositional in nature. Classical association tests do not apply to the compositional data due to their non-Euclidean nature. Existing methods for analysis of cell type abundance data suffer from several limitations for high-dimensional mass…
Ping Yang, E. Adrian Henle, Xiaoli Fern, Cory M. Simon
Pesticides benefit agriculture by increasing crop yield, quality, and security. However, pesticides may inadvertently harm bees, which are agriculturally and ecologically vital as pollinators. The development of new pesticides---driven by pest resistance to and demands to reduce negative environmental impacts of…
Madushanka Manathunga, Hasan Metin Aktulga, Andreas W. Goetz, Kenneth M. Merz + 1 more
We have ported and optimized the GPU accelerated QUICK and AMBER based ab initio QM/MM implementation on AMD GPUs. This encompasses the entire Fock matrix build and force calculation in QUICK including one-electron integrals, two-electron repulsion integrals, exchange-correlation quadrature, and linear algebra…
Ping Yang, E. Adrian Henle, Xiaoli Fern, Cory M. Simon
Pesticides benefit agriculture by increasing crop yield, quality, and security. However, pesticides may inadvertently harm bees, which are agriculturally and ecologically vital as pollinators. The development of new pesticides---driven by pest resistance to and demands to reduce negative environmental impacts of…
Yang Hu, Zhiwu Zhang
Grain characteristics, including kernel length, kernel width, and thousand kernel weight, are critical component traits for grain yield. Manual measurements and counting are expensive, forming the bottleneck for dissecting the genetic architecture of these traits toward ultimate yield improvement. High-throughput…
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…
Karim G. Habashy, Benjamin D. Evans, Dan F. M. Goodman, Jeffrey S. Bowers
The genomic mechanisms that efficiently encode the initial architecture and synaptic connectivity of neural circuits remain poorly understood. We hypothesise that two primary mechanisms — spatial encoding and factorisation — enable a limited genome to initialise networks of billions of neurons. Spatial encoding, a form…
Joseph Redshaw, Darren Ting, Alex Brown, Jonathan Hirst + 1 more
Antimicrobial peptides (AMPs) represent a potential solution to the growing problem of antimicrobial resistance, yet their identification through wet-lab experiments is a costly and timeconsuming process. Accurate computational predictions would allow rapid in silico screening of candidate AMPs, thereby accelerating…
Zeyu Deng, Tara P. Mishra, Weihang Xie, Daanyal Ahmed Saeed + 2 more
Understanding ion transport in functional materials is crucial to unravel complex chemical reactions, improve rate per- formance of materials for energy storage and conversion, and optimize catalysts. To model ionic transport, atomistic simulations, including molecular dynamics (MD) and kinetic Monte Carlo (kMC) have…