@MISC{mcefs23osdiposter,
  TITLE =        "The Case for Model Checking Emerging File Systems",
  HOWPUBLISHED = "Non-archival poster presentation in the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI '23)",
  AUTHOR =       "Yifei Liu and Gerard Holzmann and Geoff Kuenning and Scott Smolka and Erez Zadok",
  MONTH =        "July",
  YEAR =         "2023",
}