eurosys-kfuse-artifact

The repository is the artifact for the paper "Verified Programs Can Party: Optimizing Kernel Extensions via Post-Verification In-Kernel Merging" in EuroSys 2022.

How to run?

• Step1: Download vm and fs from this link.
• Step2: Follow the instructions in the directory experiment_docs/instructions/ to run experiments E1 to E5.
• Step3: Check the results with the expected results in the directory experiment_docs/expected_result.

Paper

• (TODO): Link

Demo Video

demo_video.mp4