Concept
Tableau synoptique des systèmes d'exploitation
Publications associées (110)
ACTOR: Action-Guided Kernel Fuzzing
Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...
Berkeley2023Dynamic Linkers Are the Narrow Waist of Operating Systems
Adrien Ghosn, Charly Nicolas Lucien Castes
While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...
Association for Computing Machinery2023Supplementary datasets for the manuscript "Generative machine learning produces kinetic models that accurately characterize intracellular metabolic states" - Part 3
Vassily Hatzimanikatis, Ljubisa Miskovic, Michaël Roger Germain Moret
Supplementary files containing datasets needed to reproduce the results of the manuscript "Generative machine learning produces kinetic models that accurately characterize intracellular metabolic states" by S. Choudhury et al (https://doi.org/10.1101/2023. ...
EPFL Infoscience2023Sustainable Construction in Humanitarian. Action Criteria for humanitarian building sustainability
Sergi Aguacil Moreno, Guillaume Habert, Sebastian Duque Mahecha, André Ullal
Humanitarian organisations have an interest in improving the sustainability of buildings that support the assistance provided to people affected by conflict and disaster. Yet, usual means of assessing building sustainability - e.g., labels such as LEED and ...
2022NrOS: Effective Replication and Sharing in an Operating System
Sanidhya Kashyap, Ankit Bhardwaj
Writing a correct operating system kernel is notoriously hard. Kernel code requires manual memory management and type-unsafe code and must efficiently handle complex, asynchronous events. In addition, increasing CPU core counts further complicate kernel de ...
USENIX ASSOC2021Towards bootstrapping RG flows: sine-Gordon in AdS
The boundary correlation functions for a Quantum Field Theory (QFT) in an Anti-de Sitter (AdS) background can stay conformally covariant even if the bulk theory undergoes a renormalization group (RG) flow. Studying such correlation functions with the numer ...
SPRINGER2021Dissipative-coupling-assisted laser cooling: Limitations and perspectives
The recently identified possibility of ground-state cooling of a mechanical oscillator in the unresolved sideband regime by combination of the dissipative and dispersive optomechanical coupling under the red sideband excitation [Phys. Rev. A 88, 023850 (20 ...
AMER PHYSICAL SOC2020