{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:59Z","timestamp":1772164019425,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,4]],"date-time":"2017-04-04T00:00:00Z","timestamp":1491264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"WSU Vancouver Research Grant"},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["ACI-1565338"],"award-info":[{"award-number":["ACI-1565338"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,4]]},"DOI":"10.1145\/3037697.3037743","type":"proceedings-article","created":{"date-parts":[[2017,4,5]],"date-time":"2017-04-05T08:47:40Z","timestamp":1491382060000},"page":"709-722","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Pallas"],"prefix":"10.1145","author":[{"given":"Jian","family":"Huang","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA, USA"}]},{"given":"Michael","family":"Allen-Bond","sequence":"additional","affiliation":[{"name":"Washington State University Vancouver, Vancouver, WA, USA"}]},{"given":"Xuechen","family":"Zhang","sequence":"additional","affiliation":[{"name":"Washington State University Vancouver, Vancouver, WA, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,4,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872404"},{"key":"e_1_3_2_1_2_1","unstructured":"www-androidAndroid Open Source Project. https:\/\/source.android.com\/index.html.  www-androidAndroid Open Source Project. https:\/\/source.android.com\/index.html."},{"key":"e_1_3_2_1_3_1","unstructured":"www-chromeChromium: An Open-Source Browser Project. https:\/\/www.chromium.org\/Home.  www-chromeChromium: An Open-Source Browser Project. https:\/\/www.chromium.org\/Home."},{"key":"e_1_3_2_1_4_1","unstructured":"www-clangclang: a C language family frontend for LLVM. http:\/\/clang.llvm.org\/.  www-clangclang: a C language family frontend for LLVM. http:\/\/clang.llvm.org\/."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_17"},{"key":"e_1_3_2_1_6_1","unstructured":"fastpath-wikiFast Path. https:\/\/en.wikipedia.org\/wiki\/Fast_path.  fastpath-wikiFast Path. https:\/\/en.wikipedia.org\/wiki\/Fast_path."},{"key":"e_1_3_2_1_7_1","volume-title":"Dec.","author":"Fryer D.","year":"2012","unstructured":"D. Fryer , K. Sun , R. Mahmood , T. Cheng , S. Benjamin , A. Goel , and A. D. Brown . Recon: Verifying file system consistency at runtime. Trans. Storage, 8 (4) , Dec. 2012 . D. Fryer, K. Sun, R. Mahmood, T. Cheng, S. Benjamin, A. Goel, and A. D. Brown. Recon: Verifying file system consistency at runtime. Trans. Storage, 8 (4), Dec. 2012."},{"key":"e_1_3_2_1_8_1","unstructured":"inode-patchfs: Remove i_cindex from struct inode. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/drivers?id=9fd5746fd3d7838bf6ff991d50f1257057d1156f.  inode-patchfs: Remove i_cindex from struct inode. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/drivers?id=9fd5746fd3d7838bf6ff991d50f1257057d1156f."},{"key":"e_1_3_2_1_9_1","volume-title":"FAST'08","author":"Gunawi H. S.","year":"2008","unstructured":"H. S. Gunawi , C. Rubio-Gonzalez , A. C. Arpaci-Dusseau , R. H. Arpaci-Dusseau , and B. Liblit . EIO: Error Handling is Occasionally Correct . In FAST'08 , 2008 . H. S. Gunawi, C. Rubio-Gonzalez, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and B. Liblit. EIO: Error Handling is Occasionally Correct. In FAST'08, 2008."},{"key":"e_1_3_2_1_10_1","unstructured":"H. S. Gunawi M. Hao T. Leesatapornwongsa T. Patana-anake T. Do J. Adityatama K. J. Eliazar A. Laksono J. F. Lukman V. Martin and A. D. Satria. What Bugs Live in the Cloud? A Study of 3000  H. S. Gunawi M. Hao T. Leesatapornwongsa T. Patana-anake T. Do J. Adityatama K. J. Eliazar A. Laksono J. F. Lukman V. Martin and A. D. Satria. What Bugs Live in the Cloud? A Study of 3000"},{"key":"e_1_3_2_1_11_1","volume-title":"Cloud Systems. In SOCC'14","year":"2014","unstructured":"Issues in Cloud Systems. In SOCC'14 , Seattle, WA , Nov. 2014 . Issues in Cloud Systems. In SOCC'14, Seattle, WA, Nov. 2014."},{"key":"e_1_3_2_1_12_1","volume-title":"OSDI'14","author":"Hawblitzel C.","year":"2014","unstructured":"C. Hawblitzel , J. Howell , J. R. Lorch , A. Narayan , B. Parno , D. Zhang , and B. Zill . Ironclad Apps: End-to-End Security via Automated Full-System Verification . In OSDI'14 , Broomfield, CO , Oct. 2014 . C. Hawblitzel, J. Howell, J. R. Lorch, A. Narayan, B. Parno, D. Zhang, and B. Zill. Ironclad Apps: End-to-End Security via Automated Full-System Verification. In OSDI'14, Broomfield, CO, Oct. 2014."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2806777.2806937"},{"key":"e_1_3_2_1_14_1","volume-title":"An Evolutionary Study of Linux Memory Management for Fun and Profit. In USENIX ATC'16","author":"Huang J.","year":"2016","unstructured":"J. Huang , M. K. Qureshi , and K. Schwan . An Evolutionary Study of Linux Memory Management for Fun and Profit. In USENIX ATC'16 , Denver, CO , June 2016 . J. Huang, M. K. Qureshi, and K. Schwan. An Evolutionary Study of Linux Memory Management for Fun and Profit. In USENIX ATC'16, Denver, CO, June 2016."},{"key":"e_1_3_2_1_15_1","unstructured":"A. Hunter. A Brief Introduction to the Design of UBIFS. Technical Report.  A. Hunter. A Brief Introduction to the Design of UBIFS. Technical Report."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.18"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145835"},{"key":"e_1_3_2_1_20_1","volume-title":"SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In OSDI'14","author":"Leesatapornwongsa T.","year":"2014","unstructured":"T. Leesatapornwongsa , M. Hao , P. Joshi , J. F. Lukman , and H. S. Gunawi . SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In OSDI'14 , Broomfield, CO , Oct. 2014 . T. Leesatapornwongsa, M. Hao, P. Joshi, J. F. Lukman, and H. S. Gunawi. SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In OSDI'14, Broomfield, CO, Oct. 2014."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2001.937448"},{"key":"e_1_3_2_1_23_1","volume-title":"LISA'11 Theme -- DevOps: New Challenges, Proven Values. USENIX; login:, 36 (4)","author":"Limoncelli T. A.","year":"2011","unstructured":"T. A. Limoncelli and D. Hughe . LISA'11 Theme -- DevOps: New Challenges, Proven Values. USENIX; login:, 36 (4) , Aug. 2011 . T. A. Limoncelli and D. Hughe. LISA'11 Theme -- DevOps: New Challenges, Proven Values. USENIX; login:, 36 (4), Aug. 2011."},{"key":"e_1_3_2_1_24_1","volume-title":"High-Performance Communication Systems from Components. In SOSP'99","author":"Liu X.","year":"1999","unstructured":"X. Liu , C. Kreitz , R. van Renesse , J. Hickey , M. Hayden , K. Birman , and R. Constable . Building Reliable , High-Performance Communication Systems from Components. In SOSP'99 , Kiawah Island , SC , Dec. 1999 . X. Liu, C. Kreitz, R. van Renesse, J. Hickey, M. Hayden, K. Birman, and R. Constable. Building Reliable, High-Performance Communication Systems from Components. In SOSP'99, Kiawah Island, SC, Dec. 1999."},{"key":"e_1_3_2_1_25_1","volume-title":"FAST'13","author":"Lu L.","year":"2013","unstructured":"L. Lu , A. C. Arpaci-Dusseau , R. H. Arpaci-Dusseau , and S. Lu . A Study of Linux File System Evolution . In FAST'13 , Feb. 2013 . L. Lu, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and S. Lu. A Study of Linux File System Evolution. In FAST'13, Feb. 2013."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294272"},{"key":"e_1_3_2_1_27_1","volume-title":"ASPLOS'08","author":"Lu S.","year":"2008","unstructured":"S. Lu , S. Park , E. Seo , and Y. Zhou . Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics . In ASPLOS'08 , Seattle, WA , Mar. 2008 . S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics. In ASPLOS'08, Seattle, WA, Mar. 2008."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/377769.377778"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815422"},{"key":"e_1_3_2_1_31_1","unstructured":"mm-zonemm: page_alloc: spill to remote nodes before waking kswapd. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/mm\/page_alloc.c?id=3a025760fc158b3726eac89ee95d7f29599e9dfa.  mm-zonemm: page_alloc: spill to remote nodes before waking kswapd. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/mm\/page_alloc.c?id=3a025760fc158b3726eac89ee95d7f29599e9dfa."},{"key":"e_1_3_2_1_32_1","unstructured":"prefer-patchmm:fix deferred congestion timeout if preferred zone is not allowed. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=f33261d75b88f55a08e6a9648cef73509979bfba.  prefer-patchmm:fix deferred congestion timeout if preferred zone is not allowed. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=f33261d75b88f55a08e6a9648cef73509979bfba."},{"key":"e_1_3_2_1_33_1","unstructured":"memcontrol-patchmm\/memcontrol.c: fix uninitialized variable use in mem_cgroup_move_parent(). https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/mm\/memcontrol.c?id=8dba474f034c322d96ada39cb20cac711d80dcb2.  memcontrol-patchmm\/memcontrol.c: fix uninitialized variable use in mem_cgroup_move_parent(). https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/mm\/memcontrol.c?id=8dba474f034c322d96ada39cb20cac711d80dcb2."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238771"},{"key":"e_1_3_2_1_35_1","unstructured":"net-corenet: Check rps\\_flow\\_table when RPS map length is 1. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/net?id=8587523640441a9ff2564ebc6efeb39497ad6709.  net-corenet: Check rps\\_flow\\_table when RPS map length is 1. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/net?id=8587523640441a9ff2564ebc6efeb39497ad6709."},{"key":"e_1_3_2_1_36_1","unstructured":"key-patchnet: tcp: add key management to congestion control. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/net?id=c5c6a8ab45ec0f18733afb4aaade0d4a139d80b3.  key-patchnet: tcp: add key management to congestion control. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/net?id=c5c6a8ab45ec0f18733afb4aaade0d4a139d80b3."},{"key":"e_1_3_2_1_37_1","unstructured":"inode-structure-patchnfsd\/create race fixes infrastructure. http:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/fs\/inode.c?id=261bca86ed4f7f391d1938167624e78da61dcc6b.  inode-structure-patchnfsd\/create race fixes infrastructure. http:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/fs\/inode.c?id=261bca86ed4f7f391d1938167624e78da61dcc6b."},{"key":"e_1_3_2_1_38_1","unstructured":"ocfs2OCFS2 - Oracle Cluster File System for Linux. http:\/\/www.oracle.com\/us\/technologies\/linux\/025995.htm.  ocfs2OCFS2 - Oracle Cluster File System for Linux. http:\/\/www.oracle.com\/us\/technologies\/linux\/025995.htm."},{"key":"e_1_3_2_1_39_1","unstructured":"ocfs2-patchocfs2: fix disk file size and memory file size mismatch. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/fs?id=ce170828e24959c69e7a40364731edc0535c550f.  ocfs2-patchocfs2: fix disk file size and memory file size mismatch. https:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/fs?id=ce170828e24959c69e7a40364731edc0535c550f."},{"key":"e_1_3_2_1_41_1","unstructured":"www-ovsProduction Quality Multilayer Open Virtual Switch. http:\/\/openvswitch.org\/.  www-ovsProduction Quality Multilayer Open Virtual Switch. http:\/\/openvswitch.org\/."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224080"},{"key":"e_1_3_2_1_43_1","unstructured":"frozen-patchslub: Add frozen check in_\\_slab\\_alloc. http:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/mm\/slub.c?id=507effeaba29bf724dfe38317fbd11d0fe25fa40.  frozen-patchslub: Add frozen check in_\\_slab\\_alloc. http:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/mm\/slub.c?id=507effeaba29bf724dfe38317fbd11d0fe25fa40."},{"key":"e_1_3_2_1_44_1","unstructured":"tcp-output-patchtcp: Fix slab corruption with ipv6 and tcp6fuzz. http:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/net\/ipv4\/tcp_input.c?id=9ae27e0adbf471c7a6b80102e38e1d5a346b3b38.  tcp-output-patchtcp: Fix slab corruption with ipv6 and tcp6fuzz. http:\/\/git.kernel.org\/cgit\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/net\/ipv4\/tcp_input.c?id=9ae27e0adbf471c7a6b80102e38e1d5a346b3b38."},{"key":"e_1_3_2_1_45_1","unstructured":"www-rfc793Transmission Control Protocol. https:\/\/tools.ietf.org\/html\/rfc793.  www-rfc793Transmission Control Protocol. https:\/\/tools.ietf.org\/html\/rfc793."},{"key":"e_1_3_2_1_46_1","volume-title":"Fast Paths in Concurrent Programs. In PACT'04","author":"Xu W.","year":"2004","unstructured":"W. Xu , S. Kumar , and K. Li . Fast Paths in Concurrent Programs. In PACT'04 , 2004 . W. Xu, S. Kumar, and K. Li. Fast Paths in Concurrent Programs. In PACT'04, 2004."},{"key":"e_1_3_2_1_47_1","volume-title":"OSDI'04","author":"Yang J.","year":"2004","unstructured":"J. Yang , P. Twohey , D. Engler , and M. Musuvathi . Using Model Checking to Find Serious File System Errors . In OSDI'04 , San Francisco, CA , Dec. 2004 . J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using Model Checking to Find Serious File System Errors. In OSDI'04, San Francisco, CA, Dec. 2004."},{"key":"e_1_3_2_1_48_1","volume-title":"General System for Finding Serious Storage System Errors. In OSDI'06","author":"Yang J.","year":"2006","unstructured":"J. Yang , C. Sar , and D. Engler . EXPLODE: A Lightweight , General System for Finding Serious Storage System Errors. In OSDI'06 , Seattle, WA , Nov. 2006 . J. Yang, C. Sar, and D. Engler. EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. In OSDI'06, Seattle, WA, Nov. 2006."},{"key":"e_1_3_2_1_49_1","volume-title":"Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems. In OSDI'14","author":"Yuan D.","year":"2014","unstructured":"D. Yuan , Y. Luo , X. Zhuang , G. R. Rodrigues , X. Zhao , Y. Zhang , P. U. Jain , and M. Stumm . Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems. In OSDI'14 , Broomfield, CO , Oct. 2014 . D. Yuan, Y. Luo, X. Zhuang, G. R. Rodrigues, X. Zhao, Y. Zhang, P. U. Jain, and M. Stumm. Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems. In OSDI'14, Broomfield, CO, Oct. 2014."}],"event":{"name":"ASPLOS '17: Architectural Support for Programming Languages and Operating Systems","location":"Xi'an China","acronym":"ASPLOS '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3037697.3037743","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3037697.3037743","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3037697.3037743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:03:11Z","timestamp":1750201391000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3037697.3037743"}},"subtitle":["Semantic-Aware Checking for Finding Deep Bugs in Fast Path"],"short-title":[],"issued":{"date-parts":[[2017,4,4]]},"references-count":46,"alternative-id":["10.1145\/3037697.3037743","10.1145\/3037697"],"URL":"https:\/\/doi.org\/10.1145\/3037697.3037743","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093336.3037743","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/3093337.3037743","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,4,4]]},"assertion":[{"value":"2017-04-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}