sbu-fsl/Metis
View on GitHub ↗ ★ 17 C
Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
5 mentions on Hacker News by 1 person: 0 stories, 5 comments · first 2025-03-05 · latest 2025-07-02
20082026
-
…Docker and Kata Containers) for Swarm Verification ( https://spinroot.com/swarm/ ) used by Metis ( https://github.com/sbu-fsl/Metis ). Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches…
comment by divtiwari · 2025-07-02 · in Ask HN: Who wants to be hired? (July 2025) -
…Docker and Kata Containers) for Swarm Verification ( https://spinroot.com/swarm/ ) used by Metis ( https://github.com/sbu-fsl/Metis ). This work is currently under submission with me as a co-first author. Previously, I used Metis to…
comment by divtiwari · 2025-06-02 · in Ask HN: Who wants to be hired? (June 2025) -
…Docker and Kata Containers) for Swarm Verification ( https://spinroot.com/swarm/ ) used by Metis ( https://github.com/sbu-fsl/Metis ). Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches…
comment by divtiwari · 2025-05-01 · in Ask HN: Who wants to be hired? (May 2025) -
…and Kata Containers) for Swarm Verification ( https://spinroot.com/swarm/ ) used by Metis ( https://github.com/sbu-fsl/Metis ). Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches to the…
comment by divtiwari · 2025-04-04 · in Ask HN: Who wants to be hired? (April 2025) -
…and Kata Containers) for Swarm Verification ( https://spinroot.com/swarm/ ) used by Metis ( https://github.com/sbu-fsl/Metis ). Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches to the…
comment by divtiwari · 2025-03-05 · in Ask HN: Who wants to be hired? (March 2025)