{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T17:05:16Z","timestamp":1785431116535,"version":"3.56.0"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227195","type":"print"},{"value":"9783032227201","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T00:00:00Z","timestamp":1775779200000},"content-version":"vor","delay-in-days":99,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22720-1_10","type":"book-chapter","created":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T15:29:49Z","timestamp":1775748589000},"page":"252-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reduction for Structured Concurrent Programs"],"prefix":"10.1007","author":[{"given":"Namratha","family":"Gangamreddypalli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Constantin","family":"Enea","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shaz","family":"Qadeer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,10]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","unstructured":"Mart\u00edn Abadi and Leslie Lamport. The Existence of Refinement Mappings. Theor. Comput. Sci., 82(2):253\u2013284, 1991. https:\/\/doi.org\/10.1016\/0304-3975(91)90224-P.","DOI":"10.1016\/0304-3975(91)90224-P"},{"key":"10_CR2","doi-asserted-by":"publisher","unstructured":"Parosh\u00a0Aziz Abdulla, Stavros Aronis, Bengt Jonsson, and Konstantinos Sagonas. Optimal dynamic partial order reduction. In Suresh Jagannathan and Peter Sewell, editors, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201914, San Diego, CA, USA, January 20-21, 2014, pages 373\u2013384. ACM, 2014. https:\/\/doi.org\/10.1145\/2535838.2535845.","DOI":"10.1145\/2535838.2535845"},{"key":"10_CR3","doi-asserted-by":"publisher","unstructured":"Yehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt, and Nir Shavit. Atomic Snapshots of Shared Memory. J. ACM, 40(4):873\u2013890, 1993. https:\/\/doi.org\/10.1145\/153724.153741.","DOI":"10.1145\/153724.153741"},{"key":"10_CR4","doi-asserted-by":"publisher","unstructured":"Hagit Attiya, Amotz Bar-Noy, and Danny Dolev. Sharing Memory Robustly in Message-Passing Systems. J. ACM, 42(1):124\u2013142, 1995. https:\/\/doi.org\/10.1145\/200836.200869.","DOI":"10.1145\/200836.200869"},{"key":"10_CR5","doi-asserted-by":"publisher","unstructured":"Hagit Attiya and Constantin Enea. Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects. In Jukka Suomela, editor, 33rd International Symposium on Distributed Computing, DISC 2019, October 14-18, 2019, Budapest, Hungary, volume 146 of LIPIcs, pages 2:1\u20132:17. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2019. URL: https:\/\/doi.org\/10.4230\/LIPICS.DISC.2019.2.","DOI":"10.4230\/LIPICS.DISC.2019.2"},{"key":"10_CR6","doi-asserted-by":"publisher","unstructured":"Alexander Bakst, Klaus von Gleissenthall, Rami\u00a0G\u00f6khan Kici, and Ranjit Jhala. Verifying distributed programs via canonical sequentialization. Proc. ACM Program. Lang., 1(OOPSLA):110:1\u2013110:27, 2017. https:\/\/doi.org\/10.1145\/3133934.","DOI":"10.1145\/3133934"},{"key":"10_CR7","doi-asserted-by":"publisher","unstructured":"Michael Barnett, Bor-Yuh\u00a0Evan Chang, Robert DeLine, Bart Jacobs, and K.\u00a0Rustan\u00a0M. Leino. Boogie: A Modular Reusable Verifier for Object-Oriented Programs. In Frank\u00a0S. de\u00a0Boer, Marcello\u00a0M. Bonsangue, Susanne Graf, and Willem\u00a0P. de\u00a0Roever, editors, Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, volume 4111 of Lecture Notes in Computer Science, pages 364\u2013387. Springer, 2005. https:\/\/doi.org\/10.1007\/11804192_17.","DOI":"10.1007\/11804192_17"},{"key":"10_CR8","unstructured":"Tej Chajed, M.\u00a0Frans Kaashoek, Butler\u00a0W. Lampson, and Nickolai Zeldovich. Verifying concurrent software using movers in CSPEC. In Andrea\u00a0C. Arpaci-Dusseau and Geoff Voelker, editors, 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018, pages 306\u2013322. USENIX Association, 2018. URL: https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/chajed."},{"key":"10_CR9","doi-asserted-by":"publisher","unstructured":"Duc-Hiep Chu and Joxan Jaffar. A Framework to Synergize Partial Order Reduction with State Interpolation. In Eran Yahav, editor, Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, volume 8855 of Lecture Notes in Computer Science, pages 171\u2013187. Springer, 2014. https:\/\/doi.org\/10.1007\/978-3-319-13338-6_14.","DOI":"10.1007\/978-3-319-13338-6_14"},{"key":"10_CR10","doi-asserted-by":"publisher","unstructured":"Cezara Dr\u0103goi, Thomas\u00a0A. Henzinger, and Damien Zufferey.PSync: a partially synchronous language for fault-tolerant distributed algorithms. SIGPLAN Not., 51(1):400\u2013415, January 2016. https:\/\/doi.org\/10.1145\/2914770.2837650.","DOI":"10.1145\/2914770.2837650"},{"key":"10_CR11","doi-asserted-by":"publisher","unstructured":"Tayfun Elmas, Shaz Qadeer, and Serdar Tasiran. A calculus of atomic actions. In Zhong Shao and Benjamin\u00a0C. Pierce, editors, Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pages 2\u201315. ACM, 2009. https:\/\/doi.org\/10.1145\/1480881.1480885.","DOI":"10.1145\/1480881.1480885"},{"key":"10_CR12","doi-asserted-by":"publisher","unstructured":"Azadeh Farzan, Dominik Klumpp, and Andreas Podelski. Sound sequentialization for concurrent program verification. In Ranjit Jhala and Isil Dillig, editors, PLDI \u201922: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022, pages 506\u2013521. ACM, 2022. https:\/\/doi.org\/10.1145\/3519939.3523727.","DOI":"10.1145\/3519939.3523727"},{"key":"10_CR13","doi-asserted-by":"publisher","unstructured":"Azadeh Farzan, Dominik Klumpp, and Andreas Podelski. Stratified Commutativity in Verification Algorithms for Concurrent Programs. Proc. ACM Program. Lang., 7(POPL):1426\u20131453, 2023. https:\/\/doi.org\/10.1145\/3571242.","DOI":"10.1145\/3571242"},{"key":"10_CR14","doi-asserted-by":"publisher","unstructured":"Azadeh Farzan, Dominik Klumpp, and Andreas Podelski. Commutativity Simplifies Proofs of Parameterized Programs. Proc. ACM Program. Lang., 8(POPL):2485\u20132513, 2024. https:\/\/doi.org\/10.1145\/3632925.","DOI":"10.1145\/3632925"},{"key":"10_CR15","doi-asserted-by":"publisher","unstructured":"Cormac Flanagan and Stephen\u00a0N. Freund. The Anchor verifier for blocking and non-blocking concurrent software. Proc. ACM Program. Lang., 4(OOPSLA):156:1\u2013156:29, 2020. https:\/\/doi.org\/10.1145\/3428224.","DOI":"10.1145\/3428224"},{"key":"10_CR16","doi-asserted-by":"publisher","unstructured":"Cormac Flanagan and Stephen\u00a0N. Freund. Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning. In Jonathan Aldrich and Guido Salvaneschi, editors, 38th European Conference on Object-Oriented Programming, ECOOP 2024, September 16-20, 2024, Vienna, Austria, volume 313 of LIPIcs, pages 16:1\u201316:29. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2024. URL: https:\/\/doi.org\/10.4230\/LIPICS.ECOOP.2024.16.","DOI":"10.4230\/LIPICS.ECOOP.2024.16"},{"key":"10_CR17","doi-asserted-by":"publisher","unstructured":"Cormac Flanagan, Stephen\u00a0N. Freund, and Shaz Qadeer.Exploiting Purity for Atomicity. IEEE Trans. Software Eng., 31(4):275\u2013291, 2005. https:\/\/doi.org\/10.1109\/TSE.2005.47.","DOI":"10.1109\/TSE.2005.47"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Cormac Flanagan and Patrice Godefroid. Dynamic partial-order reduction for model checking software. In Jens Palsberg and Mart\u00edn Abadi, editors, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pages 110\u2013121. ACM, 2005. https:\/\/doi.org\/10.1145\/1040305.1040315.","DOI":"10.1145\/1040305.1040315"},{"key":"10_CR19","doi-asserted-by":"publisher","unstructured":"Cormac Flanagan and Shaz Qadeer. A type and effect system for atomicity. In Ron Cytron and Rajiv Gupta, editors, Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pages 338\u2013349. ACM, 2003. https:\/\/doi.org\/10.1145\/781131.781169.","DOI":"10.1145\/781131.781169"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Namratha Gangamreddypalli, Constantin Enea, and Shaz Qadeer. Reduction for Structured Concurrent Programs, 2026. URL: https:\/\/arxiv.org\/abs\/2601.13341, arXiv:2601.13341.","DOI":"10.1007\/978-3-032-22720-1_10"},{"key":"10_CR21","doi-asserted-by":"publisher","unstructured":"Patrice Godefroid. Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem, volume 1032 of Lecture Notes in Computer Science. Springer, 1996. https:\/\/doi.org\/10.1007\/3-540-60761-7.","DOI":"10.1007\/3-540-60761-7"},{"key":"10_CR22","doi-asserted-by":"publisher","unstructured":"Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob\u00a0R. Lorch, Bryan Parno, Michael\u00a0Lowell Roberts, Srinath T.\u00a0V. Setty, and Brian Zill. IronFleet: proving practical distributed systems correct. In Ethan\u00a0L. Miller and Steven Hand, editors, Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015, pages 1\u201317. ACM, 2015. https:\/\/doi.org\/10.1145\/2815400.2815428.","DOI":"10.1145\/2815400.2815428"},{"key":"10_CR23","doi-asserted-by":"publisher","unstructured":"Chris Hawblitzel, Erez Petrank, Shaz Qadeer, and Serdar Tasiran. Automated and Modular Refinement Reasoning for Concurrent Programs. In Daniel Kroening and Corina\u00a0S. Pasareanu, editors, Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, volume 9207 of Lecture Notes in Computer Science, pages 449\u2013465. Springer, 2015. https:\/\/doi.org\/10.1007\/978-3-319-21668-3_26.","DOI":"10.1007\/978-3-319-21668-3_26"},{"key":"10_CR24","doi-asserted-by":"publisher","unstructured":"Maurice Herlihy and Jeannette\u00a0M. Wing. Linearizability: A Correctness Condition for Concurrent Objects. ACM Trans. Program. Lang. Syst., 12(3):463\u2013492, 1990. https:\/\/doi.org\/10.1145\/78969.78972.","DOI":"10.1145\/78969.78972"},{"key":"10_CR25","unstructured":"Cliff\u00a0B. Jones. Specification and Design of (Parallel) Programs. In R.\u00a0E.\u00a0A. Mason, editor, Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, pages 321\u2013332. North-Holland\/IFIP, 1983."},{"key":"10_CR26","doi-asserted-by":"publisher","unstructured":"Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein, and Viktor Vafeiadis. Truly stateless, optimal dynamic partial order reduction. Proc. ACM Program. Lang., 6(POPL):1\u201328, 2022. https:\/\/doi.org\/10.1145\/3498711.","DOI":"10.1145\/3498711"},{"key":"10_CR27","doi-asserted-by":"publisher","unstructured":"Bernhard Kragl, Constantin Enea, Thomas\u00a0A. Henzinger, Suha\u00a0Orhun Mutluergil, and Shaz Qadeer. Inductive sequentialization of asynchronous programs. In Alastair\u00a0F. Donaldson and Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, pages 227\u2013242. ACM, 2020. https:\/\/doi.org\/10.1145\/3385412.3385980.","DOI":"10.1145\/3385412.3385980"},{"key":"10_CR28","doi-asserted-by":"publisher","unstructured":"Bernhard Kragl and Shaz Qadeer. Layered Concurrent Programs. In Hana Chockler and Georg Weissenbacher, editors, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, volume 10981 of Lecture Notes in Computer Science, pages 79\u2013102. Springer, 2018. https:\/\/doi.org\/10.1007\/978-3-319-96145-3_5.","DOI":"10.1007\/978-3-319-96145-3_5"},{"key":"10_CR29","doi-asserted-by":"publisher","unstructured":"Bernhard Kragl and Shaz Qadeer. The Civl verifier. In Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pages 143\u2013152. IEEE, 2021. URL: https:\/\/doi.org\/10.34727\/2021\/ISBN.978-3-85448-046-4_23.","DOI":"10.34727\/2021\/ISBN.978-3-85448-046-4_23"},{"key":"10_CR30","doi-asserted-by":"publisher","unstructured":"Bernhard Kragl, Shaz Qadeer, and Thomas\u00a0A. Henzinger. Synchronizing the Asynchronous. In Sven Schewe and Lijun Zhang, editors, 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, volume 118 of LIPIcs, pages 21:1\u201321:17. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2018. URL: https:\/\/doi.org\/10.4230\/LIPICS.CONCUR.2018.21.","DOI":"10.4230\/LIPICS.CONCUR.2018.21"},{"key":"10_CR31","doi-asserted-by":"publisher","unstructured":"Bernhard Kragl, Shaz Qadeer, and Thomas\u00a0A. Henzinger. Refinement for Structured Concurrent Programs. In Shuvendu\u00a0K. Lahiri and Chao Wang, editors, Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, volume 12224 of Lecture Notes in Computer Science, pages 275\u2013298. Springer, 2020. https:\/\/doi.org\/10.1007\/978-3-030-53288-8_14.","DOI":"10.1007\/978-3-030-53288-8_14"},{"key":"10_CR32","doi-asserted-by":"publisher","unstructured":"Jeffrey Kuskin, David Ofelt, Mark\u00a0A. Heinrich, John Heinlein, Richard Simoni, Kourosh Gharachorloo, John Chapin, David Nakahira, Joel Baxter, Mark Horowitz, Anoop Gupta, Mendel Rosenblum, and John\u00a0L. Hennessy. The Stanford FLASH Multiprocessor. In David\u00a0A. Patterson, editor, Proceedings of the 21st Annual International Symposium on Computer Architecture. Chicago, IL, USA, April 1994, pages 302\u2013313. IEEE Computer Society, 1994. https:\/\/doi.org\/10.1109\/ISCA.1994.288140.","DOI":"10.1109\/ISCA.1994.288140"},{"key":"10_CR33","unstructured":"Leslie Lamport. Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002. URL: http:\/\/research.microsoft.com\/users\/lamport\/tla\/book.html."},{"key":"10_CR34","doi-asserted-by":"publisher","unstructured":"K.\u00a0Rustan\u00a0M. Leino. Dafny: An Automatic Program Verifier for Functional Correctness. In Edmund\u00a0M. Clarke and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, volume 6355 of Lecture Notes in Computer Science, pages 348\u2013370. Springer, 2010. https:\/\/doi.org\/10.1007\/978-3-642-17511-4_20.","DOI":"10.1007\/978-3-642-17511-4_20"},{"key":"10_CR35","doi-asserted-by":"publisher","unstructured":"Richard\u00a0J. Lipton. Reduction: A Method of Proving Properties of Parallel Programs. Commun. ACM, 18(12):717\u2013721, 1975. https:\/\/doi.org\/10.1145\/361227.361234.","DOI":"10.1145\/361227.361234"},{"key":"10_CR36","doi-asserted-by":"publisher","unstructured":"Jacob\u00a0R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James\u00a0R. Wilcox, and Xueyuan Zhao. Armada: low-effort verification of high-performance concurrent programs. In Alastair\u00a0F. Donaldson and Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, pages 197\u2013210. ACM, 2020. https:\/\/doi.org\/10.1145\/3385412.3385971.","DOI":"10.1145\/3385412.3385971"},{"key":"10_CR37","doi-asserted-by":"publisher","unstructured":"Nancy\u00a0A. Lynch and Frits\u00a0W. Vaandrager. Forward and Backward Simulations: I. Untimed Systems. Inf. Comput., 121(2):214\u2013233, 1995. URL: https:\/\/doi.org\/10.1006\/INCO.1995.1134.","DOI":"10.1006\/INCO.1995.1134"},{"key":"10_CR38","doi-asserted-by":"publisher","unstructured":"Susan\u00a0S. Owicki and David Gries. Verifying Properties of Parallel Programs: An Axiomatic Approach. Commun. ACM, 19(5):279\u2013285, 1976. https:\/\/doi.org\/10.1145\/360051.360224.","DOI":"10.1145\/360051.360224"},{"key":"10_CR39","doi-asserted-by":"publisher","unstructured":"The Coq\u00a0Development Team. The Coq Proof Assistant, version 8.11.0, 2020. https:\/\/doi.org\/10.5281\/zenodo.3744225.","DOI":"10.5281\/zenodo.3744225"},{"key":"10_CR40","doi-asserted-by":"publisher","unstructured":"Klaus von Gleissenthall, Rami\u00a0G\u00f6khan Kici, Alexander Bakst, Deian Stefan, and Ranjit Jhala. Pretend synchrony: synchronous verification of asynchronous distributed programs. Proc. ACM Program. Lang., 3(POPL):59:1\u201359:30, 2019. https:\/\/doi.org\/10.1145\/3290372.","DOI":"10.1145\/3290372"}],"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-3-032-22720-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T16:39:43Z","timestamp":1785429583000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22720-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227195","9783032227201"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22720-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"10 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESOP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esop2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/about\/esop\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}