%0 Conference Paper %1 conf/sosp/MinKLSK15 %A Min, Changwoo %A Kashyap, Sanidhya %A Lee, Byoungyoung %A Song, Chengyu %A Kim, Taesoo %B SOSP %D 2015 %E Miller, Ethan L. %E Hand, Steven %I ACM %K %P 361-377 %T Cross-checking semantic correctness: the case of finding file system bugs. %U http://dblp.uni-trier.de/db/conf/sosp/sosp2015.html#MinKLSK15 %@ 978-1-4503-3834-9

@inproceedings{conf/sosp/MinKLSK15, added-at = {2023-12-13T05:25:38.000+0100}, author = {Min, Changwoo and Kashyap, Sanidhya and Lee, Byoungyoung and Song, Chengyu and Kim, Taesoo}, biburl = {https://www.bibsonomy.org/bibtex/229ca3edee830def805f4243dfdbfce7c/admin}, booktitle = {SOSP}, crossref = {conf/sosp/2015}, editor = {Miller, Ethan L. and Hand, Steven}, ee = {https://doi.org/10.1145/2815400.2815422}, interhash = {a26526a569f712ca78f3f0148771ed19}, intrahash = {29ca3edee830def805f4243dfdbfce7c}, isbn = {978-1-4503-3834-9}, keywords = {}, pages = {361-377}, publisher = {ACM}, timestamp = {2023-12-13T05:25:38.000+0100}, title = {Cross-checking semantic correctness: the case of finding file system bugs.}, url = {http://dblp.uni-trier.de/db/conf/sosp/sosp2015.html#MinKLSK15}, year = 2015 }