{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:51Z","timestamp":1750221291263,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Research Foundation of Korea(NRF)","award":["2017R1A2B3012020 \/ 2017M3C4A7068177"],"award-info":[{"award-number":["2017R1A2B3012020 \/ 2017M3C4A7068177"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3191697.3191732","type":"proceedings-article","created":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T12:12:40Z","timestamp":1530533560000},"page":"63-68","source":"Crossref","is-referenced-by-count":1,"title":["A framework for dynamic inter-device task dispatch with eventual consistency"],"prefix":"10.1145","author":[{"given":"Jihyeok","family":"Park","sequence":"first","affiliation":[{"name":"KAIST, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joonyoung","family":"Park","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoonkyong","family":"Lee","sequence":"additional","affiliation":[{"name":"Samsung Electronics, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chul-Joo","family":"Kim","sequence":"additional","affiliation":[{"name":"Samsung Electronics, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Byoungoh","family":"Kim","sequence":"additional","affiliation":[{"name":"Samsung Electronics, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sukyoung","family":"Ryu","sequence":"additional","affiliation":[{"name":"KAIST, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2012. Miracast. http:\/\/www.wi-fi.org\/wi-fi-certified-miracast. (2012).  2012. Miracast. http:\/\/www.wi-fi.org\/wi-fi-certified-miracast. (2012)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594368.2594370"},{"key":"e_1_3_2_1_3_1","unstructured":"Peter Bailis and Ali Ghodsi. 2013. Eventual Consistency Today: Limitations Extensions and Beyond. Queue 11 3 (2013). 10.1145\/2460276.2462076   Peter Bailis and Ali Ghodsi. 2013. Eventual Consistency Today: Limitations Extensions and Beyond. Queue 11 3 (2013). 10.1145\/2460276.2462076"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996461.1996502"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.37"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966473"},{"key":"e_1_3_2_1_8_1","first-page":"677","article-title":"Portable electric device and display mirroring method thereof. (2012)","volume":"13","author":"Chung Jinyong","year":"2012","journal-title":"US Patent App."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1814433.1814441"},{"volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation.","year":"2012","author":"Gordon Mark S.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"Intel Open Source.org. 2015. Web Apps 01.org. https:\/\/01.org\/html5webapps\/ webapps. (2015).  Intel Open Source.org. 2015. Web Apps 01.org. https:\/\/01.org\/html5webapps\/ webapps. (2015)."},{"key":"e_1_3_2_1_12_1","unstructured":"Joab Jackson. 2013.  Joab Jackson. 2013."},{"key":"e_1_3_2_1_13_1","unstructured":"The TAO of Facebook data management. http:\/\/www.computerworld.com\/article\/2498193\/social-media\/ the-tao-of-facebook-data-management.html. (2013).  The TAO of Facebook data management. http:\/\/www.computerworld.com\/article\/2498193\/social-media\/ the-tao-of-facebook-data-management.html. (2013)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Simon Holm Jensen Magnus Madsen and Anders M\u00f8ller. 2011. Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. In FSE\u201911.  Simon Holm Jensen Magnus Madsen and Anders M\u00f8ller. 2011. Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. In FSE\u201911.","DOI":"10.1145\/2025113.2025125"},{"key":"e_1_3_2_1_15_1","unstructured":"Karthik Kumar Jibang Liu Yung-Hsiang Lu and Bharat Bhargava. 2013. A Survey of Computation Offloading for Mobile Systems. Mobile Networks and Applications 18 1 (2013). 10.1007\/s11036-012-0368-0   Karthik Kumar Jibang Liu Yung-Hsiang Lu and Bharat Bhargava. 2013. A Survey of Computation Offloading for Mobile Systems. Mobile Networks and Applications 18 1 (2013). 10.1007\/s11036-012-0368-0"},{"key":"e_1_3_2_1_16_1","unstructured":"Leslie Lamport. 1978. Time clocks and the ordering of events in a distributed system. Commun. ACM 21 7 (1978). 10.1145\/359545.359563   Leslie Lamport. 1978. Time clocks and the ordering of events in a distributed system. Commun. ACM 21 7 (1978). 10.1145\/359545.359563"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488388.2488459"},{"key":"e_1_3_2_1_18_1","unstructured":"Violeta Medina and Juan Manuel Garc\u00eda. 2014. A Survey of Migration Mechanisms of Virtual Machines. ACM Computing Survey 46 3 (2014). 10.1145\/2492705   Violeta Medina and Juan Manuel Garc\u00eda. 2014. A Survey of Migration Mechanisms of Virtual Machines. ACM Computing Survey 46 3 (2014). 10.1145\/2492705"},{"key":"e_1_3_2_1_19_1","unstructured":"Cade Metz. 2014. This Is What You Build to Juggle 6 000 Tweets a Second. http:\/\/www.wired.com\/2014\/04\/twitter-manhattan\/. (2014).  Cade Metz. 2014. This Is What You Build to Juggle 6 000 Tweets a Second. http:\/\/www.wired.com\/2014\/04\/twitter-manhattan\/. (2014)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Dejan S. Miloji\u010di\u0107 Fred Douglis Yves Paindaveine Richard Wheeler and Songnian Zhou. 2000. Process Migration. ACM Computing Survey 32 3 (2000). 10.1145\/367701.367728   Dejan S. Miloji\u010di\u0107 Fred Douglis Yves Paindaveine Richard Wheeler and Songnian Zhou. 2000. Process Migration. ACM Computing Survey 32 3 (2000). 10.1145\/367701.367728","DOI":"10.1145\/367701.367728"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2731186.2731197"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Changhee Park Sooncheol Won Joonho Jin and Sukyoung Ryu. 2015. Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling. In ASE\u201915.  Changhee Park Sooncheol Won Joonho Jin and Sukyoung Ryu. 2015. Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling. In ASE\u201915.","DOI":"10.1109\/ASE.2015.27"},{"key":"e_1_3_2_1_23_1","unstructured":"Jihyeok Park and Sukyoung Ryu. 2016. Inter-Device Task Dispatch Framework for Web Applications: Supplementary. http:\/\/plrg.kaist.ac.kr\/lib\/exe\/fetch.php? media=research:material:proof.pdf. (2016).  Jihyeok Park and Sukyoung Ryu. 2016. Inter-Device Task Dispatch Framework for Web Applications: Supplementary. http:\/\/plrg.kaist.ac.kr\/lib\/exe\/fetch.php? media=research:material:proof.pdf. (2016)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Mahadev Satyanarayanan. 2015. A Brief History of Cloud Offload: A Personal Journey from Odyssey Through Cyber Foraging to Cloudlets. GetMobile: Mobile Comp. and Comm. 18 4 (2015). 10.1145\/2721914.2721921   Mahadev Satyanarayanan. 2015. A Brief History of Cloud Offload: A Personal Journey from Odyssey Through Cyber Foraging to Cloudlets. GetMobile: Mobile Comp. and Comm. 18 4 (2015). 10.1145\/2721914.2721921","DOI":"10.1145\/2721914.2721921"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Max Sch\u00e4fer Manu Sridharan Julian Dolby and Frank Tip. 2013. Dynamic Determinacy Analysis. In PLDI\u201913. 10.1145\/2491956.2462168   Max Sch\u00e4fer Manu Sridharan Julian Dolby and Frank Tip. 2013. Dynamic Determinacy Analysis. In PLDI\u201913. 10.1145\/2491956.2462168","DOI":"10.1145\/2491956.2462168"}],"event":{"name":"<Programming> 2018: 2nd International Conference on the Art, Science, and Engineering of Programming 2018","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Nice France","acronym":"<Programming> 2018"},"container-title":["Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3191732","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3191697.3191732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:32Z","timestamp":1750212692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3191732"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":24,"alternative-id":["10.1145\/3191697.3191732","10.1145\/3191697"],"URL":"https:\/\/doi.org\/10.1145\/3191697.3191732","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]}}}