{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:51:07Z","timestamp":1743094267309,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":55,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819983100"},{"type":"electronic","value":"9789819983117"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-981-99-8311-7_2","type":"book-chapter","created":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T07:02:17Z","timestamp":1700636537000},"page":"24-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["What Types Are Needed for\u00a0Typing Dynamic Objects? A\u00a0Python-Based Empirical Study"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2966-9889","authenticated-orcid":false,"given":"Ke","family":"Sun","sequence":"first","affiliation":[]},{"given":"Sheng","family":"Chen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7780-630X","authenticated-orcid":false,"given":"Meng","family":"Wang","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8295-303X","authenticated-orcid":false,"given":"Dan","family":"Hao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,21]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-49538-X_2","volume-title":"ECOOP\u201995 \u2014 Object-Oriented Programming, 9th European Conference, \u00c5arhus, Denmark, August 7\u201311, 1995","author":"O Agesen","year":"1995","unstructured":"Agesen, O.: The Cartesian product algorithm. In: Tokoro, M., Pareschi, R. (eds.) ECOOP 1995. LNCS, vol. 952, pp. 2\u201326. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-49538-X_2"},{"key":"2_CR2","unstructured":"Ahmed, A., Fluet, M., Morrisett, G.: L$$^{3}$$: a linear language with locations. Fundamenta Informaticae 77(4), 397\u2013449 (2007)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Aiken, A., Foster, J.S., Kodumal, J., Terauchi, T.: Checking and inferring local non-aliasing. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pp. 129\u2013140 (2003)","DOI":"10.1145\/781131.781146"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"\u00c5kerblom, B., Stendahl, J., Tumlin, M., Wrigstad, T.: Tracing dynamic features in python programs. In: Proceedings of the 11th Working Conference on Mining Software Repositories, pp. 292\u2013295 (2014)","DOI":"10.1145\/2597073.2597103"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"\u00c5kerblom, B., Wrigstad, T.: Measuring polymorphism in python programs. In: Proceedings of the 11th Symposium on Dynamic Languages, pp. 114\u2013128 (2015)","DOI":"10.1145\/2816707.2816717"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Sunshine, J., Saini, D., Sparks, Z.: Typestate-oriented programming. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, pp. 1015\u20131022 (2009)","DOI":"10.1145\/1639950.1640073"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/11531142_19","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"C Anderson","year":"2005","unstructured":"Anderson, C., Giannini, P., Drossopoulou, S.: Towards type inference for JavaScript. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 428\u2013452. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11531142_19"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11823230_15","volume-title":"Static Analysis","author":"G Balakrishnan","year":"2006","unstructured":"Balakrishnan, G., Reps, T.: Recency-abstraction for heap-allocated storage. In: Yi, K. (ed.) SAS 2006. LNCS, vol. 4134, pp. 221\u2013239. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11823230_15"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1006\/inco.1995.1086","volume":"119","author":"F Barbanera","year":"1995","unstructured":"Barbanera, F., Dezaniciancaglini, M., Deliguoro, U.: Intersection and union types: syntax and semantics. Inf. Comput. 119(2), 202\u2013230 (1995)","journal-title":"Inf. Comput."},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-662-44202-9_11","volume-title":"ECOOP 2014 \u2013 Object-Oriented Programming","author":"G Bierman","year":"2014","unstructured":"Bierman, G., Abadi, M., Torgersen, M.: Understanding TypeScript. In: Jones, R. (ed.) ECOOP 2014. LNCS, vol. 8586, pp. 257\u2013281. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44202-9_11"},{"issue":"OOPSLA2","key":"2_CR11","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1145\/3563314","volume":"6","author":"C Blaudeau","year":"2022","unstructured":"Blaudeau, C., Liu, F.: A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the celsius model. Proc. ACM Program. Lang. 6(OOPSLA2), 729\u2013757 (2022)","journal-title":"Proc. ACM Program. Lang."},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-030-64437-6_6","volume-title":"Programming Languages and Systems","author":"M Bravetti","year":"2020","unstructured":"Bravetti, M., et al.: Behavioural types for memory and method safety in a core object-oriented language. In: Oliveira, B.C.S. (ed.) APLAS 2020. LNCS, vol. 12470, pp. 105\u2013124. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-64437-6_6"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Castagna, G., Laurent, M., Nguyen, K., Lutze, M.: On type-cases, union elimination, and occurrence typing. Proc. ACM Program. Lang. 6(POPL), 1\u201331 (2022)","DOI":"10.1145\/3498674"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Chen, Z., Li, Y., Chen, B., Ma, W., Chen, L., Xu, B.: An empirical study on dynamic typing related practices in python systems. In: Proceedings of the 28th International Conference on Program Comprehension, pp. 83\u201393 (2020)","DOI":"10.1145\/3387904.3389253"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-662-48288-9_11","volume-title":"Static Analysis","author":"W Choi","year":"2015","unstructured":"Choi, W., Chandra, S., Necula, G., Sen, K.: SJS: a type system for JavaScript with fixed object layout. In: Blazy, S., Jensen, T. (eds.) SAS 2015. LNCS, vol. 9291, pp. 181\u2013198. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48288-9_11"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Chugh, R., Herman, D., Jhala, R.: Dependent types for JavaScript. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, pp. 587\u2013606 (2012)","DOI":"10.1145\/2398857.2384659"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Eifrig, J., Smith, S., Trifonov, V.: Sound polymorphic type inference for objects. In: Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 169\u2013184 (1995)","DOI":"10.1145\/217839.217858"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Leino, K.R.M.: Declaring and checking non-null types in an object-oriented language. In: Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications, pp. 302\u2013312 (2003)","DOI":"10.1145\/949305.949332"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Furr, M., An, J.h., Foster, J.S., Hicks, M.: Static type inference for ruby. In: Proceedings of the 2009 ACM Symposium on Applied Computing, pp. 1859\u20131866 (2009)","DOI":"10.1145\/1529282.1529700"},{"key":"2_CR20","unstructured":"Golovanov, I., Jakobsen, M.S., Kettunen, M.K.: Typestate inference for mungo: Algorithm and implementation. Online Material (2020)"},{"key":"2_CR21","unstructured":"Google: Pytype, a static type analyzer for python code. Online Material (2023)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-319-96142-2_2","volume-title":"Computer Aided Verification","author":"M Hassan","year":"2018","unstructured":"Hassan, M., Urban, C., Eilers, M., M\u00fcller, P.: MaxSMT-based type inference for Python 3. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018, Part II. LNCS, vol. 10982, pp. 12\u201319. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96142-2_2"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-14107-2_10","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"P Heidegger","year":"2010","unstructured":"Heidegger, P., Thiemann, P.: Recency types for analyzing scripting languages. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 200\u2013224. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14107-2_10"},{"key":"2_CR24","unstructured":"Holkner, A., Harland, J.: Evaluating the dynamic behaviour of python applications. In: Proceedings of the Thirty-Second Australasian Conference on Computer Science, vol. 91, pp. 19\u201328 (2009)"},{"issue":"3","key":"2_CR25","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. (TOPLAS) 23(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-03237-0_17","volume-title":"Static Analysis","author":"SH Jensen","year":"2009","unstructured":"Jensen, S.H., M\u00f8ller, A., Thiemann, P.: Type analysis for JavaScript. In: Palsberg, J., Su, Z. (eds.) SAS 2009. LNCS, vol. 5673, pp. 238\u2013255. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03237-0_17"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Kaleba, S., Larose, O., Jones, R., Marr, S.: Who you gonna call: analyzing the run-time call-site behavior of ruby applications. In: Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages, pp. 15\u201328 (2022)","DOI":"10.1145\/3563834.3567538"},{"issue":"6","key":"2_CR28","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1145\/2980983.2908091","volume":"51","author":"AM Kent","year":"2016","unstructured":"Kent, A.M., Kempe, D., Tobin-Hochstadt, S.: Occurrence typing modulo theories. ACM SIGPLAN Not. 51(6), 296\u2013309 (2016)","journal-title":"ACM SIGPLAN Not."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Kouzapas, D., Dardha, O., Perera, R., Gay, S.J.: Typechecking protocols with Mungo and StMungo. In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, pp. 146\u2013159 (2016)","DOI":"10.1145\/2967973.2968595"},{"key":"2_CR30","unstructured":"Lehtosalo, J.: Optional static typing for python. Online Material (2023)"},{"issue":"2","key":"2_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2578856.2508170","volume":"49","author":"BS Lerner","year":"2013","unstructured":"Lerner, B.S., Politz, J.G., Guha, A., Krishnamurthi, S.: TeJaS: retrofitting type systems for JavaScript. ACM SIGPLAN Not. 49(2), 1\u201316 (2013)","journal-title":"ACM SIGPLAN Not."},{"issue":"10","key":"2_CR32","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1145\/2076021.2048144","volume":"46","author":"R Madhavan","year":"2011","unstructured":"Madhavan, R., Komondoor, R.: Null dereference verification via over-approximated weakest pre-conditions analysis. ACM Sigplan Not. 46(10), 1033\u20131052 (2011)","journal-title":"ACM Sigplan Not."},{"issue":"1","key":"2_CR33","first-page":"1","volume":"5","author":"E Maia","year":"2012","unstructured":"Maia, E., Moreira, N., Reis, R.: A static type inference for python. Proc. DYLA 5(1), 1 (2012)","journal-title":"Proc. DYLA"},{"key":"2_CR34","unstructured":"McGugan, W.: Rich, a python library for rich text and beautiful formatting in the terminal. Online Material (2023)"},{"key":"2_CR35","unstructured":"Microsoft: Pyright, a static type checker for python. Online Material (2023)"},{"key":"2_CR36","unstructured":"Monat, R., Ouadjaout, A., Min\u00e9, A.: Static type analysis by abstract interpretation of python programs. In: 34th European Conference on Object-Oriented Programming (ECOOP 2020). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik (2020)"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BFb0053045","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"N Oxh\u00f8j","year":"1992","unstructured":"Oxh\u00f8j, N., Palsberg, J., Schwartzbach, M.I.: Making type inference practical. In: Madsen, O.L. (ed.) ECOOP 1992. LNCS, vol. 615, pp. 329\u2013349. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/BFb0053045"},{"key":"2_CR38","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Pilkiewicz, A., Pottier, F.: The essence of monotonic state. In: Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation, pp. 73\u201386 (2011)","DOI":"10.1145\/1929553.1929565"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Rastogi, A., Swamy, N., Fournet, C., Bierman, G., Vekris, P.: Safe & efficient gradual typing for typescript. In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 167\u2013180 (2015)","DOI":"10.1145\/2676726.2676971"},{"key":"2_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-22655-7_4","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"G Richards","year":"2011","unstructured":"Richards, G., Hammer, C., Burg, B., Vitek, J.: The eval that men do. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol. 6813, pp. 52\u201378. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22655-7_4"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Richards, G., Lebresne, S., Burg, B., Vitek, J.: An analysis of the dynamic behavior of JavaScript programs. In: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 1\u201312 (2010)","DOI":"10.1145\/1806596.1806598"},{"issue":"1","key":"2_CR43","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/1707801.1706316","volume":"45","author":"PM Rondon","year":"2010","unstructured":"Rondon, P.M., Kawaguchi, M., Jhala, R.: Low-level liquid types. ACM Sigplan Not. 45(1), 131\u2013144 (2010)","journal-title":"ACM Sigplan Not."},{"key":"2_CR44","unstructured":"Salib, M.: Starkiller: a static type inferencer and compiler for Python. Ph.D. thesis, Massachusetts Institute of Technology (2004)"},{"key":"2_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/3-540-46425-5_24","volume-title":"Programming Languages and Systems","author":"F Smith","year":"2000","unstructured":"Smith, F., Walker, D., Morrisett, G.: Alias types. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol. 1782, pp. 366\u2013381. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46425-5_24"},{"key":"2_CR46","doi-asserted-by":"publisher","unstructured":"Strom, R.E., Yemini, S.: Typestate: a programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng. SE-12(1), 157\u2013171 (1986). https:\/\/doi.org\/10.1109\/TSE.1986.6312929","DOI":"10.1109\/TSE.1986.6312929"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Summers, A.J., M\u00fcller, P.: Freedom before commitment: a lightweight type system for object initialisation. In: Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, pp. 1013\u20131032 (2011)","DOI":"10.1145\/2048066.2048142"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: Logical types for untyped languages. In: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, pp. 117\u2013128 (2010)","DOI":"10.1145\/1863543.1863561"},{"key":"2_CR49","volume-title":"The Python Language Reference","author":"G Van Rossum","year":"2014","unstructured":"Van Rossum, G., Drake, F.L., Jr.: The Python Language Reference. Python Software Foundation, Wilmington (2014)"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Vekris, P., Cosman, B., Jhala, R.: Refinement types for typescript. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 310\u2013325 (2016)","DOI":"10.1145\/2908080.2908110"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Vitousek, M.M., Kent, A.M., Siek, J.G., Baker, J.: Design and evaluation of gradual typing for python. In: Proceedings of the 10th ACM Symposium on Dynamic languages, pp. 45\u201356 (2014)","DOI":"10.1145\/2661088.2661101"},{"key":"2_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45337-7_6","volume-title":"ECOOP 2001 \u2014 Object-Oriented Programming","author":"T Wang","year":"2001","unstructured":"Wang, T., Smith, S.F.: Precise constraint-based type inference for Java. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 99\u2013117. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45337-7_6"},{"key":"2_CR53","unstructured":"Wang, Y.: PySonar2: an advanced semantic indexer for python. Online Material (2019)"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Wei, S., Xhakaj, F., Ryder, B.G.: Empirical study of the dynamic behavior of JavaScript objects. Softw. Pract. Exper. 46(7), 867\u2013889 (2016)","DOI":"10.1002\/spe.2334"},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"Zhao, T.: Polymorphic type inference for scripting languages with object extensions. In: Proceedings of the 7th Symposium on Dynamic Languages, pp. 37\u201350 (2011)","DOI":"10.1145\/2047849.2047855"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-99-8311-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T07:02:55Z","timestamp":1700636575000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-99-8311-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9789819983100","9789819983117"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-981-99-8311-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"21 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"APLAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Symposium on Programming Languages and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Taipei","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Taiwan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aplas2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/aplas-2023","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":"HotCRP","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32","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":"15","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":"47% - 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":"4","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)"}}]}}