1.73K subscribers
15.5K photos
10 videos
16 files
8.38K links
ArXiv Papers Related to Computer Science, AI, Deep Learning, Computer Vision, NLP, etc

Admins:
@ffarzaddh
Download Telegram
Latest Published Articles:
Operating Systems
#OperatingSystems


πŸ—’ Blocking time under basic priority inheritance: Polynomial bound and exact computation
πŸ‘₯ Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
πŸ“— PDF


πŸ—’ Minimizing Event-Handling Latencies in Secure Virtual Machines
πŸ‘₯ Janis Danisevskis, Michael Peter, Jan Nordholz
πŸ“— PDF


πŸ—’ Datacenter RPCs can be General and Fast
πŸ‘₯ Anuj Kalia, Michael Kaminsky, David G. Andersen
πŸ“— PDF


πŸ—’ An Operating System Level Data Migration Scheme in Hybrid DRAM-NVM Memory Architecture
πŸ‘₯ Reza Salkhordeh, Hossein Asadi
πŸ“— PDF


πŸ—’ Mosaic: An Application-Transparent Hardware-Software Cooperative Memory Manager for GPUs
πŸ‘₯ Rachata Ausavarungnirun, Joshua Landgraf, Vance Miller, Saugata Ghose, Jayneel Gandhi, Christopher J. Rossbach, Onur Mutlu
πŸ“— PDF


πŸ—’ iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
πŸ‘₯ Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu
πŸ“— PDF


πŸ—’ Reactive NaN Repair for Applying Approximate Memory to Numerical Applications
πŸ‘₯ Shinsuke Hamada, Soramichi Akiyama, Mitaro Namiki
πŸ“— PDF


πŸ—’ The Secure Machine: Efficient Secure Execution On Untrusted Platforms
πŸ‘₯ Ofir Shwartz, Yitzhak Birk
πŸ“— PDF


πŸ—’ Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems
πŸ‘₯ Jian-Jia Chen, Georg von der BrΓΌggen, Niklas Ueter
πŸ“— PDF


πŸ—’ A Reliable and Practical Approach to Kernel Attack Surface Reduction of Commodity OS
πŸ‘₯ Zhi Zhang, Yueqiang Cheng, Surya Nepal, Dongxi Liu, Qingni Shen, Fethi Rabhi
πŸ“— PDF


πŸ—’ End-to-end Analysis and Design of a Drone Flight Controller
πŸ‘₯ Zhuoqun Cheng, Richard West, Craig Einstein
πŸ“— PDF


πŸ—’ Realizing Uncertainty-Aware Timing Stack in Embedded Operating System
πŸ‘₯ Amr Alanwar, Fatima M. Anwar, Joao P Hespanha, Mani Srivastava
πŸ“— PDF


πŸ—’ Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores
πŸ‘₯ Diego Didona, Willy Zwaenepoel
πŸ“— PDF


πŸ—’ Representation Learning for Resource Usage Prediction
πŸ‘₯ Florian Schmidt, Mathias Niepert, Felipe Huici
πŸ“— PDF


πŸ—’ Virtual Breakpoints for x86/64
πŸ‘₯ Gregory Michael Price
πŸ“— PDF


#OperatingSystems
AI Python & arXiv Channel
Latest Published Articles:
Operating Systems
#OperatingSystems


πŸ—’ LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
πŸ‘₯ Julian Stecklina, Thomas Prescher
πŸ“— PDF


πŸ—’ Blocking time under basic priority inheritance: Polynomial bound and exact computation
πŸ‘₯ Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
πŸ“— PDF


πŸ—’ Minimizing Event-Handling Latencies in Secure Virtual Machines
πŸ‘₯ Janis Danisevskis, Michael Peter, Jan Nordholz
πŸ“— PDF


πŸ—’ Datacenter RPCs can be General and Fast
πŸ‘₯ Anuj Kalia, Michael Kaminsky, David G. Andersen
πŸ“— PDF


πŸ—’ An Operating System Level Data Migration Scheme in Hybrid DRAM-NVM Memory Architecture
πŸ‘₯ Reza Salkhordeh, Hossein Asadi
πŸ“— PDF


