{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:46Z","timestamp":1750220746611,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"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":[[2020,6,27]]},"DOI":"10.1145\/3387940.3392201","type":"proceedings-article","created":{"date-parts":[[2020,9,25]],"date-time":"2020-09-25T15:22:00Z","timestamp":1601047320000},"page":"3-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair"],"prefix":"10.1145","author":[{"given":"Yu","family":"Huang","sequence":"first","affiliation":[{"name":"University of Michigan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Angstadt","sequence":"additional","affiliation":[{"name":"University of Michigan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Leach","sequence":"additional","affiliation":[{"name":"University of Michigan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Westley","family":"Weimer","sequence":"additional","affiliation":[{"name":"University of Michigan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,9,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161063"},{"key":"e_1_3_2_1_3_1","first-page":"4","volume-title":"Foundations of Software Engineering","author":"Bird C.","year":"2011","unstructured":"C. Bird , N. Nagappan , B. Murphy , H. Gall , and P. Devanbu . Don't touch my code!: Examining the effects of ownership on software quality . In Foundations of Software Engineering , pages 4 -- 14 , New York, NY, USA , 2011 . ACM. C. Bird, N. Nagappan, B. Murphy, H. Gall, and P. Devanbu. Don't touch my code!: Examining the effects of ownership on software quality. In Foundations of Software Engineering, pages 4--14, New York, NY, USA, 2011. ACM."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781513"},{"key":"e_1_3_2_1_5_1","volume-title":"Anomaly detection: A survey. ACM Computing Surveys (CSUR), 41(3):15","author":"Chandola V.","year":"2009","unstructured":"V. Chandola , A. Banerjee , and V. Kumar . Anomaly detection: A survey. ACM Computing Surveys (CSUR), 41(3):15 , 2009 . V. Chandola, A. Banerjee, and V. Kumar. Anomaly detection: A survey. ACM Computing Surveys (CSUR), 41(3):15, 2009."},{"key":"e_1_3_2_1_6_1","first-page":"1","volume-title":"Supercomputing","author":"Chen Y.","year":"1997","unstructured":"Y. Chen , J. S. Plank , and K. Li . Clip: A checkpointing tool for message-passing parallel programs . In Supercomputing , pages 1 -- 11 , 1997 . Y. Chen, J. S. Plank, and K. Li. Clip: A checkpointing tool for message-passing parallel programs. In Supercomputing, pages 1--11, 1997."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593735.2593740"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647540.730008"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3182526"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297051"},{"key":"e_1_3_2_1_11_1","first-page":"129","volume-title":"Supercomputing","author":"Hendriks E.","year":"2002","unstructured":"E. Hendriks . Bproc : The beowulf distributed process space . In Supercomputing , pages 129 -- 136 , 2002 . E. Hendriks. Bproc: The beowulf distributed process space. In Supercomputing, pages 129--136, 2002."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108970.1108971"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2016.63"},{"key":"e_1_3_2_1_14_1","first-page":"191","volume-title":"Security and Privacy","author":"Hund R.","year":"2013","unstructured":"R. Hund , C. Willems , and T. Holz . Practical timing side channel attacks against kernel space aslr . In Security and Privacy , pages 191 -- 205 , 2013 . R. Hund, C. Willems, and T. Holz. Practical timing side channel attacks against kernel space aslr. In Security and Privacy, pages 191--205, 2013."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_16_1","volume-title":"University of Toledo","author":"Javaid A. Y.","year":"2015","unstructured":"A. Y. Javaid . Cyber security threat analysis and attack simulation for unmanned aerial vehicle network. PhD thesis , University of Toledo , 2015 . A. Y. Javaid. Cyber security threat analysis and attack simulation for unmanned aerial vehicle network. PhD thesis, University of Toledo, 2015."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/THS.2012.6459914"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.774907"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948146"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005209"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_22_1","first-page":"1","volume-title":"Infotech@ Aerospace","author":"Kim A.","year":"2012","unstructured":"A. Kim , B. Wampler , J. Goppert , I. Hwang , and H. Aldridge . Cyber attack vulnerabilities analysis for unmanned aerial vehicles . In Infotech@ Aerospace , pages 1 -- 30 , 2012 . A. Kim, B. Wampler, J. Goppert, I. Hwang, and H. Aldridge. Cyber attack vulnerabilities analysis for unmanned aerial vehicles. In Infotech@ Aerospace, pages 1--30, 2012."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_16"},{"key":"e_1_3_2_1_24_1","volume-title":"Linux Symposium","volume":"159","author":"Laadan O.","year":"2010","unstructured":"O. Laadan and S. E. Hallyn . Linux-cr: Transparent application checkpoint-restart in linux . In Linux Symposium , volume 159 , 2010 . O. Laadan and S. E. Hallyn. Linux-cr: Transparent application checkpoint-restart in linux. In Linux Symposium, volume 159, 2010."},{"key":"e_1_3_2_1_25_1","first-page":"3","volume-title":"International Conference on Software Engineering","author":"Le Goues C.","year":"2012","unstructured":"C. Le Goues , M. Dewey-Vogt , S. Forrest , and W. Weimer . A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each . In International Conference on Software Engineering , pages 3 -- 13 , 2012 . C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each. In International Conference on Software Engineering, pages 3--13, 2012."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837617"},{"key":"e_1_3_2_1_27_1","volume-title":"Operating System Design and Implementation, page 20","author":"Lowell D. E.","year":"2000","unstructured":"D. E. Lowell , S. Chandra , and P. M. Chen . Exploring failure transparency and the limits of generic recovery . In Operating System Design and Implementation, page 20 , 2000 . D. E. Lowell, S. Chandra, and P. M. Chen. Exploring failure transparency and the limits of generic recovery. In Operating System Design and Implementation, page 20, 2000."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-016-9470-4"},{"key":"e_1_3_2_1_29_1","volume-title":"Vulnerability analysis of the mavlink protocol for command and control of unmanned aircraft. Technical report","author":"Marty J. A.","year":"2013","unstructured":"J. A. Marty . Vulnerability analysis of the mavlink protocol for command and control of unmanned aircraft. Technical report , Air Force Institute of Technology , 2013 . J. A. Marty. Vulnerability analysis of the mavlink protocol for command and control of unmanned aircraft. Technical report, Air Force Institute of Technology, 2013."},{"key":"e_1_3_2_1_30_1","first-page":"691","volume-title":"International Conference on Software Engineering","author":"Mechtaev S.","year":"2016","unstructured":"S. Mechtaev , J. Yi , and A. Roychoudhury . Angelix: Scalable multiline program patch synthesis via symbolic analysis . In International Conference on Software Engineering , pages 691 -- 701 , 2016 . S. Mechtaev, J. Yi, and A. Roychoudhury. Angelix: Scalable multiline program patch synthesis via symbolic analysis. In International Conference on Software Engineering, pages 691--701, 2016."},{"key":"e_1_3_2_1_31_1","volume-title":"Automatic software repair: a bibliography. ACM Computing Surveys (CSUR), 51(1):17","author":"Monperrus M.","year":"2018","unstructured":"M. Monperrus . Automatic software repair: a bibliography. ACM Computing Surveys (CSUR), 51(1):17 , 2018 . M. Monperrus. Automatic software repair: a bibliography. ACM Computing Surveys (CSUR), 51(1):17, 2018."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140103.1140303"},{"key":"e_1_3_2_1_33_1","first-page":"772","volume-title":"International Conference on Software Engineering","author":"Nguyen H. D. T.","year":"2013","unstructured":"H. D. T. Nguyen , D. Qi , A. Roychoudhury , and S. Chandra . Semfix: Program repair via semantic analysis . In International Conference on Software Engineering , pages 772 -- 781 , 2013 . H. D. T. Nguyen, D. Qi, A. Roychoudhury, and S. Chandra. Semfix: Program repair via semantic analysis. In International Conference on Software Engineering, pages 772--781, 2013."},{"key":"e_1_3_2_1_34_1","volume-title":"The design and implementation of zap: A system for migrating computing environments. ACM SIGOPS Operating Systems Review, 36(SI):361--376","author":"Osman S.","year":"2002","unstructured":"S. Osman , D. Subhraveti , G. Su , and J. Nieh . The design and implementation of zap: A system for migrating computing environments. ACM SIGOPS Operating Systems Review, 36(SI):361--376 , 2002 . S. Osman, D. Subhraveti, G. Su, and J. Nieh. The design and implementation of zap: A system for migrating computing environments. ACM SIGOPS Operating Systems Review, 36(SI):361--376, 2002."},{"volume-title":"https:\/\/criu.org","year":"2012","key":"e_1_3_2_1_35_1","unstructured":"Pavel Emelyanov. Checkpoint\/restore in userspace. In https:\/\/criu.org , 2012 . Pavel Emelyanov. Checkpoint\/restore in userspace. In https:\/\/criu.org, 2012."},{"key":"e_1_3_2_1_36_1","first-page":"167","volume-title":"Electronics and Microelectronics","author":"Perkov L.","year":"2011","unstructured":"L. Perkov , N. Pavkovi\u0107 , and J. Petrovi\u0107 . High-availability using open source software. In Information and Communication Technology , Electronics and Microelectronics , pages 167 -- 170 , 2011 . L. Perkov, N. Pavkovi\u0107, and J. Petrovi\u0107. High-availability using open source software. In Information and Communication Technology, Electronics and Microelectronics, pages 167--170, 2011."},{"key":"e_1_3_2_1_37_1","volume-title":"Eduardo pinheiro checkpoint project","author":"Pinheiro E.","year":"2004","unstructured":"E. Pinheiro . Epckpt : Eduardo pinheiro checkpoint project , 2004 . E. Pinheiro. Epckpt: Eduardo pinheiro checkpoint project, 2004."},{"key":"e_1_3_2_1_38_1","volume-title":"Libckpt: Transparent Checkpointing under Unix","author":"Plank J. S.","year":"1995","unstructured":"J. S. Plank , M. Beck , G. Kingsley , and K. Li . Libckpt: Transparent Checkpointing under Unix . January 1995 . J. S. Plank, M. Beck, G. Kingsley, and K. Li. Libckpt: Transparent Checkpointing under Unix. January 1995."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/773379.806619"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.29"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"volume-title":"https:\/\/www.darpa.mil\/program\/high-assurance-cyber-military-systems","year":"2015","key":"e_1_3_2_1_42_1","unstructured":"High-assurance cyber military systems (HACMS). https:\/\/www.darpa.mil\/program\/high-assurance-cyber-military-systems , 2015 . High-assurance cyber military systems (HACMS). https:\/\/www.darpa.mil\/program\/high-assurance-cyber-military-systems, 2015."},{"key":"e_1_3_2_1_43_1","first-page":"491","volume-title":"International Conference on Software Engineering","author":"Rahman F.","year":"2011","unstructured":"F. Rahman and P. Devanbu . Ownership, experience and defects: A fine-grained study of authorship . In International Conference on Software Engineering , pages 491 -- 500 , 2011 . F. Rahman and P. Devanbu. Ownership, experience and defects: A fine-grained study of authorship. In International Conference on Software Engineering, pages 491--500, 2011."},{"key":"e_1_3_2_1_44_1","volume-title":"boost c++ libraries","author":"Ramey R.","year":"2004","unstructured":"R. Ramey . boost c++ libraries , 2004 . R. Ramey. boost c++ libraries, 2004."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/291469.291476"},{"key":"e_1_3_2_1_47_1","first-page":"229","volume-title":"Lisa","volume":"99","author":"Roesch M.","year":"1999","unstructured":"M. Roesch : Lightweight intrusion detection for networks . In Lisa , volume 99 , pages 229 -- 238 , 1999 . M. Roesch et al. Snort: Lightweight intrusion detection for networks. In Lisa, volume 99, pages 229--238, 1999."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706316"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.157"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342005056139"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/190.357399"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.199735"},{"key":"e_1_3_2_1_53_1","first-page":"201","volume-title":"USENIX Security Symposium","author":"Shankar U.","year":"2001","unstructured":"U. Shankar , K. Talwar , J. S. Foster , and D. Wagner . Detecting format string vulnerabilities with type qualifiers . In USENIX Security Symposium , pages 201 -- 220 , 2001 . U. Shankar, K. Talwar, J. S. Foster, and D. Wagner. Detecting format string vulnerabilities with type qualifiers. In USENIX Security Symposium, pages 201--220, 2001."},{"key":"e_1_3_2_1_54_1","volume-title":"Radionavigation Laboratory Conference Proceedings","author":"Shepard D. P.","year":"2012","unstructured":"D. P. Shepard , J. A. Bhatti , T. E. Humphreys , and A. A. Fansler . Evaluation of smart grid and civilian uav vulnerability to gps spoofing attacks . In Radionavigation Laboratory Conference Proceedings , 2012 . D. P. Shepard, J. A. Bhatti, T. E. Humphreys, and A. A. Fansler. Evaluation of smart grid and civilian uav vulnerability to gps spoofing attacks. In Radionavigation Laboratory Conference Proceedings, 2012."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/129612"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/iThings-GreenCom-CPSCom-SmartData.2016.52"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"e_1_3_2_1_58_1","volume-title":"Darjeeling: a language-agnostic search-based program repair tool. In https:\/\/github.com\/squaresLab\/Darjeeling","author":"Timperley C.","year":"2020","unstructured":"C. Timperley and C. Le Goues . Darjeeling: a language-agnostic search-based program repair tool. In https:\/\/github.com\/squaresLab\/Darjeeling , 2020 . C. Timperley and C. Le Goues. Darjeeling: a language-agnostic search-based program repair tool. In https:\/\/github.com\/squaresLab\/Darjeeling, 2020."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180250"},{"volume-title":"https:\/\/bproc.sourceforge.net","year":"2002","key":"e_1_3_2_1_60_1","unstructured":"Vmadump. https:\/\/bproc.sourceforge.net , 2002 . Vmadump. https:\/\/bproc.sourceforge.net, 2002."},{"key":"e_1_3_2_1_61_1","first-page":"00","volume-title":"Fault-Tolerant Computing","author":"Wang Y.-M.","year":"1995","unstructured":"Y.-M. Wang , Y. Huang , K.-P. Vo , P.-Y. Chung , and C. Kintala . Checkpointing and its applications . In Fault-Tolerant Computing , pages 00 -- 22 , 1995 . Y.-M. Wang, Y. Huang, K.-P. Vo, P.-Y. Chung, and C. Kintala. Checkpointing and its applications. In Fault-Tolerant Computing, pages 00--22, 1995."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2016.64"},{"key":"e_1_3_2_1_63_1","first-page":"364","volume-title":"International Conference on Software Engineering","author":"Weimer W.","year":"2009","unstructured":"W. Weimer , T. Nguyen , C. Le Goues , and S. Forrest . Automatically finding patches using genetic programming . In International Conference on Software Engineering , pages 364 -- 374 , 2009 . W. Weimer, T. Nguyen, C. Le Goues, and S. Forrest. Automatically finding patches using genetic programming. In International Conference on Software Engineering, pages 364--374, 2009."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/mm.2013.18"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"],"location":"Seoul Republic of Korea","acronym":"ICSE '20"},"container-title":["Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387940.3392201","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387940.3392201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:47Z","timestamp":1750199927000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387940.3392201"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":63,"alternative-id":["10.1145\/3387940.3392201","10.1145\/3387940"],"URL":"https:\/\/doi.org\/10.1145\/3387940.3392201","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}