Veld: Verified Linux Drivers

X Chen, Z Li, J Zhang, A Burtsev - Proceedings of the 2nd Workshop on …, 2024 - dl.acm.org
Device drivers and kernel extensions have long been considered one of the main sources of
defects in the kernel. In the past, complexity of driver execution environment and their …

Circular metagenome-assembled genome of Candidatus Patescibacteria recovered from anaerobic digestion sludge

R Sakurai, Y Fukuda, C Tada - Microbiology Resource …, 2024 - journals.asm.org
ABSTRACT A single-contig, circular metagenome-assembled genome (cMAG) of
Candidatus (Ca.) Patescibacteria was reconstructed from a mesophilic full-scale food waste …

Circular metagenome-assembled genome of Candidatus Cloacimonadota recovered from anaerobic digestion sludge

R Sakurai, Y Fukuda, C Tada - Microbiology Resource …, 2024 - journals.asm.org
Circular metagenome-assembled genome of Candidatus Cloacimonadota recovered from
anaerobic digestion sludge | Microbiology Resource Announcements CLOSE This Journal …

[PDF][PDF] Efeu: generating efficient, verified, hybrid hardware/software drivers for I 2 C devices

D Schwyn, Z Liu, T Roscoe - 2025 - zikailiu.com
Writing device drivers is notoriously hard, and driver bugs are a major cause of system
failures and vulnerabilities. The problem is particularly acute in bus-based protocols like I2C …

[PDF][PDF] Correct-by-Construction Implementation of Typecheckers

K Cias - 2024 - repository.tudelft.nl
Typecheckers help avoid bugs in code by catching errors early. Their implementation can,
however, be incorrect, leading to inconsistencies in their operation. This research explores …