{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T08:42:59Z","timestamp":1777106579221,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,3,19]],"date-time":"2018-03-19T00:00:00Z","timestamp":1521417600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Huawei"},{"name":"Google Faculty Research Award"},{"name":"CERES Center for Unstoppable Computing"},{"name":"CCF","award":["1514189, 1439091"],"award-info":[{"award-number":["1514189, 1439091"]}]},{"name":"CNS","award":["1563956, 1514256"],"award-info":[{"award-number":["1563956, 1514256"]}]},{"name":"IIS","award":["1546543"],"award-info":[{"award-number":["1546543"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,3,19]]},"DOI":"10.1145\/3173162.3177161","type":"proceedings-article","created":{"date-parts":[[2018,3,22]],"date-time":"2018-03-22T11:15:40Z","timestamp":1521717340000},"page":"419-431","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["FCatch"],"prefix":"10.1145","author":[{"given":"Haopeng","family":"Liu","sequence":"first","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xu","family":"Wang","sequence":"additional","affiliation":[{"name":"Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guangpu","family":"Li","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shan","family":"Lu","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Ye","sequence":"additional","affiliation":[{"name":"Huawei US R&D Center, San Francisco, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Tian","sequence":"additional","affiliation":[{"name":"Huawei US R&D Center, San Francisco, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,3,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/issues.apache.org\/jira\/browse\/HBASE-3596","year":"2011","unstructured":"Hbase-3596. https:\/\/issues.apache.org\/jira\/browse\/HBASE-3596 , 2011 . Hbase-3596. https:\/\/issues.apache.org\/jira\/browse\/HBASE-3596, 2011."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/issues.apache.org\/jira\/browse\/MAPREDUCE-3858","year":"2012","unstructured":"Mapreduce-3858. https:\/\/issues.apache.org\/jira\/browse\/MAPREDUCE-3858 , 2012 . Mapreduce-3858. https:\/\/issues.apache.org\/jira\/browse\/MAPREDUCE-3858, 2012."},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-5393","year":"2013","unstructured":"Cassandra-5393. https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-5393 , 2013 . Cassandra-5393. https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-5393, 2013."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-6415","year":"2013","unstructured":"Cassandra-6415. https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-6415 , 2013 . Cassandra-6415. https:\/\/issues.apache.org\/jira\/browse\/CASSANDRA-6415, 2013."},{"key":"e_1_3_2_1_5_1","volume-title":"https:\/\/issues.apache.org\/jira\/browse\/HBASE-10090","year":"2013","unstructured":"Hbase-10090. https:\/\/issues.apache.org\/jira\/browse\/HBASE-10090 , 2013 . Hbase-10090. https:\/\/issues.apache.org\/jira\/browse\/HBASE-10090, 2013."},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/issues.apache.org\/jira\/browse\/MAPREDUCE-5476","year":"2013","unstructured":"Mapreduce-5476. https:\/\/issues.apache.org\/jira\/browse\/MAPREDUCE-5476 , 2013 . Mapreduce-5476. https:\/\/issues.apache.org\/jira\/browse\/MAPREDUCE-5476, 2013."},{"key":"e_1_3_2_1_7_1","volume-title":"https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-1653","year":"2013","unstructured":"Zookeeper-1653. https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-1653 , 2013 . Zookeeper-1653. https:\/\/issues.apache.org\/jira\/browse\/ZOOKEEPER-1653, 2013."},{"key":"e_1_3_2_1_8_1","volume-title":"https:\/\/docs.oracle.com\/javase\/7\/docs\/api\/java\/lang\/Object.html#hashCode()","author":"Java","year":"2017","unstructured":"Java platform standard edition 7 documentation. https:\/\/docs.oracle.com\/javase\/7\/docs\/api\/java\/lang\/Object.html#hashCode() , 2017 . Java platform standard edition 7 documentation. https:\/\/docs.oracle.com\/javase\/7\/docs\/api\/java\/lang\/Object.html#hashCode(), 2017."},{"key":"e_1_3_2_1_9_1","volume-title":"OSDI","author":"Alagappan Ramnatthan","year":"2016","unstructured":"Ramnatthan Alagappan , Aishwarya Ganesan , Yuvraj Patel , Thanumalayan Sankaranarayana Pillai , Andrea C Arpaci-Dusseau , and Remzi H Arpaci-Dusseau . Correlated crash vulnerabilities . In OSDI , 2016 . Ramnatthan Alagappan, Aishwarya Ganesan, Yuvraj Patel, Thanumalayan Sankaranarayana Pillai, Andrea C Arpaci-Dusseau, and Remzi H Arpaci-Dusseau. Correlated crash vulnerabilities. In OSDI, 2016."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2987550.2987555"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2723711"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984019"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009895"},{"key":"e_1_3_2_1_14_1","volume-title":"Interactive theorem proving and program development. coq'art: The calculus of inductive constructions","author":"Cast\u00e9ran Pierre","year":"2004","unstructured":"Pierre Cast\u00e9ran and Yves Bertot . Interactive theorem proving and program development. coq'art: The calculus of inductive constructions ., 2004 . Pierre Cast\u00e9ran and Yves Bertot. Interactive theorem proving and program development. coq'art: The calculus of inductive constructions., 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368119"},{"key":"e_1_3_2_1_16_1","volume-title":"Recent aws outage and how you could have avoided downtime. https:\/\/medium.com\/@datapath_io\/recent-aws-outage-and-how-you-could-have-avoided-downtime-7d9d9443d776","year":"2017","unstructured":"Datapath.io. Recent aws outage and how you could have avoided downtime. https:\/\/medium.com\/@datapath_io\/recent-aws-outage-and-how-you-could-have-avoided-downtime-7d9d9443d776 , 2017 . Datapath.io. Recent aws outage and how you could have avoided downtime. https:\/\/medium.com\/@datapath_io\/recent-aws-outage-and-how-you-could-have-avoided-downtime-7d9d9443d776, 2017."},{"key":"e_1_3_2_1_17_1","volume-title":"lessons and advice from building large distributed systems. Keynote from LADIS","author":"Dean Jeff","year":"2009","unstructured":"Jeff Dean . Designs , lessons and advice from building large distributed systems. Keynote from LADIS , 2009 . Jeff Dean. Designs, lessons and advice from building large distributed systems. Keynote from LADIS, 2009."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737996"},{"key":"e_1_3_2_1_19_1","volume-title":"FAST","author":"Ganesan Aishwarya","year":"2017","unstructured":"Aishwarya Ganesan , Ramnatthan Alagappan , Andrea C Arpaci-Dusseau , and Remzi H Arpaci-Dusseau . Redundancy does not imply fault tolerance: Analysis of distributed storage reactions to single errors and corruptions . In FAST , 2017 . Aishwarya Ganesan, Ramnatthan Alagappan, Andrea C Arpaci-Dusseau, and Remzi H Arpaci-Dusseau. Redundancy does not imply fault tolerance: Analysis of distributed storage reactions to single errors and corruptions. In FAST, 2017."},{"key":"e_1_3_2_1_20_1","volume-title":"NSDI","author":"Gunawi Haryadi S.","year":"2011","unstructured":"Haryadi S. Gunawi , Thanh Do , Pallavi Joshi , Peter Alvaro , Joseph M. Hellerstein , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , Koushik Sen , and Dhruba Borthakur . textscFate and textscDestini: A Framework for Cloud Recovery Testing . In NSDI , 2011 . Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, and Dhruba Borthakur. textscFate and textscDestini: A Framework for Cloud Recovery Testing. In NSDI, 2011."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_1_22_1","volume-title":"FAST","author":"Gunawi Haryadi S.","year":"2008","unstructured":"Haryadi S. Gunawi , Cindy Rubio-Gonz\u00e1lez , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , and Ben Liblit . EIO : error handling is occasionally correct . In FAST , 2008 . Haryadi S. Gunawi, Cindy Rubio-Gonz\u00e1lez, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Ben Liblit. EIO: error handling is occasionally correct. In FAST, 2008."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043582"},{"key":"e_1_3_2_1_24_1","volume-title":"HotOS","author":"Guo Zhenyu","year":"2013","unstructured":"Zhenyu Guo , Sean McDirmid , Mao Yang , Li Zhuang , Pu Zhang , Yingwei Luo , Tom Bergan , Peter Bodik , Madan Musuvathi , Zheng Zhang , and Lidong Zhou . Failure recovery : When the cure is worse than the disease . In HotOS , 2013 . Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Peter Bodik, Madan Musuvathi, Zheng Zhang, and Lidong Zhou. Failure recovery: When the cure is worse than the disease. In HotOS, 2013."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815428"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594330"},{"key":"e_1_3_2_1_27_1","unstructured":"IBM. Main page - walawiki. http:\/\/wala.sourceforge.net\/wiki\/index.php\/Main_Page.  IBM. Main page - walawiki. http:\/\/wala.sourceforge.net\/wiki\/index.php\/Main_Page."},{"key":"e_1_3_2_1_28_1","unstructured":"jboss javassist. Javassist. http:\/\/jboss-javassist.github.io\/javassist\/.  jboss javassist. Javassist. http:\/\/jboss-javassist.github.io\/javassist\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2524211.2524217"},{"key":"e_1_3_2_1_30_1","volume-title":"NSDI","author":"Killian Charles","year":"2007","unstructured":"Charles Killian , James Anderson , Ranjit Jhala , and Amin Vahdat . Life, Death, and the Critical Transition : Finding Liveness Bugs in Systems Code . In NSDI , 2007 . Charles Killian, James Anderson, Ranjit Jhala, and Amin Vahdat. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In NSDI, 2007."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872381"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837648"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_34_1","volume-title":"Specifying systems: the TLA+ language and tools for hardware and software engineers","author":"Lamport Leslie","year":"2002","unstructured":"Leslie Lamport . Specifying systems: the TLA+ language and tools for hardware and software engineers . Addison-Wesley Longman Publishing Co., Inc. , 2002 . Leslie Lamport. Specifying systems: the TLA+ language and tools for hardware and software engineers. Addison-Wesley Longman Publishing Co., Inc., 2002."},{"key":"e_1_3_2_1_35_1","volume-title":"ATC","author":"Lantz Philip","year":"2014","unstructured":"Philip Lantz , Dulloor Subramanya Rao , Sanjay Kumar , Rajesh Sankaran , and Jeff Jackson . Yat : A validation framework for persistent memory software . In ATC , 2014 . Philip Lantz, Dulloor Subramanya Rao, Sanjay Kumar, Rajesh Sankaran, and Jeff Jackson. Yat: A validation framework for persistent memory software. In ATC, 2014."},{"key":"e_1_3_2_1_36_1","volume-title":"SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In OSDI","author":"Leesatapornwongsa Tanakorn","year":"2014","unstructured":"Tanakorn Leesatapornwongsa , Mingzhe Hao , Pallavi Joshi , Jeffrey F. Lukman , and Haryadi S . Gunawi . SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In OSDI , 2014 . Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, and Haryadi S. Gunawi. SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In OSDI, 2014."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2671004"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037735"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815415"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594311"},{"key":"e_1_3_2_1_42_1","unstructured":"IHS Markit. Businesses losing $700 billion a year to it downtime says ihs. http:\/\/news.ihsmarkit.com\/press-release\/technology\/businesses-losing-700-billion-year-it-downtime-says-ihs 2016.  IHS Markit. Businesses losing $700 billion a year to it downtime says ihs. http:\/\/news.ihsmarkit.com\/press-release\/technology\/businesses-losing-700-billion-year-it-downtime-says-ihs 2016."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037751"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/109625.109640"},{"key":"e_1_3_2_1_45_1","unstructured":"Oracle. Virtualbox -- oracle vm virtualbox. https:\/\/www.virtualbox.org\/wiki\/VirtualBox.  Oracle. Virtualbox -- oracle vm virtualbox. https:\/\/www.virtualbox.org\/wiki\/VirtualBox."},{"key":"e_1_3_2_1_46_1","volume-title":"ISCA","author":"Pelley Steven","year":"2014","unstructured":"Steven Pelley , Peter M Chen , and Thomas F Wenisch . Memory persistency . In ISCA , 2014 . Steven Pelley, Peter M Chen, and Thomas F Wenisch. Memory persistency. In ISCA, 2014."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254095"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542506"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575307"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_51_1","volume-title":"SSV","author":"Simsa Jiri","year":"2010","unstructured":"Jiri Simsa , Randy Bryant , and Garth Gibson . dBug : Systematic Evaluation of Distributed Systems . In SSV , 2010 . Jiri Simsa, Randy Bryant, and Garth Gibson. dBug: Systematic Evaluation of Distributed Systems. In SSV, 2010."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390649"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950379"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_2_1_55_1","volume-title":"OSDI","author":"Xiong Weiwei","year":"2010","unstructured":"Weiwei Xiong , Soyeon Park , Jiaqi Zhang , Yuanyuan Zhou , and Zhiqiang Ma . Ad Hoc Synchronization Considered Harmful . In OSDI , 2010 . Weiwei Xiong, Soyeon Park, Jiaqi Zhang, Yuanyuan Zhou, and Zhiqiang Ma. Ad Hoc Synchronization Considered Harmful. In OSDI, 2010."},{"key":"e_1_3_2_1_56_1","volume-title":"NSDI","author":"Yang Junfeng","year":"2009","unstructured":"Junfeng Yang , Tisheng Chen , Ming Wu , Zhilei Xu , Xuezheng Liu , Haoxiang Lin , Mao Yang , Fan Long , Lintao Zhang , and Lidong Zhou . MODIST : Transparent Model Checking of Unmodified Distributed Systems . In NSDI , 2009 . Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI, 2009."},{"key":"e_1_3_2_1_57_1","volume-title":"OSDI","author":"Yang Junfeng","year":"2006","unstructured":"Junfeng Yang , Can Sar , and Dawson Engler . Explode : a lightweight, general system for finding serious storage system errors . In OSDI , 2006 . Junfeng Yang, Can Sar, and Dawson Engler. Explode: a lightweight, general system for finding serious storage system errors. In OSDI, 2006."},{"key":"e_1_3_2_1_58_1","volume-title":"OSDI","author":"Yang Junfeng","year":"2004","unstructured":"Junfeng Yang , Paul Twohey , Dawson Engler , and Madanlal Musuvathi . Using model checking to find serious file system errors . In OSDI , 2004 . Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. Using model checking to find serious file system errors. In OSDI, 2004."},{"key":"e_1_3_2_1_59_1","volume-title":"OSDI","author":"Yuan Ding","year":"2014","unstructured":"Ding Yuan , Yu Luo , Xin Zhuang , Guilherme Renna Rodrigues , Xu Zhao , Yongle Zhang , Pranay Jain , and Michael Stumm . Simple testing can prevent most critical failures: An analysis of production failures in distributed data-intensive systems . In OSDI , 2014 . Ding Yuan, Yu Luo, Xin Zhuang, Guilherme Renna Rodrigues, Xu Zhao, Yongle Zhang, Pranay Jain, and Michael Stumm. Simple testing can prevent most critical failures: An analysis of production failures in distributed data-intensive systems. In OSDI, 2014."},{"key":"e_1_3_2_1_60_1","volume-title":"OSDI","author":"Zheng Mai","year":"2014","unstructured":"Mai Zheng , Joseph Tucek , Dachuan Huang , Feng Qin , Mark Lillibridge , Elizabeth S Yang , Bill W Zhao , and Shashank Singh . Torturing databases for fun and profit . In OSDI , 2014 . Mai Zheng, Joseph Tucek, Dachuan Huang, Feng Qin, Mark Lillibridge, Elizabeth S Yang, Bill W Zhao, and Shashank Singh. Torturing databases for fun and profit. In OSDI, 2014."}],"event":{"name":"ASPLOS '18: Architectural Support for Programming Languages and Operating Systems","location":"Williamsburg VA USA","acronym":"ASPLOS '18","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-Third International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3173162.3177161","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3173162.3177161","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3173162.3177161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:26:24Z","timestamp":1750199184000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3173162.3177161"}},"subtitle":["Automatically Detecting Time-of-fault Bugs in Cloud Systems"],"short-title":[],"issued":{"date-parts":[[2018,3,19]]},"references-count":60,"alternative-id":["10.1145\/3173162.3177161","10.1145\/3173162"],"URL":"https:\/\/doi.org\/10.1145\/3173162.3177161","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296957.3177161","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,3,19]]},"assertion":[{"value":"2018-03-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}