{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T20:07:48Z","timestamp":1769112468839,"version":"3.49.0"},"publisher-location":"Cham","reference-count":65,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031747755","type":"print"},{"value":"9783031747762","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-74776-2_15","type":"book-chapter","created":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:35:48Z","timestamp":1737351348000},"page":"386-406","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Fixing Latent Unsound Abstract Operators in\u00a0the\u00a0eBPF Verifier of\u00a0the\u00a0Linux Kernel"],"prefix":"10.1007","author":[{"given":"Matan","family":"Shachnai","sequence":"first","affiliation":[]},{"given":"Harishankar","family":"Vishwanathan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1128-477X","authenticated-orcid":false,"given":"Srinivas","family":"Narayana","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5048-8548","authenticated-orcid":false,"given":"Santosh","family":"Nagarakatte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,21]]},"reference":[{"key":"15_CR1","unstructured":"Agni\u2019s verification of kernel 6.4 takes weeks. https:\/\/github.com\/bpfverif\/agni\/issues\/13"},{"key":"15_CR2","unstructured":"bpf: fix incorrect sign extension in check_alu_op(). https:\/\/github.com\/torvalds\/linux\/commit\/95a762e2c8c942780948091f8f2a4f32fce1ac6f"},{"key":"15_CR3","unstructured":"bpf, Harden and\/or\/xor value tracking in verifier. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/bpf\/bpf-next.git\/commit\/?id=1f586614f3ff"},{"key":"15_CR4","unstructured":"bpf, Register bounds logic and testing improvements. https:\/\/elixir.bootlin.com\/linux\/v6.8-rc1\/source\/kernel\/bpf\/verifier.c"},{"key":"15_CR5","unstructured":"bpf, x32: Fix bug with ALU64 LSH, RSH, ARSH BPF_X shift by 0. https:\/\/github.com\/torvalds\/linux\/commit\/68a8357ec15bdce55266e9fba8b8b3b8143fa7d2"},{"key":"15_CR6","unstructured":"Cilium API-aware networking and security. https:\/\/cilium.io\/"},{"key":"15_CR7","unstructured":"CVE-2017-16996 Mishandling of register truncation. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2017-16996"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"CVE-2017-17852 Mishandling of 32-bit ALU ops. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2017-17852","DOI":"10.5465\/AMBPP.2017.17852abstract"},{"key":"15_CR9","unstructured":"CVE-2017-17853 Mishandling of 32-bit ALU ops. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2017-17853"},{"key":"15_CR10","unstructured":"CVE-2017-17864 Mishandled comparison between pointer and unknown data types. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2017-17864"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"CVE-2018-18445 Mishandling of 32-bit RSH op. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2018-18445","DOI":"10.5465\/AMBPP.2018.18445abstract"},{"key":"15_CR12","unstructured":"CVE-2020-8835 Mishandling of bounds tracking for 32-bit JMPs. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2020-8835"},{"key":"15_CR13","unstructured":"CVE-2021-3490 The eBPF ALU32 bounds tracking for bitwise ops (AND, OR and XOR) in the Linux kernel did not properly update 32-bit bounds. CVE-2021-3490"},{"key":"15_CR14","unstructured":"Facebook\u2019s Katran load balancer: Kernel XDP program. https:\/\/github.com\/facebookincubator\/katran\/blob\/master\/katran\/lib\/bpf\/balancer_kern.c"},{"key":"15_CR15","unstructured":"Netconf 2018 day 1. https:\/\/lwn.net\/Articles\/757201\/"},{"key":"15_CR16","unstructured":"Suricata: ebpf and xdp. https:\/\/suricata.readthedocs.io\/en\/latest\/capture-hardware\/ebpf-xdp.html"},{"key":"15_CR17","unstructured":"workflows: CI for the verification step . https:\/\/github.com\/bpfverif\/agni\/commit\/18b7513facda0d6f57e69c293f9a494ede683be7"},{"key":"15_CR18","unstructured":"workflows: Initial CI for the LLVM-to-SMT step . https:\/\/github.com\/bpfverif\/agni\/commit\/a30260d2b8c4c14f356f9501c4a9dac28f768f5d"},{"key":"15_CR19","unstructured":"bpf, tnums: Provably sound, faster, and more precise algorithm for tnum_mul (2021). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/bpf\/bpf-next.git\/commit\/?id=05924717ac70. Accessed 19 Oct 2022"},{"key":"15_CR20","unstructured":"New GKE Dataplane V2 increases security and visibility for containers (2021). https:\/\/cloud.google.com\/blog\/products\/containers-kubernetes\/bringing-ebpf-and-cilium-to-google-kubernetes-engine"},{"key":"15_CR21","unstructured":"LLVM\u2019s MemorySSA (2023). https:\/\/llvm.org\/docs\/MemorySSA.html"},{"key":"15_CR22","doi-asserted-by":"publisher","unstructured":"Verifying the Verifier: eBPF Range Analysis Verification (2023). https:\/\/doi.org\/10.5281\/zenodo.7931901","DOI":"10.5281\/zenodo.7931901"},{"key":"15_CR23","unstructured":"Bhat, S., Shacham, H.: Formal verification of the linux kernel ebpf verifier range analysis (2022). https:\/\/sanjit-bhat.github.io\/assets\/pdf\/ebpf-verifier-range-analysis22.pdf"},{"key":"15_CR24","unstructured":"Borkmann, D.: bpf: Fix scalar32_min_max_or bounds tracking (2020). https:\/\/github.com\/torvalds\/linux\/commit\/5b9fbeb75b6a98955f628e205ac26689bcb1383e"},{"key":"15_CR25","unstructured":"Borkmann, D.: bpf: undo incorrect __reg_bound_offset32 handling (2020). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/netdev\/net-next.git\/commit\/?id=f2d67fec0b43edce8c416101cdc52e71145b5fef"},{"key":"15_CR26","unstructured":"Borkmann, D.: bpf: fix alu32 const subreg bound tracking on bitwise operations (2021). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/bpf\/bpf.git\/commit\/?id=049c4e13714ecbca567b4d5f6d563f05d431c80e"},{"key":"15_CR27","unstructured":"Borkmann, D.: bpf: Fix signed_sub,add32_overflows type handling (2021). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=bc895e8b2a64e502fbba72748d59618272052a8b"},{"key":"15_CR28","doi-asserted-by":"publisher","first-page":"325","DOI":"10.4204\/eptcs.129.19","volume":"129","author":"A Cortesi","year":"2013","unstructured":"Cortesi, A., Costantini, G., Ferrara, P.: A survey on product operators in abstract interpretation. Electron. Proc. Theor. Comput. Sci. 129, 325\u2013336 (2013). https:\/\/doi.org\/10.4204\/eptcs.129.19","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"15_CR29","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and per analysis of functional languages). In: Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL 1994), pp. 95\u2013112 (1994). https:\/\/doi.org\/10.1109\/ICCL.1994.288389","DOI":"10.1109\/ICCL.1994.288389"},{"key":"15_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-44577-3_10","volume-title":"Informatics","author":"P Cousot","year":"2001","unstructured":"Cousot, P.: Abstract interpretation based formal methods and future challenges. In: Wilhelm, R. (ed.) Informatics. LNCS, vol. 2000, pp. 138\u2013156. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44577-3_10"},{"key":"15_CR31","unstructured":"Cousot, P.: Lecture 13 notes: Mit 16.399, abstract interpretation (2005). http:\/\/web.mit.edu\/afs\/athena.mit.edu\/course\/16\/16.399\/www\/lecture_13-abstraction1\/Cousot_MIT_2005_Course_13_4-1.pdf"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proceedings of the 2nd International Symposium on Programming, Paris, France, pp. 106\u2013130. Dunod (1976)","DOI":"10.1145\/390019.808314"},{"key":"15_CR33","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: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. POPL 1977, pp. 238\u2013252. Association for Computing Machinery, New York (1977). https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"15_CR34","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. POPL 1979, pp. 269\u2013282. Association for Computing Machinery, New York (1979). https:\/\/doi.org\/10.1145\/567752.567778","DOI":"10.1145\/567752.567778"},{"key":"15_CR35","unstructured":"Cree, E.: bpf\/verifier: fix bounds calculation on BPF_RSH (2017). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=4374f256ce8182019353c0c639bb8d0695b4c941"},{"key":"15_CR36","unstructured":"Duplyakin, D., et al.: The design and operation of cloudlab. In: Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference. USENIX ATC 2019, pp. 1\u201314. USENIX Association, USA (2019)"},{"key":"15_CR37","unstructured":"Fabre, A.: L4drop: Xdp ddos mitigations. https:\/\/blog.cloudflare.com\/l4drop-xdp-ebpf-based-ddos-mitigations\/"},{"key":"15_CR38","doi-asserted-by":"publisher","unstructured":"Gershuni, E., et al.: Simple and precise static analysis of untrusted linux kernel extensions. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2019, pp. 1069\u20131084 Association for Computing Machinery, New York (2019). https:\/\/doi.org\/10.1145\/3314221.3314590","DOI":"10.1145\/3314221.3314590"},{"key":"15_CR39","unstructured":"Gregg, B.: Bpf performance analysis at netflix. https:\/\/www.slideshare.net\/brendangregg\/reinvent-2019-bpf-performance-analysis-at-netflix"},{"key":"15_CR40","unstructured":"Horn, J.: Arbitrary read+write via incorrect range tracking in ebpf. https:\/\/bugs.chromium.org\/p\/project-zero\/issues\/detail?id=1454"},{"key":"15_CR41","unstructured":"Horn, J.: bpf: fix 32-bit ALU op verification (2017). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=468f6eafa6c44cb2c5d8aad35e12f06c240a812a"},{"key":"15_CR42","unstructured":"Horn, J.: bpf: 32-bit RSH verification must truncate input before the ALU op (2018). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=b799207e1e1816b09e7a5920fbb2d5fcf6edd681"},{"key":"15_CR43","unstructured":"Leong, L.: ZDI-20-1440: an incorrect calculation bug in the linux kernel eBPF verifier. https:\/\/www.zerodayinitiative.com\/blog\/2021\/1\/18\/zdi-20-1440-an-incorrect-calculation-bug-in-the-linux-kernel-ebpf-verifier"},{"key":"15_CR44","unstructured":"Paul, M.: CVE-2020-8835: Linux kernel privilege escalation via improper eBPF program verification. https:\/\/www.zerodayinitiative.com\/blog\/2020\/4\/8\/cve-2020-8835-linux-kernel-privilege-escalation-via-improper-ebpf-program-verification"},{"key":"15_CR45","unstructured":"Min\u00e9, A.: Abstract domains for bit-level machine integer and floating-point operations. In: WING 2012 - 4th International Workshop on invariant Generation. p.\u00a016. Manchester, United Kingdom (2012). https:\/\/hal.science\/hal-00748094"},{"key":"15_CR46","doi-asserted-by":"publisher","unstructured":"Min\u00e9, A.: Tutorial on static inference of numeric invariants by abstract interpretation. Found. Trends\u00ae Program. Lang. 4(3-4), 120\u2013372 (2017). https:\/\/doi.org\/10.1561\/2500000034","DOI":"10.1561\/2500000034"},{"key":"15_CR47","doi-asserted-by":"publisher","unstructured":"Monniaux, D.: Verification of device drivers and intelligent controllers: a case study. In: Proceedings of the 7th ACM & IEEE International Conference on Embedded Software, pp. 30\u201336 (2007). https:\/\/doi.org\/10.1145\/1289927.1289937","DOI":"10.1145\/1289927.1289937"},{"key":"15_CR48","unstructured":"Nakryiko, A.: BPF register bounds logic and testing improvements (2023). https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/bpf\/bpf-next.git\/commit\/?id=cd9c127069c0"},{"key":"15_CR49","doi-asserted-by":"publisher","unstructured":"Nelson, L., Bornholt, J., Gu, R., Baumann, A., Torlak, E., Wang, X.: Scaling symbolic evaluation for automated verification of systems code with serval. In: Proceedings of the 27th ACM Symposium on Operating Systems Principles. SOSP 2019, pp. 225\u2013242 Association for Computing Machinery, New York (2019). https:\/\/doi.org\/10.1145\/3341301.3359641","DOI":"10.1145\/3341301.3359641"},{"key":"15_CR50","unstructured":"Nelson, L., Van\u00a0Geffen, J., Torlak, E., Wang, X.: Specification and verification in the field: applying formal methods to BPF just-in-time compilers in the linux kernel. In: Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation. OSDI 2020, USENIX Association, USA (2020)"},{"key":"15_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-030-94583-1_12","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"J Onderka","year":"2022","unstructured":"Onderka, J., Ratschan, S.: Fast three-valued abstract bit-vector arithmetic. In: Finkbeiner, B., Wies, T. (eds.) VMCAI 2022. LNCS, vol. 13182, pp. 242\u2013262. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-94583-1_12"},{"key":"15_CR52","unstructured":"Palmiotti, V.: Kernel pwning with eBPF: a love story. https:\/\/www.graplsecurity.com\/post\/kernel-pwning-with-ebpf-a-love-story"},{"key":"15_CR53","doi-asserted-by":"publisher","unstructured":"Regehr, J., Duongsaa, U.: Deriving abstract transfer functions for analyzing embedded software. In: Proceedings of the 2006 ACM SIGPLAN\/SIGBED Conference on Language, Compilers, and Tool Support for Embedded Systems. LCTES 2006, pp. 34\u201343 Association for Computing Machinery, New York (2006). https:\/\/doi.org\/10.1145\/1134650.1134657","DOI":"10.1145\/1134650.1134657"},{"key":"15_CR54","unstructured":"Larabee, R.: eBPF and Analysis of the get-rekt-linux-hardened.c Exploit for CVE-2017-16995. https:\/\/ricklarabee.blogspot.com\/2018\/07\/ebpf-and-analysis-of-get-rekt-linux.html"},{"key":"15_CR55","unstructured":"Shirokov, N.V.: XDP: 1.5 years in production. Evolution and lessons learned. In: Linux Plumbers Conference (2018)"},{"key":"15_CR56","doi-asserted-by":"publisher","unstructured":"Singh, G., P\u00fcschel, M., Vechev, M.: Fast polyhedra abstract domain. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL 2017, pp. 46\u201359 Association for Computing Machinery, New York (2017). https:\/\/doi.org\/10.1145\/3009837.3009885","DOI":"10.1145\/3009837.3009885"},{"key":"15_CR57","unstructured":"Starovoitov, A.: Bpf at facebook. https:\/\/kernel-recipes.org\/en\/2019\/talks\/bpf-at-facebook\/"},{"key":"15_CR58","doi-asserted-by":"publisher","unstructured":"Sun, H., Xu, Y., Liu, J., Shen, Y., Guan, N., Jiang, Y.: Finding correctness bugs in ebpf verifier with structured and sanitized program. In: Proceedings of the Nineteenth European Conference on Computer Systems. EuroSys 2024, pp. 689\u2013703. Association for Computing Machinery, New York (2024). https:\/\/doi.org\/10.1145\/3627703.3629562","DOI":"10.1145\/3627703.3629562"},{"key":"15_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1007\/978-3-030-53291-8_29","volume-title":"Computer Aided Verification","author":"J Van Geffen","year":"2020","unstructured":"Van Geffen, J., Nelson, L., Dillig, I., Wang, X., Torlak, E.: Synthesizing JIT compilers for in-kernel DSLs. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12225, pp. 564\u2013586. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_29"},{"key":"15_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/3-540-61739-6_53","volume-title":"Static Analysis","author":"A Venet","year":"1996","unstructured":"Venet, A.: Abstract cofibered domains: application to the alias analysis of untyped programs. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol. 1145, pp. 366\u2013382. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61739-6_53"},{"key":"15_CR61","doi-asserted-by":"publisher","unstructured":"Vishwanathan, H., Shachnai, M., Narayana, S., Nagarakatte, S.: Sound, precise, and fast abstract interpretation with tristate numbers. In: Proceedings of the 20th IEEE\/ACM International Symposium on Code Generation and Optimization. CGO 2022, pp. 254\u2013265. IEEE Press (2022). https:\/\/doi.org\/10.1109\/CGO53902.2022.9741267","DOI":"10.1109\/CGO53902.2022.9741267"},{"key":"15_CR62","doi-asserted-by":"crossref","unstructured":"Vishwanathan, H., Shachnai, M., Narayana, S., Nagarakatte, S.: Agni: verifying the Verifier (eBPF Range Analysis Verification) (2023). https:\/\/github.com\/bpfverif\/ebpf-range-analysis-verification-cav23","DOI":"10.1007\/978-3-031-37709-9_12"},{"key":"15_CR63","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-031-37709-9_12","volume-title":"CAV 2023","author":"H Vishwanathan","year":"2023","unstructured":"Vishwanathan, H., Shachnai, M., Narayana, S., Nagarakatte, S.: Verifying the verifier: eBPF range analysis verification. In: Enea, C., Lal, A. (eds.) CAV 2023. LNCS, vol. 13966, pp. 226\u2013251. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-37709-9_12"},{"key":"15_CR64","unstructured":"Wang, X., Lazar, D., Zeldovich, N., Chlipala, A., Tatlock, Z.: Jitk: a trustworthy in-kernel interpreter infrastructure. In: Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation. OSDI 2014, pp. 33\u201347. USENIX Association, USA (2014)"},{"key":"15_CR65","doi-asserted-by":"publisher","unstructured":"Xu, Q., Wong, M.D., Wagle, T., Narayana, S., Sivaraman, A.: Synthesizing safe and efficient kernel extensions for packet processing. In: Proceedings of the 2021 ACM SIGCOMM 2021 Conference. SIGCOMM 2021, pp. 50\u201364. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3452296.3472929","DOI":"10.1145\/3452296.3472929"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74776-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:35:59Z","timestamp":1737351359000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74776-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031747755","9783031747762"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74776-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"21 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Static Analysis Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pasadena, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sas2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2024.splashcon.org\/home\/sas-2024","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}