πŸ—’ Mosaic: An Application-Transparent Hardware-Software Cooperative Memory Manager for GPUs
πŸ‘₯ Rachata Ausavarungnirun, Joshua Landgraf, Vance Miller, Saugata Ghose, Jayneel Gandhi, Christopher J. Rossbach, Onur Mutlu
πŸ“— PDF


πŸ—’ iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
πŸ‘₯ Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu
πŸ“— PDF


πŸ—’ Reactive NaN Repair for Applying Approximate Memory to Numerical Applications
πŸ‘₯ Shinsuke Hamada, Soramichi Akiyama, Mitaro Namiki
πŸ“— PDF


πŸ—’ The Secure Machine: Efficient Secure Execution On Untrusted Platforms
πŸ‘₯ Ofir Shwartz, Yitzhak Birk
πŸ“— PDF


πŸ—’ Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems
πŸ‘₯ Jian-Jia Chen, Georg von der BrΓΌggen, Niklas Ueter
πŸ“— PDF


πŸ—’ A Reliable and Practical Approach to Kernel Attack Surface Reduction of Commodity OS
πŸ‘₯ Zhi Zhang, Yueqiang Cheng, Surya Nepal, Dongxi Liu, Qingni Shen, Fethi Rabhi
πŸ“— PDF


πŸ—’ End-to-end Analysis and Design of a Drone Flight Controller
πŸ‘₯ Zhuoqun Cheng, Richard West, Craig Einstein
πŸ“— PDF


πŸ—’ Realizing Uncertainty-Aware Timing Stack in Embedded Operating System
πŸ‘₯ Amr Alanwar, Fatima M. Anwar, Joao P Hespanha, Mani Srivastava
πŸ“— PDF


πŸ—’ Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores
πŸ‘₯ Diego Didona, Willy Zwaenepoel
πŸ“— PDF


πŸ—’ Representation Learning for Resource Usage Prediction
πŸ‘₯ Florian Schmidt, Mathias Niepert, Felipe Huici
πŸ“— PDF


#OperatingSystems
AI Python & arXiv Channel
5 of Latest Published Articles:
Operating Systems
#OperatingSystems


πŸ—’ LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
πŸ‘₯ Julian Stecklina, Thomas Prescher
πŸ“— PDF


πŸ—’ Blocking time under basic priority inheritance: Polynomial bound and exact computation
πŸ‘₯ Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
πŸ“— PDF


πŸ—’ Minimizing Event-Handling Latencies in Secure Virtual Machines
πŸ‘₯ Janis Danisevskis, Michael Peter, Jan Nordholz
πŸ“— PDF


πŸ—’ Datacenter RPCs can be General and Fast
πŸ‘₯ Anuj Kalia, Michael Kaminsky, David G. Andersen
πŸ“— PDF


πŸ—’ An Operating System Level Data Migration Scheme in Hybrid DRAM-NVM Memory Architecture
πŸ‘₯ Reza Salkhordeh, Hossein Asadi
πŸ“— PDF


#OperatingSystems
AI Python & arXiv Channel
5 of Latest Published Articles:
Operating Systems
#OperatingSystems


πŸ—’ Integrating Proactive Mode Changes in Mixed Criticality Systems
πŸ‘₯ Flavio R Massaro Jr., Paulo S. Martins, Edson L. Ursini
πŸ“— PDF


πŸ—’ LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
πŸ‘₯ Julian Stecklina, Thomas Prescher
πŸ“— PDF


πŸ—’ Blocking time under basic priority inheritance: Polynomial bound and exact computation
πŸ‘₯ Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
πŸ“— PDF


πŸ—’ Minimizing Event-Handling Latencies in Secure Virtual Machines
πŸ‘₯ Janis Danisevskis, Michael Peter, Jan Nordholz
πŸ“— PDF


πŸ—’ Datacenter RPCs can be General and Fast
πŸ‘₯ Anuj Kalia, Michael Kaminsky, David G. Andersen
πŸ“— PDF


#OperatingSystems
AI Python & arXiv Channel
To access articles related to a category, touch the HashTag:

πŸ“— Artificial Intelligence
πŸ‘‰ #ArtificialIntelligence πŸ‘ˆ

