Image de couverture de livre

Verifying Device Drivers with Pancake

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhao, Junming, Tanaka, Miki, Pohjola, Johannes Åman, Legnani, Alessandro, Ung, Tiana Tsang, Truong, H., Sau, Tsun Wang, Sewell, Thomas, Sison, Rob, Syeda, Hira, Myreen, Magnus, Norrish, Michael, Heiser, Gernot
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages Cryptography and Security Operating Systems D.2.4; D.3.4; D.4.6
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Baking for Dafny: A CakeML Backend for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Verified VCG and Verified Compiler for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
par: Heiser, Gernot, et autres
Publié: (2025)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
par: Gross, Jason, et autres
Publié: (2022)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
par: Myreen, Magnus O., et autres
Publié: (2025)

Hardening the OSv Unikernel with Efficient Address Randomization: Design and Performance Evaluation
par: Wollman, Alex, et autres
Publié: (2026)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
par: Kiashemshaki, Kiana, et autres
Publié: (2025)

A Faster and More Reliable Middleware for Autonomous Driving Systems
par: He, Yuankai, et autres
Publié: (2025)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
par: Li, Xiaoqi, et autres
Publié: (2026)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
par: Bruzzone, Federico, et autres
Publié: (2026)

File System Aging
par: Conway, Alex, et autres
Publié: (2024)

Meta-Monomorphizing Specializations
par: Bruzzone, Federico, et autres
Publié: (2026)

Is digit ratio (2D:4D) different between sexual and non-sexual offenders, and non-offending men? Study of a Colombian sample
par: Milena Vásquez-Amézquita
Publié: (2022)

Lean4Lean: Verifying a Typechecker for Lean, in Lean
par: Carneiro, Mario
Publié: (2024)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
par: Knothe, David, et autres
Publié: (2026)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
par: Beg, Arshad, et autres
Publié: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
par: Beg, Arshad, et autres
Publié: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
par: Garcia, Rémi, et autres
Publié: (2024)

Model checking of hyperproperties for high-level relational models
par: Macedo, Nuno, et autres
Publié: (2025)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
par: Kiashemshaki, Kiana, et autres
Publié: (2025)

Framework Matters: Energy Efficiency of UI Automation Testing Frameworks
par: Lagermann, Timmie M. R., et autres
Publié: (2025)

From Separate Compilation to Sound Language Composition
par: Bruzzone, Federico, et autres
Publié: (2026)

C8s: A Confidential Kubernetes Architecture
par: Asad, Amean, et autres
Publié: (2026)

ICAN-Deploy: Identity-Stable Canary Deployment for Safety-Critical Embodied Agents
par: Qin, Xue, et autres
Publié: (2026)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
par: Beg, Arshad, et autres
Publié: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
par: Beg, Arshad, et autres
Publié: (2026)

Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
par: Beg, Arshad, et autres
Publié: (2026)

Accelerating Large Language Models through Partially Linear Feed-Forward Network
par: Hu, Gansen, et autres
Publié: (2025)

Combating Reentrancy Bugs on Sharded Blockchains
par: Kashitsyn, Roman, et autres
Publié: (2025)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
par: Kadaboina, Ravi Kiran
Publié: (2026)

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
par: Ouyang, Ciyan, et autres
Publié: (2026)

Governed Capability Evolution: Lifecycle-Time Compatibility Checking and Rollback for AI-Component-Based Systems, with Embodied Agents as Case Study
par: Qin, Xue, et autres
Publié: (2026)

Decomposing Docker Container Startup Performance: A Three-Tier Measurement Study on Heterogeneous Infrastructure
par: Khan, Shamsher
Publié: (2026)

TurboMem: High-Performance Lock-Free Memory Pool with Transparent Huge Page Auto-Merging for DPDK
par: Yang, Junyi
Publié: (2026)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
par: Mitra, Joydeep, et autres
Publié: (2020)

Scheduler-Driven Job Atomization
par: Konopa, Michal, et autres
Publié: (2025)

JASDA: Introducing Job-Aware Scheduling in Scheduler-Driven Job Atomization
par: Konopa, Michal, et autres
Publié: (2025)