{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:30:28Z","timestamp":1759336228898,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,23]],"date-time":"2017-04-23T00:00:00Z","timestamp":1492905600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,23]]},"DOI":"10.1145\/3064176.3064205","type":"proceedings-article","created":{"date-parts":[[2017,4,17]],"date-time":"2017-04-17T12:27:04Z","timestamp":1492432024000},"page":"389-404","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A Characterization of State Spill in Modern Operating Systems"],"prefix":"10.1145","author":[{"given":"Kevin","family":"Boos","sequence":"first","affiliation":[{"name":"Rice University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio Del","family":"Vecchio","sequence":"additional","affiliation":[{"name":"Rice University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin","family":"Zhong","sequence":"additional","affiliation":[{"name":"Rice University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,4,23]]},"reference":[{"volume-title":"Interfaces and Mechanisms","author":"Architecture Design","key":"e_1_3_2_1_1_1","unstructured":"Design of the Genode OS Architecture : Interfaces and Mechanisms . http:\/\/genode.org\/documentation\/architecture\/interfaces. Accessed: 2016-02-22. Design of the Genode OS Architecture: Interfaces and Mechanisms. http:\/\/genode.org\/documentation\/architecture\/interfaces. Accessed: 2016-02-22."},{"key":"e_1_3_2_1_2_1","unstructured":"Invoking user-space applications from the kernel. https:\/\/www.ibm.com\/developerworks\/library\/l-user-space-apps\/. Accessed: 2016-10-13.  Invoking user-space applications from the kernel. https:\/\/www.ibm.com\/developerworks\/library\/l-user-space-apps\/. Accessed: 2016-10-13."},{"key":"e_1_3_2_1_3_1","unstructured":"UI\/Application Exerciser Monkey. https:\/\/developer.android.com\/studio\/test\/monkey.html. Accessed: 2016-10-10.  UI\/Application Exerciser Monkey. https:\/\/developer.android.com\/studio\/test\/monkey.html. Accessed: 2016-10-10."},{"key":"e_1_3_2_1_4_1","volume-title":"Dec. 9","author":"Org Security Advisory X.","year":"2014","unstructured":"X. Org Security Advisory : Dec. 9 , 2014 . https:\/\/www.x.org\/wiki\/Development\/Security\/Advisory-2014-12-09\/. Accessed: 2016-10-11. X.Org Security Advisory: Dec. 9, 2014. https:\/\/www.x.org\/wiki\/Development\/Security\/Advisory-2014-12-09\/. Accessed: 2016-10-11."},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. USENIX Security","author":"Altekar G.","year":"2005","unstructured":"G. Altekar , I. Bagrak , P. Burstein , and A. Schultz . Opus: Online patches and updates for security . In Proc. USENIX Security , 2005 . G. Altekar, I. Bagrak, P. Burstein, and A. Schultz. Opus: Online patches and updates for security. In Proc. USENIX Security, 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043574"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519085"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"e_1_3_2_1_9_1","unstructured":"P. Barton-Davis. Linux kernel mailing list: upcalls. http:\/\/lkml.iu.edu\/hypermail\/linux\/kernel\/9809.3\/0922.html. Accessed: 2016-10-13.  P. Barton-Davis. Linux kernel mailing list: upcalls. http:\/\/lkml.iu.edu\/hypermail\/linux\/kernel\/9809.3\/0922.html. Accessed: 2016-10-13."},{"key":"e_1_3_2_1_10_1","unstructured":"K.Boos. StateSpy: State Spill Characterization Project Website. http:\/\/download.recg.org.  K.Boos. StateSpy: State Spill Characterization Project Website. http:\/\/download.recg.org."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2797022.2797041"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. USENIX OSDI","author":"Candea G.","year":"2004","unstructured":"G. Candea , S. Kawamoto , Y. Fujiki , G. Friedman , and A. Fox . Microreboot - a technique for cheap recovery . In Proc. USENIX OSDI , 2004 . G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. Microreboot - a technique for cheap recovery. In Proc. USENIX OSDI, 2004."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1999995.2000018"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/323647.323645"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328671.1328672"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. USENIX OSDI","author":"David F. M.","year":"2008","unstructured":"F. M. David , E. M. Chan , J. C. Carlyle , and R. H. Campbell . CuriOS: Improving reliability through operating system structure . In Proc. USENIX OSDI , 2008 . F. M. David, E. M. Chan, J. C. Carlyle, and R. H. Campbell. CuriOS: Improving reliability through operating system structure. In Proc. USENIX OSDI, 2008."},{"key":"e_1_3_2_1_17_1","volume-title":"Reducing fate-sharing in software systems via fine-grained checkpoint and restore. Master's thesis","author":"Dong P.","year":"2016","unstructured":"P. Dong . Reducing fate-sharing in software systems via fine-grained checkpoint and restore. Master's thesis , Rice University , 2016 . P. Dong. Reducing fate-sharing in software systems via fine-grained checkpoint and restore. Master's thesis, Rice University, 2016."},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. USENIX OSDI","author":"Enck W.","year":"2010","unstructured":"W. Enck , P. Gilbert , S. Han , V. Tendulkar , B.-G. Chun , L. P. Cox , J. Jung , P. McDaniel , and A. N. Sheth . TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones . In Proc. USENIX OSDI , 2010 . W. Enck, P. Gilbert, S. Han, V. Tendulkar, B.-G. Chun, L. P. Cox, J. Jung, P. McDaniel, and A. N. Sheth. TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In Proc. USENIX OSDI, 2010."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224076"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. USENIX ATC","author":"Fassino J.-P.","year":"2002","unstructured":"J.-P. Fassino , J.-B. Stefani , J. L. Lawall , and G. Muller . THINK: A software framework for component-based operating system kernels . In Proc. USENIX ATC , 2002 . J.-P. Fassino, J.-B. Stefani, J. L. Lawall, and G. Muller. THINK: A software framework for component-based operating system kernels. In Proc. USENIX ATC, 2002."},{"key":"e_1_3_2_1_21_1","volume-title":"Technische Universit\u00e4t Dresden","author":"Feske N.","year":"2005","unstructured":"N. Feske and C. Helmuth . A Nitpicker's guide to a minimal-complexity secure GUI. Technical report , Technische Universit\u00e4t Dresden , 2005 . N. Feske and C. Helmuth. A Nitpicker's guide to a minimal-complexity secure GUI. Technical report, Technische Universit\u00e4t Dresden, 2005."},{"key":"e_1_3_2_1_22_1","volume-title":"Architectural Styles and the Design of Network-based Software Architecture","author":"Fielding R.","year":"2000","unstructured":"R. Fielding . Representational state transfer . Architectural Styles and the Design of Network-based Software Architecture , 2000 . R. Fielding. Representational state transfer. Architectural Styles and the Design of Network-based Software Architecture, 2000."},{"key":"e_1_3_2_1_23_1","author":"Fielding R. T.","year":"2002","unstructured":"R. T. Fielding and R. N. Taylor . Principled design of the modern Web architecture. ACM Transactions on Internet Technology (TOIT) , 2002 . R. T. Fielding and R. N. Taylor. Principled design of the modern Web architecture. ACM Transactions on Internet Technology (TOIT), 2002.","journal-title":"Principled design of the modern Web architecture. ACM Transactions on Internet Technology (TOIT)"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266642"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451147"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151374.1151391"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/HOTOS.2001.990086"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451168"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294293"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/361082.361093"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451167"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273031"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337201"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/367701.367728"},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. USENIX Security","author":"Octeau D.","year":"2013","unstructured":"D. Octeau , P. McDaniel , S. Jha , A. Bartel , E. Bodden , J. Klein , and Y. Le Traon . Effective inter-component communication mapping in android with EPICC: An essential step towards holistic security analysis . In Proc. USENIX Security , 2013 . D. Octeau, P. McDaniel, S. Jha, A. Bartel, E. Bodden, J. Klein, and Y. Le Traon. Effective inter-component communication mapping in android with EPICC: An essential step towards holistic security analysis. In Proc. USENIX Security, 2013."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(93)90072-6"},{"key":"e_1_3_2_1_37_1","volume-title":"Applying REST principles on local client-side APIs. Master Thesis","author":"Olsson R.","year":"2014","unstructured":"R. Olsson . Applying REST principles on local client-side APIs. Master Thesis , KTH Royal Institute of Technology , 2014 . R. Olsson. Applying REST principles on local client-side APIs. Master Thesis, KTH Royal Institute of Technology, 2014."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844162"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1526709.1526832"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1367497.1367606"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950399"},{"key":"e_1_3_2_1_42_1","volume-title":"Proc. USENIX OSDI","author":"Reid A.","year":"2000","unstructured":"A. Reid , M. Flatt , L. Stoller , J. Lepreau , and E. Eide . Knit: Component composition for systems software . In Proc. USENIX OSDI , 2000 . A. Reid, M. Flatt, L. Stoller, J. Lepreau, and E. Eide. Knit: Component composition for systems software. In Proc. USENIX OSDI, 2000."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094824"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20020198"},{"key":"e_1_3_2_1_45_1","author":"Scheifler R. W.","year":"1986","unstructured":"R. W. Scheifler and J. Gettys . The x window system. ACM Transactions on Graphics (TOG) , 1986 . R. W. Scheifler and J. Gettys. The x window system. ACM Transactions on Graphics (TOG), 1986.","journal-title":"The x window system. ACM Transactions on Graphics (TOG)"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321746"},{"key":"e_1_3_2_1_47_1","volume-title":"concepts and constructs","author":"Sethi R.","year":"1996","unstructured":"R. Sethi . Programming languages : concepts and constructs . 1996 . R. Sethi. Programming languages: concepts and constructs. 1996."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575312"},{"key":"e_1_3_2_1_49_1","volume-title":"Proc. USENIX ATC","author":"Soules C. A.","year":"2003","unstructured":"C. A. Soules , J. Appavoo , K. Hui , R. W. Wisniewski , D. Da Silva , G. R. Ganger , O. Krieger , M. Stumm , M. A. Auslander , M. Ostrowski , B. Rosenburg , and J. Xenidis . System support for online reconfiguration . In Proc. USENIX ATC , 2003 . C. A. Soules, J. Appavoo, K. Hui, R. W. Wisniewski, D. Da Silva, G. R. Ganger, O. Krieger, M. Stumm, M. A. Auslander, M. Ostrowski, B. Rosenburg, and J. Xenidis. System support for online reconfiguration. In Proc. USENIX ATC, 2003."},{"key":"e_1_3_2_1_50_1","volume-title":"User mode scheduling in MINIX 3. Technical report","author":"Swift B. P.","year":"2010","unstructured":"B. P. Swift . User mode scheduling in MINIX 3. Technical report , Vrije University Amsterdam , 2010 . B. P. Swift. User mode scheduling in MINIX 3. Technical report, Vrije University Amsterdam, 2010."},{"key":"e_1_3_2_1_51_1","volume-title":"Proc. USENIX OSDI","author":"Swift M. M.","year":"2004","unstructured":"M. M. Swift , M. Annamalai , B. N. Bershad , and H. M. Levy . Recovering device drivers . In Proc. USENIX OSDI , 2004 . M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy. Recovering device drivers. In Proc. USENIX OSDI, 2004."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945466"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWOOOS.1996.557874"},{"key":"e_1_3_2_1_54_1","volume-title":"Proc. CASCON","author":"Vall\u00e9e-Rai R.","year":"1999","unstructured":"R. Vall\u00e9e-Rai , P. Co , E. Gagnon , L. Hendren , P. Lam , and V. Sundaresan . Soot - a java bytecode optimization framework . In Proc. CASCON , 1999 . R. Vall\u00e9e-Rai, P. Co, E. Gagnon, L. Hendren, P. Lam, and V. Sundaresan. Soot - a java bytecode optimization framework. In Proc. CASCON, 1999."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741955"},{"key":"e_1_3_2_1_56_1","volume-title":"Proc. ACM CCS","author":"Wei F.","year":"2014","unstructured":"F. Wei , S. Roy , X. Ou , and Robby. Amandroid : A precise and general inter-component data flow analysis framework for security vetting of Android apps . In Proc. ACM CCS , 2014 . F. Wei, S. Roy, X. Ou, and Robby. Amandroid: A precise and general inter-component data flow analysis framework for security vetting of Android apps. In Proc. ACM CCS, 2014."},{"key":"e_1_3_2_1_57_1","volume-title":"Proc. ACM\/IEEE ICSE","author":"Weiser M.","year":"1981","unstructured":"M. Weiser . Program slicing . In Proc. ACM\/IEEE ICSE , 1981 . M.Weiser. Program slicing. In Proc. ACM\/IEEE ICSE, 1981."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.08.014"},{"key":"e_1_3_2_1_59_1","volume-title":"Proc. USENIX OSDI","author":"Zeldovich N.","year":"2006","unstructured":"N. Zeldovich , S. Boyd-Wickizer , E. Kohler , and D. Mazi\u00e8res . Making information flow explicit in HiStar . In Proc. USENIX OSDI , 2006 . N. Zeldovich, S. Boyd-Wickizer, E. Kohler, and D. Mazi\u00e8res. Making information flow explicit in HiStar. In Proc. USENIX OSDI, 2006."},{"key":"e_1_3_2_1_60_1","volume-title":"Proc. USENIX NSDI","author":"Zeldovich N.","year":"2008","unstructured":"N. Zeldovich , S. Boyd-Wickizer , and D. Mazieres . Securing distributed systems with information flow control . In Proc. USENIX NSDI , 2008 . N. Zeldovich, S. Boyd-Wickizer, and D. Mazieres. Securing distributed systems with information flow control. In Proc. USENIX NSDI, 2008."},{"key":"e_1_3_2_1_61_1","volume-title":"Proc. USENIX OSDI","author":"Zellweger G.","year":"2014","unstructured":"G. Zellweger , S. Gerber , K. Kourtis , and T. Roscoe . Decoupling cores, kernels, and operating systems . In Proc. USENIX OSDI , 2014 . G. Zellweger, S. Gerber, K. Kourtis, and T. Roscoe. Decoupling cores, kernels, and operating systems. In Proc. USENIX OSDI, 2014."}],"event":{"name":"EuroSys '17: Twelfth EuroSys Conference 2017","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Belgrade Serbia","acronym":"EuroSys '17"},"container-title":["Proceedings of the Twelfth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064176.3064205","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3064176.3064205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:15Z","timestamp":1750217775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064176.3064205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,23]]},"references-count":61,"alternative-id":["10.1145\/3064176.3064205","10.1145\/3064176"],"URL":"https:\/\/doi.org\/10.1145\/3064176.3064205","relation":{},"subject":[],"published":{"date-parts":[[2017,4,23]]},"assertion":[{"value":"2017-04-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}