πŸ“— Hardware Architecture
πŸ‘‰ #HardwareArchitecture πŸ‘ˆ

πŸ“— Computational Complexity
πŸ‘‰ #ComputationalComplexity πŸ‘ˆ

πŸ“— Computational Engineering, Finance, and Science
πŸ‘‰ #ComputationalEngineeringFinanceandScience πŸ‘ˆ

πŸ“— Computational Geometry
πŸ‘‰ #ComputationalGeometry πŸ‘ˆ

πŸ“— Computation and Language
πŸ‘‰ #ComputationandLanguage πŸ‘ˆ

πŸ“— Cryptography and Security
πŸ‘‰ #CryptographyandSecurity πŸ‘ˆ

πŸ“— Computer Vision and Pattern Recognition
πŸ‘‰ #ComputerVisionandPatternRecognition πŸ‘ˆ

πŸ“— Computers and Society
πŸ‘‰ #ComputersandSociety πŸ‘ˆ

πŸ“— Databases
πŸ‘‰ #Databases πŸ‘ˆ

πŸ“— Distributed, Parallel, and Cluster Computing
πŸ‘‰ #DistributedParallelandClusterComputing πŸ‘ˆ

πŸ“— Digital Libraries
πŸ‘‰ #DigitalLibraries πŸ‘ˆ

πŸ“— Discrete Mathematics
πŸ‘‰ #DiscreteMathematics πŸ‘ˆ

πŸ“— Data Structures and Algorithms
πŸ‘‰ #DataStructuresandAlgorithms πŸ‘ˆ

πŸ“— Emerging Technologies
πŸ‘‰ #EmergingTechnologies πŸ‘ˆ

πŸ“— Formal Languages and Automata Theory
πŸ‘‰ #FormalLanguagesandAutomataTheory πŸ‘ˆ

πŸ“— General Literature
πŸ‘‰ #GeneralLiterature πŸ‘ˆ

πŸ“— Graphics
πŸ‘‰ #Graphics πŸ‘ˆ

πŸ“— Computer Science and Game Theory
πŸ‘‰ #ComputerScienceandGameTheory πŸ‘ˆ

πŸ“— Human-Computer Interaction
πŸ‘‰ #Human-ComputerInteraction πŸ‘ˆ

πŸ“— Information Retrieval
πŸ‘‰ #InformationRetrieval πŸ‘ˆ

πŸ“— Information Theory
πŸ‘‰ #InformationTheory πŸ‘ˆ

πŸ“— Learning
πŸ‘‰ #Learning πŸ‘ˆ

πŸ“— Logic in Computer Science
πŸ‘‰ #LogicinComputerScience πŸ‘ˆ

πŸ“— Multiagent Systems
πŸ‘‰ #MultiagentSystems πŸ‘ˆ

πŸ“— Multimedia
πŸ‘‰ #Multimedia πŸ‘ˆ

πŸ“— Mathematical Software
πŸ‘‰ #MathematicalSoftware πŸ‘ˆ

πŸ“— Numerical Analysis
πŸ‘‰ #NumericalAnalysis πŸ‘ˆ

πŸ“— Neural and Evolutionary Computing
πŸ‘‰ #NeuralandEvolutionaryComputing πŸ‘ˆ

πŸ“— Networking and Internet Architecture
πŸ‘‰ #NetworkingandInternetArchitecture πŸ‘ˆ

πŸ“— Other Computer Science
πŸ‘‰ #OtherComputerScience πŸ‘ˆ

πŸ“— Operating Systems
πŸ‘‰ #OperatingSystems πŸ‘ˆ

πŸ“— Performance
πŸ‘‰ #Performance πŸ‘ˆ

πŸ“— Programming Languages
πŸ‘‰ #ProgrammingLanguages πŸ‘ˆ

πŸ“— Robotics
πŸ‘‰ #Robotics πŸ‘ˆ

πŸ“— Symbolic Computation
πŸ‘‰ #SymbolicComputation πŸ‘ˆ

πŸ“— Sound
πŸ‘‰ #Sound πŸ‘ˆ

πŸ“— Software Engineering
πŸ‘‰ #SoftwareEngineering πŸ‘ˆ

