{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T08:53:17Z","timestamp":1769071997227,"version":"3.49.0"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031505232","type":"print"},{"value":"9783031505249","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,12,30]],"date-time":"2023-12-30T00:00:00Z","timestamp":1703894400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,30]],"date-time":"2023-12-30T00:00:00Z","timestamp":1703894400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-50524-9_1","type":"book-chapter","created":{"date-parts":[[2023,12,29]],"date-time":"2023-12-29T15:02:28Z","timestamp":1703862148000},"page":"3-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Runtime Error Detection During Development in\u00a0the\u00a0Automotive Industry"],"prefix":"10.1007","author":[{"given":"Jesko","family":"Hecking-Harbusch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen","family":"Quante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maximilian","family":"Schlund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,12,30]]},"reference":[{"key":"1_CR1","unstructured":"ASAM Metadata Exchange Format for Software Module Sharing. https:\/\/www.asam.net\/standards\/detail\/mdx\/. Accessed 24 Aug 2023"},{"key":"1_CR2","unstructured":"Astr\u00e9e. https:\/\/www.absint.com\/astree\/index.htm. Accessed 24 Aug 2023"},{"key":"1_CR3","unstructured":"Automotive Open System Architecture (AUTOSAR). https:\/\/www.autosar.org\/. Accessed 24 Aug 2023"},{"key":"1_CR4","unstructured":"Polyspace Code Prover. https:\/\/www.mathworks.com\/products\/polyspace-code-prover.html. Accessed 24 Aug 2023"},{"key":"1_CR5","unstructured":"Scala. https:\/\/www.scala-lang.org\/. Accessed 24 Aug 2023"},{"key":"1_CR6","unstructured":"TrustInSoft Analyzer. https:\/\/trust-in-soft.com\/product\/trustinsoft-analyzer\/. Accessed 24 Aug 2023"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Altinger, H., Wotawa, F., Schurius, M.: Testing methods used in the automotive industry: results from a survey. In: Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing, JAMAICA@ISSTA, pp. 1\u20136. ACM (2014). https:\/\/doi.org\/10.1145\/2631890.2631891","DOI":"10.1145\/2631890.2631891"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Ammons, G., Bod\u00edk, R., Larus, J.R.: Mining specifications. In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 4\u201316. ACM (2002). https:\/\/doi.org\/10.1145\/503272.503275","DOI":"10.1145\/503272.503275"},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Arnout, K., Meyer, B.: Finding implicit contracts in .NET components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 285\u2013318. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39656-7_12","DOI":"10.1007\/978-3-540-39656-7_12"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Barnett, M., Chang, B.E., DeLine, R., Jacobs, B., Leino, K.R.M.: Boogie: a modular reusable verifier for object-oriented programs. In: FMCO 2005. LNCS, vol. 4111, pp. 364\u2013387. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11804192_17","DOI":"10.1007\/11804192_17"},{"issue":"6","key":"1_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/1953122.1953145","volume":"54","author":"M Barnett","year":"2011","unstructured":"Barnett, M., F\u00e4hndrich, M., Leino, K.R.M., M\u00fcller, P., Schulte, W., Venter, H.: Specification and verification: the Spec# experience. Commun. ACM 54(6), 81\u201391 (2011). https:\/\/doi.org\/10.1145\/1953122.1953145","journal-title":"Commun. ACM"},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Blanchet, B., et al.: Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. In: Mogensen, T., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 85\u2013108. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-36377-7_5","DOI":"10.1007\/3-540-36377-7_5"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Blanchet, B., et al.: A static analyzer for large safety-critical software. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pp. 196\u2013207. ACM (2003). https:\/\/doi.org\/10.1145\/781131.781153","DOI":"10.1145\/781131.781153"},{"key":"1_CR14","unstructured":"Boehm, B.W.: Software Engineering Economics. Prentice Hall (1981)"},{"key":"1_CR15","unstructured":"B\u00fchler, D.: Structuring an Abstract Interpreter through Value and State Abstractions: EVA, an Evolved Value Analysis for Frama-C. Ph.D. thesis, University of Rennes 1, France (2017). https:\/\/tel.archives-ouvertes.fr\/tel-01664726. Accessed 24 Aug 2023"},{"key":"1_CR16","unstructured":"B\u00fchler, D., et al.: Frama-C: the EVA plug-in (2023). https:\/\/frama-c.com\/download\/frama-c-eva-manual.pdf. Accessed 24 Aug 2023"},{"issue":"8","key":"1_CR17","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1109\/TSE.2016.2625248","volume":"43","author":"SA Carr","year":"2017","unstructured":"Carr, S.A., Logozzo, F., Payer, M.: Automatic contract insertion with CCBot. IEEE Trans. Softw. Eng. 43(8), 701\u2013714 (2017). https:\/\/doi.org\/10.1109\/TSE.2016.2625248","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Carr\u00e9, B., Garnsworthy, J.R.: SPARK - an annotated ADA subset for safety-critical programming. In: Proceedings of the Conference on TRI-ADA 1990, pp. 392\u2013402. ACM (1990). https:\/\/doi.org\/10.1145\/255471.255563","DOI":"10.1145\/255471.255563"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond assertions: advanced specification and verification with JML and ESC\/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 342\u2013363. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11804192_16","DOI":"10.1007\/11804192_16"},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Christakis, M., Bird, C.: What developers want and need from program analysis: an empirical study. In: Proceedings of 31st IEEE\/ACM International Conference on Automated Software Engineering (ASE 2016), pp. 332\u2013343. ACM (2016). https:\/\/doi.org\/10.1145\/2970276.2970347","DOI":"10.1145\/2970276.2970347"},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Cok, D.R.: OpenJML: JML for Java 7 by extending OpenJDK. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 472\u2013479. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20398-5_35","DOI":"10.1007\/978-3-642-20398-5_35"},{"key":"1_CR22","doi-asserted-by":"publisher","unstructured":"Cok, D.R., Kiniry, J.R.: ESC\/Java2: uniting ESC\/Java and JML. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 108\u2013128. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-30569-9_6","DOI":"10.1007\/978-3-540-30569-9_6"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM (1977). https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R., F\u00e4hndrich, M., Logozzo, F.: Automatic inference of necessary preconditions. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 128\u2013148. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35873-9_10","DOI":"10.1007\/978-3-642-35873-9_10"},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10703-009-0089-6","volume":"35","author":"P Cousot","year":"2009","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Rival, X.: Why does Astr\u00e9e scale up? Formal Methods Syst. Des. 35(3), 229\u2013264 (2009). https:\/\/doi.org\/10.1007\/s10703-009-0089-6","journal-title":"Formal Methods Syst. Des."},{"key":"1_CR26","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R., Logozzo, F.: Precondition inference from intermittent assertions and application to contracts on collections. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 150\u2013168. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18275-4_12","DOI":"10.1007\/978-3-642-18275-4_12"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 233\u2013247. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33826-7_16","DOI":"10.1007\/978-3-642-33826-7_16"},{"key":"1_CR28","doi-asserted-by":"publisher","unstructured":"Dajsuren, Y., van den Brand, M. (eds.): Automotive Systems and Software Engineering - State of the Art and Future Trends. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-12157-0","DOI":"10.1007\/978-3-030-12157-0"},{"issue":"3","key":"1_CR29","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1109\/TSE.2020.3004525","volume":"48","author":"LNQ Do","year":"2022","unstructured":"Do, L.N.Q., Wright, J.R., Ali, K.: Why do software developers use static analysis tools? A user-centered study of developer needs and motivations. IEEE Trans. Software Eng. 48(3), 835\u2013847 (2022). https:\/\/doi.org\/10.1109\/TSE.2020.3004525","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR30","unstructured":"Doumler, T., Spicer, J.: A proposed plan for Contracts in C++. Tech. Rep. P2695R0, C++ SG21 (Nov 2022). https:\/\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2022\/p2695r0.pdf. Accessed 24 Aug 2023"},{"key":"1_CR31","unstructured":"Duprat, S., Lamiel, V.M., Kirchner, F., Correnson, L., Delmas, D.: Spreading static analysis with Frama-C in industrial contexts. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016)"},{"issue":"2","key":"1_CR32","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.908957","volume":"27","author":"MD Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Eng. 27(2), 99\u2013123 (2001). https:\/\/doi.org\/10.1109\/32.908957","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR33","doi-asserted-by":"publisher","unstructured":"F\u00e4hndrich, M., Barnett, M., Logozzo, F.: Embedded contract languages. In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), pp. 2103\u20132110. ACM (2010), https:\/\/doi.org\/10.1145\/1774088.1774531","DOI":"10.1145\/1774088.1774531"},{"key":"1_CR34","doi-asserted-by":"publisher","unstructured":"F\u00e4hndrich, M., Logozzo, F.: Static contract checking with abstract interpretation. In: Beckert, B., March\u00e9, C. (eds.) FoVeOOS 2010. LNCS, vol. 6528, pp. 10\u201330. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18070-5_2","DOI":"10.1007\/978-3-642-18070-5_2"},{"key":"1_CR35","doi-asserted-by":"publisher","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 234\u2013245. ACM (2002). https:\/\/doi.org\/10.1145\/512529.512558","DOI":"10.1145\/512529.512558"},{"key":"1_CR36","doi-asserted-by":"publisher","unstructured":"Hatcliff, J., Leavens, G.T., Leino, K.R.M., M\u00fcller, P., Parkinson, M.J.: Behavioral interface specification languages. ACM Comput. Surv. 44(3), 16:1\u201316:58 (2012). https:\/\/doi.org\/10.1145\/2187671.2187678","DOI":"10.1145\/2187671.2187678"},{"key":"1_CR37","doi-asserted-by":"publisher","unstructured":"Holzmann, G.J., Joshi, R.: Model-driven software verification. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 76\u201391. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24732-6_6","DOI":"10.1007\/978-3-540-24732-6_6"},{"key":"1_CR38","unstructured":"ISO 26262:2018. Road vehicles - Functional safety (all parts). International Organization for Standardization (2018)"},{"key":"1_CR39","doi-asserted-by":"publisher","unstructured":"Johnson, B., Song, Y., Murphy-Hill, E.R., Bowdidge, R.W.: Why don\u2019t software developers use static analysis tools to find bugs? In: 35th International Conference on Software Engineering (ICSE 2013), pp. 672\u2013681. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/ICSE.2013.6606613","DOI":"10.1109\/ICSE.2013.6606613"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D., et al.: Finding all potential run-time errors and data races in automotive software. Tech. rep, SAE Technical Paper (2017)","DOI":"10.4271\/2017-01-0054"},{"key":"1_CR41","unstructured":"K\u00e4stner, D., et al.: Astr\u00e9e: proving the absence of runtime errors. In: Proceedings of Embedded Real Time Software and Systems (ERTS2 2010), vol. 9 (2010)"},{"key":"1_CR42","doi-asserted-by":"publisher","unstructured":"Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C: a software analysis perspective. Formal Aspects Comput. 27(3), 573\u2013609 (2015). https:\/\/doi.org\/10.1007\/s00165-014-0326-7","DOI":"10.1007\/s00165-014-0326-7"},{"key":"1_CR43","doi-asserted-by":"publisher","unstructured":"Leavens, G.T.: An overview of larch\/C++: behavioral specifications for C++ modules. In: Object-Oriented Behavioral Specifications, pp. 121\u2013142. Springer, Boston (1996). https:\/\/doi.org\/10.1007\/978-0-585-27524-6_8","DOI":"10.1007\/978-0-585-27524-6_8"},{"key":"1_CR44","doi-asserted-by":"publisher","unstructured":"Leavens, G.T., Baker, A.L.: Enhancing the pre- and postcondition technique for more expressive specifications. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1087\u20131106. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48118-4_8","DOI":"10.1007\/3-540-48118-4_8"},{"key":"1_CR45","doi-asserted-by":"publisher","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: a notation for detailed design. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems, pp. 175\u2013188. Springer, Boston (1999). https:\/\/doi.org\/10.1007\/978-1-4615-5229-1_12","DOI":"10.1007\/978-1-4615-5229-1_12"},{"key":"1_CR46","doi-asserted-by":"publisher","unstructured":"Leino, K.R.M., M\u00fcller, P.: Using the spec# language, methodology, and tools to write bug-free programs. In: M\u00fcller, P. (ed.) LASER 2007\u20132008. LNCS, vol. 6029, pp. 91\u2013139. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13010-6_4","DOI":"10.1007\/978-3-642-13010-6_4"},{"key":"1_CR47","doi-asserted-by":"publisher","unstructured":"Logozzo, F.: Practical verification for the working programmer with CodeContracts and abstract interpretation. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 19\u201322. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18275-4_3","DOI":"10.1007\/978-3-642-18275-4_3"},{"key":"1_CR48","doi-asserted-by":"publisher","unstructured":"Luo, Y., Saberi, A.K., van den Brand, M.: Safety-driven development and ISO 26262. In: Automotive Systems and Software Engineering, pp. 225\u2013254. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-12157-0_10","DOI":"10.1007\/978-3-030-12157-0_10"},{"key":"1_CR49","unstructured":"Meyer, B.: Object-Oriented Software Construction, 1st edn. Prentice-Hall (1988)"},{"key":"1_CR50","unstructured":"Rival, X., Yi, K.: Introduction to Static Analysis: An Abstract Interpretation Perspective. MIT Press (2020)"},{"key":"1_CR51","doi-asserted-by":"publisher","unstructured":"Souyris, J., Delmas, D.: Experimental assessment of Astr\u00e9e on safety-critical avionics software. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 479\u2013490. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75101-4_45","DOI":"10.1007\/978-3-540-75101-4_45"},{"key":"1_CR52","doi-asserted-by":"publisher","unstructured":"Todorov, V., Boulanger, F., Taha, S.: Formal verification of automotive embedded software. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, pp. 84\u201387. ACM (2018). https:\/\/doi.org\/10.1145\/3193992.3194003","DOI":"10.1145\/3193992.3194003"},{"key":"1_CR53","unstructured":"Tukey, J.W.: Exploratory data analysis. In: Addison-Wesley Series in Behavioral Science: Quantitative Methods. Addison-Wesley (1977)"},{"key":"1_CR54","doi-asserted-by":"publisher","unstructured":"Wei, Y., Furia, C.A., Kazmin, N., Meyer, B.: Inferring better contracts. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), pp. 191\u2013200. ACM (2011). https:\/\/doi.org\/10.1145\/1985793.1985820","DOI":"10.1145\/1985793.1985820"},{"key":"1_CR55","doi-asserted-by":"publisher","unstructured":"Yamaguchi, T., Brain, M., Ryder, C., Imai, Y., Kawamura, Y.: Application of abstract interpretation to the automotive electronic control system. In: Enea, C., Piskac, R. (eds.) VMCAI 2019. LNCS, vol. 11388, pp. 425\u2013445. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-11245-5_20","DOI":"10.1007\/978-3-030-11245-5_20"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-50524-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,3]],"date-time":"2024-01-03T00:10:35Z","timestamp":1704240635000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-50524-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,30]]},"ISBN":["9783031505232","9783031505249"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-50524-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,30]]},"assertion":[{"value":"30 December 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VMCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification, Model Checking, and Abstract Interpretation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 January 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 January 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vmcai2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/popl24.sigplan.org\/home\/VMCAI-2024","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"74","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":"30","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":"0","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":"41% - 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":"3","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":"6","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)"}}]}}