{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:44:22Z","timestamp":1742913862319,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030714994"},{"type":"electronic","value":"9783030715007"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,3,20]],"date-time":"2021-03-20T00:00:00Z","timestamp":1616198400000},"content-version":"vor","delay-in-days":78,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Static analysis frameworks, such as <jats:italic>Soot<\/jats:italic> and <jats:italic>Wala<\/jats:italic>, are used by researchers to prototype and compare program analyses. These frameworks vary on heap abstraction, modeling library classes, and underlying intermediate program representation (IR). Often, these variations pose a threat to the validity of the results as the implications of comparing the same analysis implementation in different frameworks are still unexplored. Earlier studies have focused on the precision, soundness, and recall of the algorithms implemented in these frameworks; however, little to no work has been done to evaluate the effects of program representation. In this work, we fill this gap and study the impact of program representation on pointer analysis. Unfortunately, existing metrics are insufficient for such a comparison due to their inability to isolate each aspect of the program representation. Therefore, we define two novel metrics that measure these analyses\u2019 precision after isolating the influence of class-hierarchy and intermediate representation. Our results establish that the minor differences in the class hierarchy and IR do not impact program analysis significantly. Besides, they reveal the sources of unsoundness that aid researchers in developing program analysis.<\/jats:p>","DOI":"10.1007\/978-3-030-71500-7_12","type":"book-chapter","created":{"date-parts":[[2021,3,19]],"date-time":"2021-03-19T13:12:14Z","timestamp":1616159534000},"page":"240-261","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Effects of Program Representation on Pointer Analyses \u2014 An Empirical Study"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2974-4308","authenticated-orcid":false,"given":"Jyoti","family":"Prakash","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8415-5410","authenticated-orcid":false,"given":"Abhishek","family":"Tiwari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5955-3732","authenticated-orcid":false,"given":"Christian","family":"Hammer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,3,20]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","unstructured":"Antoniadis, T., Triantafyllou, K., Smaragdakis, Y.: Porting doop to souffl\u00e9;: A tale of inter-engine portability for datalog-based analyses. In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. pp. 25\u201330. SOAP 2017, ACM, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3088515.3088522, https:\/\/doi.org\/10.1145\/3088515.3088522","DOI":"10.1145\/3088515.3088522 10.1145\/3088515.3088522"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Blackburn, S.M., Garner, R., Hoffmann, C., Khang, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The dacapo benchmarks: Java benchmarking development and analysis. In: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications. pp. 169\u2013190. OOPSLA \u201906, ACM, New York, NY, USA (2006). https:\/\/doi.org\/10.1145\/1167473.1167488, https:\/\/doi.org\/10.1145\/1167473.1167488","DOI":"10.1145\/1167473.1167488 10.1145\/1167473.1167488"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Bravenboer, M., Smaragdakis, Y.: Strictly declarative specification of sophisticated points-to analyses. In: Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications. pp. 243\u2013262. OOPSLA \u201909, ACM, New York, NY, USA (2009). https:\/\/doi.org\/10.1145\/1640089.1640108, https:\/\/doi.org\/10.1145\/1640089.1640108","DOI":"10.1145\/1640089.1640108 10.1145\/1640089.1640108"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst. 13(4), 451\u2013490 (Oct 1991). https:\/\/doi.org\/10.1145\/115372.115320","DOI":"10.1145\/115372.115320"},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"Dietrich, J., Sui, L., Rasheed, S., Tahir, A.: On the construction of soundness oracles. In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. pp. 37\u201342. SOAP 2017, Association for Computing Machinery, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3088515.3088520, https:\/\/doi.org\/10.1145\/3088515.3088520","DOI":"10.1145\/3088515.3088520 10.1145\/3088515.3088520"},{"key":"12_CR6","doi-asserted-by":"publisher","unstructured":"Fourtounis, G., Triantafyllou, L., Smaragdakis, Y.: Identifying java calls in native code via binary scanning. In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. pp. 388\u2013400. ISSTA 2020, Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3395363.3397368, https:\/\/doi.org\/10.1145\/3395363.3397368","DOI":"10.1145\/3395363.3397368 10.1145\/3395363.3397368"},{"key":"12_CR7","doi-asserted-by":"publisher","unstructured":"Fourtounis, G., Triantafyllou, L., Smaragdakis, Y.: Identifying java calls in native code via binary scanning. In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. pp. 388\u2013400. ISSTA 2020, Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3395363.3397368, https:\/\/doi.org\/10.1145\/3395363.3397368","DOI":"10.1145\/3395363.3397368 10.1145\/3395363.3397368"},{"key":"12_CR8","unstructured":"GitHub: https:\/\/github.com\/cmorty\/. https:\/\/github.com\/cmorty\/avrora\/blob\/222ea1645b67bc40429881526555d19bced4a590\/src\/avrora\/arch\/avr\/AVRInstrBuilder.java (August 2020), (Accessed on 05.08.2020)"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Grech, N., Fourtounis, G., Francalanza, A., Smaragdakis, Y.: Heaps don\u2019t lie: Countering unsoundness with heap snapshots. Proc. ACM Program. Lang. 1(OOPSLA) (Oct 2017). https:\/\/doi.org\/10.1145\/3133892, https:\/\/doi.org\/10.1145\/3133892","DOI":"10.1145\/3133892 10.1145\/3133892"},{"key":"12_CR10","doi-asserted-by":"publisher","unstructured":"Grech, N., Kastrinis, G., Smaragdakis, Y.: Efficient Reflection String Analysis via Graph Coloring. In: Millstein, T. (ed.) 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Leibniz International Proceedings in Informatics (LIPIcs), vol. 109, pp. 26:1\u201326:25. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2018). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2018.26, http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2018\/9231","DOI":"10.4230\/LIPIcs.ECOOP.2018.26"},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"Grech, N., Smaragdakis, Y.: P\/taint: Unified points-to and taint analysis. Proc. ACM Program. Lang. 1(OOPSLA), 102:1\u2013102:28 (Oct 2017). https:\/\/doi.org\/10.1145\/3133926, https:\/\/doi.org\/10.1145\/3133926","DOI":"10.1145\/3133926 10.1145\/3133926"},{"key":"12_CR12","doi-asserted-by":"publisher","unstructured":"Jordan, H., Scholz, B., Suboti\u0107, P.: Souffl\u00e9: On synthesis of program analyzers. In: Chaudhuri, S., Farzan, A. (eds.) Computer Aided Verification. pp. 422\u2013430. Springer International Publishing, Cham (2016), https:\/\/doi.org\/10.1007\/978-3-319-41540-6_23","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"12_CR13","doi-asserted-by":"publisher","unstructured":"Kastrinis, G., Smaragdakis, Y.: Hybrid context-sensitivity for points-to analysis. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 423\u2013434. PLDI \u201913, Association for Computing Machinery, New York, NY, USA (2013). https:\/\/doi.org\/10.1145\/2491956.2462191, https:\/\/doi.org\/10.1145\/2491956.2462191","DOI":"10.1145\/2491956.2462191 10.1145\/2491956.2462191"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Li, Y., Tan, T., M\u00f8ller, A., Smaragdakis, Y.: A principled approach to selective context sensitivity for pointer analysis. ACM Trans. Program. Lang. Syst. 42(2) (May 2020). https:\/\/doi.org\/10.1145\/3381915, https:\/\/doi.org\/10.1145\/3381915","DOI":"10.1145\/3381915 10.1145\/3381915"},{"key":"12_CR15","doi-asserted-by":"publisher","unstructured":"Li, Y., Tan, T., Sui, Y., Xue, J.: Self-inferencing reflection resolution for java. In: Jones, R. (ed.) ECOOP 2014 - Object-Oriented Programming. pp. 27\u201353. Springer Berlin Heidelberg, Berlin, Heidelberg (2014), https:\/\/doi.org\/10.1007\/978-3-662-44202-9_2","DOI":"10.1007\/978-3-662-44202-9_2"},{"key":"12_CR16","doi-asserted-by":"publisher","unstructured":"Li, Y., Tan, T., Xue, J.: Effective soundness-guided reflection analysis. In: Blazy, S., Jensen, T. (eds.) Static Analysis. pp. 162\u2013180. Springer Berlin Heidelberg, Berlin, Heidelberg (2015), https:\/\/doi.org\/10.1007\/978-3-662-48288-9_10","DOI":"10.1007\/978-3-662-48288-9_10"},{"key":"12_CR17","doi-asserted-by":"publisher","unstructured":"Li, Y., Tan, T., Xue, J.: Understanding and analyzing java reflection. ACM Trans. Softw. Eng. Methodol. 28(2) (Feb 2019). https:\/\/doi.org\/10.1145\/3295739, https:\/\/doi.org\/10.1145\/3295739","DOI":"10.1145\/3295739 10.1145\/3295739"},{"key":"12_CR18","doi-asserted-by":"publisher","unstructured":"Liu, J., Li, Y., Tan, T., Xue, J.: Reflection analysis for java: Uncovering more reflective targets precisely. In: 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE). pp. 12\u201323 (2017), https:\/\/doi.org\/10.1109\/ISSRE.2017.36","DOI":"10.1109\/ISSRE.2017.36"},{"key":"12_CR19","doi-asserted-by":"publisher","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity forpoints-to analysis for java. ACM Trans. Softw. Eng. Methodol. 14(1), 1\u201341 (Jan 2005). https:\/\/doi.org\/10.1145\/1044834.1044835, https:\/\/doi.org\/10.1145\/1044834.1044835","DOI":"10.1145\/1044834.1044835 10.1145\/1044834.1044835"},{"key":"12_CR20","doi-asserted-by":"publisher","unstructured":"Ramalingam, G.: The undecidability of aliasing. ACM Trans. Program. Lang. Syst. 16(5), 1467\u20131471 (Sep 1994). https:\/\/doi.org\/10.1145\/186025.186041, https:\/\/doi.org\/10.1145\/186025.186041","DOI":"10.1145\/186025.186041 10.1145\/186025.186041"},{"key":"12_CR21","doi-asserted-by":"publisher","unstructured":"Reif, M., K\u00fcbler, F., Eichberg, M., Helm, D., Mezini, M.: Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs. In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (to appear). ISSTA 2019 (2019). https:\/\/doi.org\/10.1145\/3293882.3330555, https:\/\/doi.org\/10.1145\/3293882.3330555","DOI":"10.1145\/3293882.3330555 10.1145\/3293882.3330555"},{"key":"12_CR22","doi-asserted-by":"publisher","unstructured":"Scholz, B., Jordan, H., Suboti\u0107, P., Westmann, T.: On fast large-scale program analysis in datalog. In: Proceedings of the 25th International Conference on Compiler Construction. pp. 196\u2013206. CC 2016, ACM, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2892208.2892226, https:\/\/doi.org\/10.1145\/2892208.2892226","DOI":"10.1145\/2892208.2892226 10.1145\/2892208.2892226"},{"key":"12_CR23","unstructured":"Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. New York Univ. Comput. Sci. Dept., New York, NY (1978), https:\/\/cds.cern.ch\/record\/120118"},{"key":"12_CR24","doi-asserted-by":"publisher","unstructured":"Smaragdakis, Y., Balatsouras, G.: Pointer analysis. Found. Trends Program. Lang. 2(1), 1\u201369 ( 2015). https:\/\/doi.org\/10.1561\/2500000014, https:\/\/doi.org\/10.1561\/2500000014","DOI":"10.1561\/2500000014 10.1561\/2500000014"},{"key":"12_CR25","doi-asserted-by":"publisher","unstructured":"Smaragdakis, Y., Balatsouras, G., Kastrinis, G., Bravenboer, M.: More sound static handling of java reflection. In: Feng, X., Park, S. (eds.) Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9458, pp. 485\u2013503. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-26529-2_26, https:\/\/doi.org\/10.1007\/978-3-319-26529-2_26","DOI":"10.1007\/978-3-319-26529-2_26 10.1007\/978-3-319-26529-2_26"},{"key":"12_CR26","doi-asserted-by":"publisher","unstructured":"Smaragdakis, Y., Bravenboer, M., Lhot\u00e1k, O.: Pick your contexts well: Understanding object-sensitivity. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 17\u201330. POPL \u201911, ACM, New York, NY, USA (2011). https:\/\/doi.org\/10.1145\/1926385.1926390, https:\/\/doi.org\/10.1145\/1926385.1926390","DOI":"10.1145\/1926385.1926390 10.1145\/1926385.1926390"},{"key":"12_CR27","doi-asserted-by":"publisher","unstructured":"Smaragdakis, Y., Kastrinis, G.: Defensive Points-To Analysis: Effective Soundness via Laziness. In: Millstein, T. (ed.) 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Leibniz International Proceedings in Informatics (LIPIcs), vol. 109, pp. 23:1\u201323:28. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2018). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2018.23, http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2018\/9228","DOI":"10.4230\/LIPIcs.ECOOP.2018.23"},{"key":"12_CR28","unstructured":"Soot: Soot - a framework for analyzing and transforming java and android applications (Jan 2019), http:\/\/sable.github.io\/soot\/"},{"key":"12_CR29","doi-asserted-by":"publisher","unstructured":"Sp\u00e4th, J., Ali, K., Bodden, E.: Ideal: Efficient and precise alias-aware dataflow analysis. In: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA\/SPLASH). ACM Press (Oct 2017), https:\/\/doi.org\/10.1145\/3133923","DOI":"10.1145\/3133923"},{"key":"12_CR30","doi-asserted-by":"publisher","unstructured":"Sp\u00e4th, J., Ali, K., Bodden, E.: Context-, flow-, and field-sensitive data-flow analysis using synchronized pushdown systems. Proc. ACM Program. Lang. 3(POPL), 48:1\u201348:29 (2019). https:\/\/doi.org\/10.1145\/3290361, https:\/\/doi.org\/10.1145\/3290361","DOI":"10.1145\/3290361 10.1145\/3290361"},{"key":"12_CR31","doi-asserted-by":"publisher","unstructured":"Sp\u00e4th, J., Do, L.N.Q., Ali, K., Bodden, E.: Boomerang: Demand-driven flow- and context-sensitive pointer analysis for java. In: Krishnamurthi, S., Lerner, B.S. (eds.) 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy. LIPIcs, vol. 56, pp. 22:1\u201322:26. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2016). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2016.22, https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2016.22","DOI":"10.4230\/LIPIcs.ECOOP.2016.22 10.4230\/LIPIcs.ECOOP.2016.22"},{"key":"12_CR32","doi-asserted-by":"publisher","unstructured":"Sui, L., Dietrich, J., Emery, M., Rasheed, S., Tahir, A.: On the soundness of call graph construction in the presence of dynamic language features - a benchmark and tool evaluation. In: Ryu, S. (ed.) Programming Languages and Systems. pp. 69\u201388. Springer International Publishing, Cham (2018), https:\/\/doi.org\/10.1007\/978-3-030-02768-1_4","DOI":"10.1007\/978-3-030-02768-1_4"},{"key":"12_CR33","doi-asserted-by":"publisher","unstructured":"Sui, L., Dietrich, J., Tahir, A., Fourtounis, G.: On the recall of static call graph construction in practice. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering. p. 1049\u20131060. ICSE \u201920, Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3377811.3380441, https:\/\/doi.org\/10.1145\/3377811.3380441","DOI":"10.1145\/3377811.3380441 10.1145\/3377811.3380441"},{"key":"12_CR34","doi-asserted-by":"publisher","unstructured":"Tan, T., Li, Y., Xue, J.: Efficient and precise points-to analysis: Modeling the heap by merging equivalent automata. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 278\u2013291. PLDI 2017, Association for Computing Machinery, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3062341.3062360","DOI":"10.1145\/3062341.3062360"},{"key":"12_CR35","doi-asserted-by":"publisher","unstructured":"Vall\u00e9e-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot - a java bytecode optimization framework. In: Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research. p. 13. CASCON \u201999, IBM Press (1999), https:\/\/doi.org\/10.5555\/781995.782008","DOI":"10.5555\/781995.782008"},{"key":"12_CR36","doi-asserted-by":"publisher","unstructured":"Vall\u00e9e-Rai, R., Gagnon, E., Hendren, L., Lam, P., Pominville, P., Sundaresan, V.: Optimizing java bytecode using the soot framework: Is it feasible? In: Watt, D.A. (ed.) Compiler Construction. pp. 18\u201334. Springer Berlin Heidelberg, Berlin, Heidelberg (2000), https:\/\/doi.org\/10.1007\/3-540-46423-9_2","DOI":"10.1007\/3-540-46423-9_2"},{"key":"12_CR37","unstructured":"WALA: Watson libraries for program analysis (Jan 2019), http:\/\/wala.sourceforge.net\/wiki\/index.php\/Main_Page"},{"key":"12_CR38","unstructured":"Wala: Intermediate representation (IR) (Aug 2020), https:\/\/github.com\/wala\/WALA\/wiki\/Intermediate-Representation-(IR)"},{"key":"12_CR39","unstructured":"Wala: Pointer analysis (Aug 2020), https:\/\/github.com\/wala\/WALA\/wiki\/Pointer-Analysis"},{"key":"12_CR40","doi-asserted-by":"publisher","unstructured":"Wei, F., Roy, S., Ou, X., Robby: Amandroid: A precise and general inter-component data flow analysis framework for security vetting of android apps. ACM Trans. Priv. Secur. 21(3) (Apr 2018). https:\/\/doi.org\/10.1145\/3183575, https:\/\/doi.org\/10.1145\/3183575","DOI":"10.1145\/3183575 10.1145\/3183575"},{"key":"12_CR41","unstructured":"Wikipedia: Datalog (Jan 2019), https:\/\/en.wikipedia.org\/wiki\/Datalog"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-71500-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,20]],"date-time":"2021-03-20T00:18:24Z","timestamp":1616199504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-71500-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030714994","9783030715007"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-71500-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"20 March 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 March 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 April 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2021\/fase","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","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"52","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":"16","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":"31% - 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":"5,5","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 changed to an online format 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)"}}]}}