πŸ“— Social and Information Networks
πŸ‘‰ #SocialandInformationNetworks πŸ‘ˆ

πŸ“— Systems and Control
πŸ‘‰ #SystemsandControl πŸ‘ˆ

♨️ arXiv Channel
5 of Latest Published Articles:
Operating Systems
#OperatingSystems


πŸ—’ Parallel Architecture Hardware and General Purpose Operating System Co-design
πŸ‘₯ Oskar Schirmer
πŸ“— PDF


πŸ—’ Integrating Proactive Mode Changes in Mixed Criticality Systems
πŸ‘₯ Flavio R Massaro Jr., Paulo S. Martins, Edson L. Ursini
πŸ“— PDF


πŸ—’ LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
πŸ‘₯ Julian Stecklina, Thomas Prescher
πŸ“— PDF


πŸ—’ Blocking time under basic priority inheritance: Polynomial bound and exact computation
πŸ‘₯ Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
πŸ“— PDF


πŸ—’ Minimizing Event-Handling Latencies in Secure Virtual Machines
πŸ‘₯ Janis Danisevskis, Michael Peter, Jan Nordholz
πŸ“— PDF


#OperatingSystems
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:

πŸ“— Artificial Intelligence
πŸ‘‰ #ArtificialIntelligence πŸ‘ˆ

πŸ“— Hardware Architecture
πŸ‘‰ #HardwareArchitecture πŸ‘ˆ

πŸ“— Computational Complexity
πŸ‘‰ #ComputationalComplexity πŸ‘ˆ

πŸ“— Computational Engineering, Finance, and Science
πŸ‘‰ #ComputationalEngineeringFinanceandScience πŸ‘ˆ

πŸ“— Computational Geometry
πŸ‘‰ #ComputationalGeometry πŸ‘ˆ

πŸ“— Computation and Language
πŸ‘‰ #ComputationandLanguage πŸ‘ˆ

πŸ“— Cryptography and Security
πŸ‘‰ #CryptographyandSecurity πŸ‘ˆ

πŸ“— Computer Vision and Pattern Recognition
πŸ‘‰ #ComputerVisionandPatternRecognition πŸ‘ˆ

πŸ“— Computers and Society
πŸ‘‰ #ComputersandSociety πŸ‘ˆ

πŸ“— Databases
πŸ‘‰ #Databases πŸ‘ˆ

πŸ“— Distributed, Parallel, and Cluster Computing
πŸ‘‰ #DistributedParallelandClusterComputing πŸ‘ˆ

πŸ“— Digital Libraries
πŸ‘‰ #DigitalLibraries πŸ‘ˆ

πŸ“— Discrete Mathematics
πŸ‘‰ #DiscreteMathematics πŸ‘ˆ

πŸ“— Data Structures and Algorithms
πŸ‘‰ #DataStructuresandAlgorithms πŸ‘ˆ

πŸ“— Emerging Technologies
πŸ‘‰ #EmergingTechnologies πŸ‘ˆ

πŸ“— Formal Languages and Automata Theory
πŸ‘‰ #FormalLanguagesandAutomataTheory πŸ‘ˆ

πŸ“— General Literature
πŸ‘‰ #GeneralLiterature πŸ‘ˆ

πŸ“— Graphics
πŸ‘‰ #Graphics πŸ‘ˆ

πŸ“— Computer Science and Game Theory
πŸ‘‰ #ComputerScienceandGameTheory πŸ‘ˆ

πŸ“— Human-Computer Interaction
πŸ‘‰ #Human-ComputerInteraction πŸ‘ˆ

πŸ“— Information Retrieval
πŸ‘‰ #InformationRetrieval πŸ‘ˆ

πŸ“— Information Theory
πŸ‘‰ #InformationTheory πŸ‘ˆ

πŸ“— Learning
πŸ‘‰ #Learning πŸ‘ˆ

πŸ“— Logic in Computer Science
πŸ‘‰ #LogicinComputerScience πŸ‘ˆ

πŸ“— Multiagent Systems
πŸ‘‰ #MultiagentSystems πŸ‘ˆ

πŸ“— Multimedia
πŸ‘‰ #Multimedia πŸ‘ˆ

