{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:54:56Z","timestamp":1760043296847,"version":"3.40.3"},"publisher-location":"Cham","reference-count":59,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030532871"},{"type":"electronic","value":"9783030532888"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,14]],"date-time":"2020-07-14T00:00:00Z","timestamp":1594684800000},"content-version":"vor","delay-in-days":195,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-53288-8_16","type":"book-chapter","created":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T19:03:27Z","timestamp":1594839807000},"page":"324-349","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Hampa: Solver-Aided Recency-Aware Replication"],"prefix":"10.1007","author":[{"given":"Xiao","family":"Li","sequence":"first","affiliation":[]},{"given":"Farzin","family":"Houshmand","sequence":"additional","affiliation":[]},{"given":"Mohsen","family":"Lesani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,14]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, D.: Consistency tradeoffs in modern distributed database system design. Computer 45(2) (2012)","DOI":"10.1109\/MC.2012.33"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF01784241","volume":"9","author":"M Ahamad","year":"1995","unstructured":"Ahamad, M., Neiger, G., Burns, J.E., Kohli, P., Hutto, P.W.: Causal memory: definitions, implementation, and programming. Distrib. Comput. 9(1), 37\u201349 (1995)","journal-title":"Distrib. Comput."},{"issue":"3","key":"16_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3241062","volume":"14","author":"R Alagappan","year":"2018","unstructured":"Alagappan, R., et al.: Protocol-aware recovery for consensus-based distributed storage. ACM Trans. Storage (TOS) 14(3), 1\u201330 (2018)","journal-title":"ACM Trans. Storage (TOS)"},{"key":"16_CR4","unstructured":"Alglave, J., Cousot, P., Maranget, L.: Syntax and semantics of the weak consistency model specification language cat. arXiv preprint \narXiv:1608.07531\n\n (2016)"},{"key":"16_CR5","unstructured":"Appendix: Appendix. Attached at the paper (2020)"},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.14778\/2078331.2078334","volume":"5","author":"M Armbrust","year":"2011","unstructured":"Armbrust, M., Curtis, K., Kraska, T., Fox, A., Franklin, M.J., Patterson, D.A.: PIQL: success-tolerant query processing in the cloud. Proc. VLDB Endow. 5(3), 181\u2013192 (2011)","journal-title":"Proc. VLDB Endow."},{"key":"16_CR7","doi-asserted-by":"publisher","unstructured":"Bailis, P., Fekete, A., Franklin, M.J., Ghodsi, A., Hellerstein, J.M., Stoica, I.: Coordination avoidance in database systems. Proc. VLDB Endow. 8(3), 185\u2013196 (2014). \nhttps:\/\/doi.org\/10.14778\/2735508.2735509","DOI":"10.14778\/2735508.2735509"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Bailis, P., Fekete, A., Franklin, M.J., Ghodsi, A., Hellerstein, J.M., Stoica, I.: Feral concurrency control: An empirical investigation of modern application integrity. In: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, pp. 1327\u20131342. ACM (2015)","DOI":"10.1145\/2723372.2737784"},{"issue":"8","key":"16_CR9","doi-asserted-by":"publisher","first-page":"776","DOI":"10.14778\/2212351.2212359","volume":"5","author":"P Bailis","year":"2012","unstructured":"Bailis, P., Venkataraman, S., Franklin, M.J., Hellerstein, J.M., Stoica, I.: Probabilistically bounded staleness for practical partial quorums. Proc. VLDB Endow. 5(8), 776\u2013787 (2012)","journal-title":"Proc. VLDB Endow."},{"key":"16_CR10","doi-asserted-by":"publisher","unstructured":"Balegas, V., et al.: Putting consistency back into eventual consistency. In: Proceedings of the Tenth European Conference on Computer Systems, EuroSys 2015, pp. 6:1\u20136:16. ACM, New York (2015). \nhttps:\/\/doi.org\/10.1145\/2741948.2741972","DOI":"10.1145\/2741948.2741972"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-22110-1_14","volume-title":"Computer Aided Verification","author":"C Barrett","year":"2011","unstructured":"Barrett, C.: CVC4. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 171\u2013177. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-22110-1_14\n\n. \nhttp:\/\/www.cs.stanford.edu\/~barrett\/pubs\/BCD+11.pdf"},{"key":"16_CR12","unstructured":"Belaramani, N., et al.: PRACTI replication. In: Proceedings NSDI (2006)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Birman, K.P.: Replication and fault-tolerance in the ISIS system. In: Proceedings SOSP (1985)","DOI":"10.1145\/323647.323636"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: Automated conflict-free distributed implementation of component-based models. In: International Symposium on Industrial Embedded System (SIES), pp. 108\u2013117. IEEE (2010)","DOI":"10.1109\/SIES.2010.5551377"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Enea, C., Hamza, J.: Verifying eventual consistency of optimistic replication systems. In: Proceedings POPL (2014)","DOI":"10.1145\/2535838.2535877"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-030-39322-9_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A Bouajjani","year":"2020","unstructured":"Bouajjani, A., Enea, C., Mukund, M., Shenoy R., G., Suresh, S.P.: Formalizing and checking multilevel\u00a0consistency. In: Beyer, D., Zufferey, D. (eds.) VMCAI 2020. LNCS, vol. 11990, pp. 379\u2013400. Springer, Cham (2020). \nhttps:\/\/doi.org\/10.1007\/978-3-030-39322-9_18"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., Gotsman, A., Yang, H., Zawirski, M.: Replicated data types: specification, verification, optimality. In: Proceedings POPL (2014)","DOI":"10.1145\/2535838.2535848"},{"key":"16_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15260-310.1007\/978-3-642-15260-3","volume-title":"Introduction to Reliable and Secure Distributed Programming","author":"C Cachin","year":"2011","unstructured":"Cachin, C., Guerraoui, R., Rodrigues, L.: Introduction to Reliable and Secure Distributed Programming, 2nd edn. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-15260-310.1007\/978-3-642-15260-3","edition":"2"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Clancy, K., Miller, H.: Monotonicity types for distributed dataflow. In: Proceedings of the Programming Models and Languages for Distributed Computing, p. 2. ACM (2017)","DOI":"10.1145\/3166089.3166090"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Cooper, B.F., et al.: PNUTS: Yahoo!\u2019s hosted data serving platform. Proc. VLDB Endow. 1(2) (2008)","DOI":"10.14778\/1454159.1454167"},{"key":"16_CR21","doi-asserted-by":"publisher","unstructured":"Corbett, J.C., et al.: Spanner: Google\u2019s globally distributed database. ACM Trans. Comput. Syst. 31(3), 8:1\u20138:22 (2013). \nhttps:\/\/doi.org\/10.1145\/2491245","DOI":"10.1145\/2491245"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"DeCandia, G., et al.: Dynamo: Amazon\u2019s highly available key-value store. In: Proceedings SOSP (2007)","DOI":"10.1145\/1294261.1294281"},{"issue":"1","key":"16_CR23","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1145\/2914770.2837650","volume":"51","author":"C Dr\u0103goi","year":"2016","unstructured":"Dr\u0103goi, C., Henzinger, T.A., Zufferey, D.: PSYNC: a partially synchronous language for fault-tolerant distributed algorithms. ACM SIGPLAN Not. 51(1), 400\u2013415 (2016)","journal-title":"ACM SIGPLAN Not."},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/978-3-319-96145-3_26","volume-title":"Computer Aided Verification","author":"M Emmi","year":"2018","unstructured":"Emmi, M., Enea, C.: Monitoring weak consistency. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10981, pp. 487\u2013506. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-96145-3_26"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Emmi, M., Enea, C.: Weak-consistency specification via visibility relaxation. Proc. ACM Program. Lang. 3(POPL), 1\u201328 (2019)","DOI":"10.1145\/3290373"},{"key":"16_CR26","doi-asserted-by":"publisher","unstructured":"Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J. ACM 32(2), 374\u2013382 (1985). \nhttps:\/\/doi.org\/10.1145\/3149.214121","DOI":"10.1145\/3149.214121"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Gilbert, S., Lynch, N.: Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News 33(2) (2002)","DOI":"10.1145\/564585.564601"},{"issue":"2","key":"16_CR28","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MC.2011.389","volume":"45","author":"S Gilbert","year":"2012","unstructured":"Gilbert, S., Lynch, N.A.: Perspectives on the CAP theorem. IEEE Comput. 45(2), 30\u201336 (2012)","journal-title":"IEEE Comput."},{"key":"16_CR29","doi-asserted-by":"publisher","unstructured":"Gotsman, A., Yang, H., Ferreira, C., Najafzadeh, M., Shapiro, M.: cause i\u2019m strong enough: reasoning about consistency choices in distributed systems. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pp. 371\u2013384. ACM, New York (2016). \nhttps:\/\/doi.org\/10.1145\/2837614.2837625","DOI":"10.1145\/2837614.2837625"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Houshmand, F., Lesani, M.: Hamsaz: replication coordination analysis and synthesis. In: Proceedings of Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2019. ACM, New York (2019)","DOI":"10.1145\/3290387"},{"issue":"11","key":"16_CR31","doi-asserted-by":"publisher","first-page":"1112","DOI":"10.1109\/TPDS.2003.1247672","volume":"14","author":"S Krishnamurthy","year":"2003","unstructured":"Krishnamurthy, S., Sanders, W.H., Cukier, M.: An adaptive quality of service aware middleware for replicated services. IEEE Trans. Parallel Distrib. Syst. 14(11), 1112\u20131125 (2003)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Ladin, R., Liskov, B., Shrira, L., Ghemawat, S.: Providing high availability using lazy replication. ACM Trans. Comput. Syst. 10(4) (1992)","DOI":"10.1145\/138873.138877"},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7) (1978)","DOI":"10.1145\/359545.359563"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Lamport, L.: The part-time parliament. ACM Trans. Comput. Syst. 16(2) (1998)","DOI":"10.1145\/279227.279229"},{"key":"16_CR35","unstructured":"Lewchenko, N.V., Radhakrishna, A., Gaonkar, A., \u010cern\u1ef3, P.: Conflict-aware replicated data types. arXiv preprint \narXiv:1802.08733\n\n (2018)"},{"key":"16_CR36","unstructured":"Li, C., Leit\u00e3o, J.A., Clement, A., Preguica, N., Rodrigues, R., Vafeiadis, V.: Automating the choice of consistency levels in replicated systems. In: Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference, USENIX ATC 2014, pp. 281\u2013292. USENIX Association, Berkeley (2014). \nhttp:\/\/dl.acm.org\/citation.cfm?id=2643634.2643664"},{"key":"16_CR37","unstructured":"Li, C., Porto, D., Clement, A., Gehrke, J., Preguica, N., Rodrigues, R.: Making geo-replicated systems fast as possible, consistent when necessary. In: Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation, OSDI 2012, pp. 265\u2013278. USENIX Association, Berkeley (2012). \nhttp:\/\/dl.acm.org\/citation.cfm?id=2387880.2387906"},{"key":"16_CR38","unstructured":"Liu, J., Magrino, T., Arden, O., George, M.D., Myers, A.C.: Warranties for faster strong consistency. In: Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation, NSDI 2014, pp. 503\u2013517. USENIX Association, Berkeley (2014). \nhttp:\/\/dl.acm.org\/citation.cfm?id=2616448.2616495"},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"Lloyd, W., Freedman, M.J., Kaminsky, M., Andersen, D.G.: Don\u2019t settle for eventual: scalable causal consistency for wide-area storage with COPS. In: Proceedings SOSP (2011)","DOI":"10.1145\/2043556.2043593"},{"key":"16_CR40","unstructured":"Lloyd, W., Freedman, M.J., Kaminsky, M., Andersen, D.G.: Stronger semantics for low-latency geo-replicated storage. In: Proceedings NSDI (2013)"},{"key":"16_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1007\/978-3-030-44914-8_20","volume-title":"Programming Languages and Systems","author":"SS Nair","year":"2020","unstructured":"Nair, S.S., Petri, G., Shapiro, M.: Proving the safety of highly-available distributed objects. ESOP 2020. LNCS, vol. 12075, pp. 544\u2013571. Springer, Cham (2020). \nhttps:\/\/doi.org\/10.1007\/978-3-030-44914-8_20"},{"key":"16_CR42","doi-asserted-by":"publisher","unstructured":"Oki, B.M., Liskov, B.H.: Viewstamped replication: a new primary copy method to support highly-available distributed systems. In: Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, PODC 1988, pp. 8\u201317. ACM, New York (1988). \nhttps:\/\/doi.org\/10.1145\/62546.62549","DOI":"10.1145\/62546.62549"},{"key":"16_CR43","unstructured":"Olston, C., Widom, J.: Offering a precision-performance tradeoff for aggregation queries over replicated data. Technical report, Stanford (2000)"},{"key":"16_CR44","unstructured":"Ongaro, D., Ousterhout, J.: In search of an understandable consensus algorithm. In: Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference, USENIX ATC 2014, pp. 305\u2013320. USENIX Association, Berkeley (2014). \nhttp:\/\/dl.acm.org\/citation.cfm?id=2643634.2643666"},{"key":"16_CR45","doi-asserted-by":"crossref","unstructured":"Petersen, K., Spreitzer, M.J., Terry, D.B., Theimer, M.M., Demers, A.J.: Flexible update propagation for weakly consistent replication. In: Proceedings SOSP (1997)","DOI":"10.1145\/268998.266711"},{"issue":"6","key":"16_CR46","doi-asserted-by":"publisher","first-page":"997","DOI":"10.1109\/69.476504","volume":"7","author":"K Ramamritham","year":"1995","unstructured":"Ramamritham, K., Pu, C.: A formal characterization of epsilon serializability. IEEE Trans. Knowl. Data Eng. 7(6), 997\u20131007 (1995)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"16_CR47","doi-asserted-by":"publisher","unstructured":"Roy, S., et al.: The homeostasis protocol: Avoiding transaction coordination through program analysis. In: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, SIGMOD 2015, pp. 1311\u20131326. ACM, New York (2015). \nhttps:\/\/doi.org\/10.1145\/2723372.2723720","DOI":"10.1145\/2723372.2723720"},{"key":"16_CR48","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Preguica, N., Baquero, C., Zawirski, M.: A comprehensive study of convergent and commutative replicated data types, Technical report, RR-7506, INRIA (2011)","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"16_CR49","doi-asserted-by":"publisher","unstructured":"Sivaramakrishnan, K., Kaki, G., Jagannathan, S.: Declarative programming over eventually consistent data stores. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, pp. 413\u2013424. ACM, New York (2015). \nhttps:\/\/doi.org\/10.1145\/2737924.2737981","DOI":"10.1145\/2737924.2737981"},{"key":"16_CR50","doi-asserted-by":"publisher","unstructured":"Sovran, Y., Power, R., Aguilera, M.K., Li, J.: Transactional storage for geo-replicated systems. In: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP 2011, pp. 385\u2013400. ACM, New York (2011). \nhttps:\/\/doi.org\/10.1145\/2043556.2043592","DOI":"10.1145\/2043556.2043592"},{"key":"16_CR51","doi-asserted-by":"publisher","unstructured":"Terry, D.B., Prabhakaran, V., Kotla, R., Balakrishnan, M., Aguilera, M.K., Abu-Libdeh, H.: Consistency-based service level agreements for cloud storage. In: Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, SOSP 2013, pp. 309\u2013324. ACM, New York (2013). \nhttps:\/\/doi.org\/10.1145\/2517349.2522731","DOI":"10.1145\/2517349.2522731"},{"key":"16_CR52","doi-asserted-by":"crossref","unstructured":"Vogels, W.: Eventually consistent. ACM Queue 6(6) (2008)","DOI":"10.1145\/1466443.1466448"},{"key":"16_CR53","doi-asserted-by":"crossref","unstructured":"Wang, C., Enea, C., Mutluergil, S.O., Petri, G.: Replication-aware linearizability. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 980\u2013993 (2019)","DOI":"10.1145\/3314221.3314617"},{"key":"16_CR54","unstructured":"Yu, H., Vahdat, A.: Design and evaluation of a continuous consistency model for replicated services. In: Proceedings of the 4th Conference on Symposium on Operating System Design & Implementation-Volume 4, p. 21. USENIX Association (2000)"},{"key":"16_CR55","unstructured":"Yu, H., Vahdat, A.: Efficient numerical error bounding for replicated network services. In: VLDB, pp. 123\u2013133. Citeseer (2000)"},{"key":"16_CR56","unstructured":"Yu, H., Vahdat, A.: Combining generality and practicality in a conit-based continuous consistency model for wide-area replication. In: Proceedings 21st International Conference on Distributed Computing Systems, pp. 429\u2013438. IEEE (2001)"},{"key":"16_CR57","doi-asserted-by":"crossref","unstructured":"Yu, H., Vahdat, A.: The costs and limits of availability for replicated services. In: ACM SIGOPS Operating Systems Review, vol. 35, pp. 29\u201342. ACM (2001)","DOI":"10.1145\/502059.502038"},{"key":"16_CR58","doi-asserted-by":"crossref","unstructured":"Yu, H., Vahdat, A.: Minimal replication cost for availability. In: Proceedings of the Twenty-First Annual Symposium on Principles of Distributed Computing, pp. 98\u2013107. ACM (2002)","DOI":"10.1145\/571825.571839"},{"key":"16_CR59","unstructured":"Zhang, C., Zhang, Z.: Trading replication consistency for performance and availability: an adaptive approach. In: 23rd International Conference on Distributed Computing Systems, Proceedings, pp. 687\u2013695. IEEE (2003)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-53288-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T19:09:10Z","timestamp":1594840150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-53288-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030532871","9783030532888"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-53288-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"14 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Los Angeles, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 July 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/i-cav.org\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair.org","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"240","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}