πŸ“— Mathematical Software
πŸ‘‰ #MathematicalSoftware πŸ‘ˆ

πŸ“— Numerical Analysis
πŸ‘‰ #NumericalAnalysis πŸ‘ˆ

πŸ“— Neural and Evolutionary Computing
πŸ‘‰ #NeuralandEvolutionaryComputing πŸ‘ˆ

πŸ“— Networking and Internet Architecture
πŸ‘‰ #NetworkingandInternetArchitecture πŸ‘ˆ

πŸ“— Other Computer Science
πŸ‘‰ #OtherComputerScience πŸ‘ˆ

πŸ“— Operating Systems
πŸ‘‰ #OperatingSystems πŸ‘ˆ

πŸ“— Performance
πŸ‘‰ #Performance πŸ‘ˆ

πŸ“— Programming Languages
πŸ‘‰ #ProgrammingLanguages πŸ‘ˆ

πŸ“— Robotics
πŸ‘‰ #Robotics πŸ‘ˆ

πŸ“— Symbolic Computation
πŸ‘‰ #SymbolicComputation πŸ‘ˆ

πŸ“— Sound
πŸ‘‰ #Sound πŸ‘ˆ

πŸ“— Software Engineering
πŸ‘‰ #SoftwareEngineering πŸ‘ˆ

πŸ“— Social and Information Networks
πŸ‘‰ #SocialandInformationNetworks πŸ‘ˆ

πŸ“— Systems and Control
πŸ‘‰ #SystemsandControl πŸ‘ˆ

♨️ arXiv Channel
5 of Latest Published Articles:
Operating Systems
#OperatingSystems


πŸ—’ TabulaROSA: Tabular Operating System Architecture for Massively Parallel Heterogeneous Compute Engines
πŸ‘₯ Jeremy Kepner, Ron Brightwell, Alan Edelman, Vijay Gadepally, Hayden Jananthan, Michael Jones, Sam Madden, Peter Michaleas, Hamed Okhravi, Kevin Pedretti, Albert Reuther, Thomas Sterling, Mike Stonebraker
πŸ“— PDF


πŸ—’ Parallel Architecture Hardware and General Purpose Operating System Co-design
πŸ‘₯ Oskar Schirmer
πŸ“— PDF


πŸ—’ Integrating Proactive Mode Changes in Mixed Criticality Systems
πŸ‘₯ Flavio R Massaro Jr., Paulo S. Martins, Edson L. Ursini
πŸ“— PDF


πŸ—’ LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
πŸ‘₯ Julian Stecklina, Thomas Prescher
πŸ“— PDF


πŸ—’ Blocking time under basic priority inheritance: Polynomial bound and exact computation
πŸ‘₯ Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
πŸ“— PDF


#OperatingSystems
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:

πŸ“— Artificial Intelligence
πŸ‘‰ #ArtificialIntelligence πŸ‘ˆ

πŸ“— Hardware Architecture
πŸ‘‰ #HardwareArchitecture πŸ‘ˆ

πŸ“— Computational Complexity
πŸ‘‰ #ComputationalComplexity πŸ‘ˆ

πŸ“— Computational Engineering, Finance, and Science
πŸ‘‰ #ComputationalEngineeringFinanceandScience πŸ‘ˆ

πŸ“— Computational Geometry
πŸ‘‰ #ComputationalGeometry πŸ‘ˆ

πŸ“— Computation and Language
πŸ‘‰ #ComputationandLanguage πŸ‘ˆ

πŸ“— Cryptography and Security
πŸ‘‰ #CryptographyandSecurity πŸ‘ˆ

πŸ“— Computer Vision and Pattern Recognition
πŸ‘‰ #ComputerVisionandPatternRecognition πŸ‘ˆ

πŸ“— Computers and Society
πŸ‘‰ #ComputersandSociety πŸ‘ˆ

πŸ“— Databases
πŸ‘‰ #Databases πŸ‘ˆ

πŸ“— Distributed, Parallel, and Cluster Computing
πŸ‘‰ #DistributedParallelandClusterComputing πŸ‘ˆ

πŸ“— Digital Libraries
πŸ‘‰ #DigitalLibraries πŸ‘ˆ

πŸ“— Discrete Mathematics
πŸ‘‰ #DiscreteMathematics πŸ‘ˆ

πŸ“— Data Structures and Algorithms
πŸ‘‰ #DataStructuresandAlgorithms πŸ‘ˆ

πŸ“— Emerging Technologies
πŸ‘‰ #EmergingTechnologies πŸ‘ˆ

πŸ“— Formal Languages and Automata Theory
πŸ‘‰ #FormalLanguagesandAutomataTheory πŸ‘ˆ

πŸ“— General Literature
πŸ‘‰ #GeneralLiterature πŸ‘ˆ

πŸ“— Graphics
πŸ‘‰ #Graphics πŸ‘ˆ

πŸ“— Computer Science and Game Theory
πŸ‘‰ #ComputerScienceandGameTheory πŸ‘ˆ

πŸ“— Human-Computer Interaction
πŸ‘‰ #Human-ComputerInteraction πŸ‘ˆ

πŸ“— Information Retrieval
πŸ‘‰ #InformationRetrieval πŸ‘ˆ

πŸ“— Information Theory
πŸ‘‰ #InformationTheory πŸ‘ˆ

πŸ“— Learning
πŸ‘‰ #Learning πŸ‘ˆ

πŸ“— Logic in Computer Science
πŸ‘‰ #LogicinComputerScience πŸ‘ˆ

πŸ“— Multiagent Systems
πŸ‘‰ #MultiagentSystems πŸ‘ˆ

πŸ“— Multimedia
πŸ‘‰ #Multimedia πŸ‘ˆ

πŸ“— Mathematical Software
πŸ‘‰ #MathematicalSoftware πŸ‘ˆ

πŸ“— Numerical Analysis
πŸ‘‰ #NumericalAnalysis πŸ‘ˆ

πŸ“— Neural and Evolutionary Computing
πŸ‘‰ #NeuralandEvolutionaryComputing πŸ‘ˆ

πŸ“— Networking and Internet Architecture
πŸ‘‰ #NetworkingandInternetArchitecture πŸ‘ˆ

πŸ“— Other Computer Science
πŸ‘‰ #OtherComputerScience πŸ‘ˆ

πŸ“— Operating Systems
πŸ‘‰ #OperatingSystems πŸ‘ˆ

πŸ“— Performance
πŸ‘‰ #Performance πŸ‘ˆ

πŸ“— Programming Languages
πŸ‘‰ #ProgrammingLanguages πŸ‘ˆ

πŸ“— Robotics
πŸ‘‰ #Robotics πŸ‘ˆ

πŸ“— Symbolic Computation
πŸ‘‰ #SymbolicComputation πŸ‘ˆ

πŸ“— Sound
πŸ‘‰ #Sound πŸ‘ˆ

πŸ“— Software Engineering
πŸ‘‰ #SoftwareEngineering πŸ‘ˆ

πŸ“— Social and Information Networks
πŸ‘‰ #SocialandInformationNetworks πŸ‘ˆ

πŸ“— Systems and Control
πŸ‘‰ #SystemsandControl πŸ‘ˆ

♨️ arXiv Channel
5 of Latest Published Articles:
Operating Systems
#OperatingSystems


πŸ—’ Compact NUMA-Aware Locks
πŸ‘₯ Dave Dice, Alex Kogan
πŸ“— PDF


πŸ—’ Time Protection: the Missing OS Abstraction
πŸ‘₯ Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
πŸ“— PDF


πŸ—’ T-Visor: A Hypervisor for Mixed Criticality Embedded Real-time System with Hardware Virtualization Support
πŸ‘₯ Takumi Shimada, Takeshi Yashiro, Ken Sakamura
πŸ“— PDF


πŸ—’ Revitalizing Copybacks in Modern SSDs: Why and How
πŸ‘₯ Duwon Hong, Myungsuk Kim, Jisung Park, Myoungsoo Jung, Jihong Kim
πŸ“— PDF


πŸ—’ Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32
πŸ‘₯ Mihir Parang Mehta
πŸ“— PDF


#OperatingSystems
AI Python & arXiv Channel