{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:00Z","timestamp":1750309440444,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T00:00:00Z","timestamp":1729123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,17]]},"DOI":"10.1145\/3689492.3690054","type":"proceedings-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T09:14:04Z","timestamp":1729156444000},"page":"147-161","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Programming Language for Data and Configuration!"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3589-4860","authenticated-orcid":false,"given":"Mark","family":"Marron","sequence":"first","affiliation":[{"name":"University of Kentucky, Lexington, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Vaggelis Atlidakis Patrice Godefroid and Marina Polishchuk. 2019. RESTler: Stateful REST API Fuzzing. ICSE.","DOI":"10.1109\/ICSE.2019.00083"},{"key":"e_1_3_2_1_2_1","unstructured":"2023. Apache Avro. https:\/\/avro.apache.org\/"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Salman Baset Sahil Suneja Nilton Bila Ozan Tuncer and Canturk Isci. 2017. Usable Declarative Configuration Specification and Validation for Applications Systems and Cloud. Middleware.","DOI":"10.1145\/3154448.3154453"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Maria Christakis K. Rustan M. Leino and Wolfram Schulte. 2014. Formalizing and Verifying a Modern Build Language. FM.","DOI":"10.1007\/978-3-319-06410-9_43"},{"key":"e_1_3_2_1_5_1","unstructured":"2024. Incident Root Cause Analysis. https:\/\/www.crowdstrike.com\/wp-content\/uploads\/2024\/08\/Channel-File-291-Incident-Root-Cause-Analysis-08.06.2024.pdf"},{"key":"e_1_3_2_1_6_1","unstructured":"2023. CUE Documentation. https:\/\/cuelang.org\/"},{"key":"e_1_3_2_1_7_1","unstructured":"2019. Inconsistent Data Validation. Private Communication"},{"key":"e_1_3_2_1_8_1","volume-title":"The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale. ESEC\/FSE","author":"Davis James C.","year":"2018","unstructured":"James C. Davis, Christy A. Coghlan, Francisco Servant, and Dongyoon Lee. 2018. The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale. ESEC\/FSE 2018."},{"key":"e_1_3_2_1_9_1","unstructured":"2024. Documentation. hhttps:\/\/dhall-lang.org\/"},{"key":"e_1_3_2_1_10_1","unstructured":"2024. Documentation. https:\/\/project-everest.github.io\/everparse\/"},{"key":"e_1_3_2_1_11_1","unstructured":"2023. American Fuzzy Lop. https:\/\/github.com\/google\/AFL"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Stephen Goldbaum Attila Mihaly Tosha Ellison Earl T. Barr and Mark Marron. 2022. High Assurance Software for Financial Regulation and Business Platforms. VMCAI.","DOI":"10.1007\/978-3-030-94583-1_6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Rahul Gopinath Bj\u00f6rn Mathis and Andreas Zeller. 2020. Mining Input Grammars from Dynamic Control Flow. ESEC\/FSE.","DOI":"10.1145\/3368089.3409679"},{"key":"e_1_3_2_1_14_1","unstructured":"2023. Project Page. https:\/\/grpc.io\/"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Peng Huang William J. Bolosky Abhishek Singh and Yuanyuan Zhou. 2015. ConfValley: A Systematic Configuration Validation Framework for Cloud Services. EuroSys.","DOI":"10.1145\/2741948.2741963"},{"key":"e_1_3_2_1_16_1","unstructured":"2019. Standard for date and time representations. https:\/\/www.isotc154.org\/posts\/2019-08-27-introduction-to-the-new-8601\/"},{"key":"e_1_3_2_1_17_1","unstructured":"2023. JSON Format. https:\/\/www.json.org\/json-en.html"},{"key":"e_1_3_2_1_18_1","volume-title":"Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. OOPSLA.","author":"Kastner John","year":"2024","unstructured":"John Kastner, Aaron Eline, Joseph W. Cutler, Shaobo He, Emina Torlak, Anwar Mamat, Lef Ioannidis, Darin McAdams, Matt McCutchen, Andrew Wells, MIchael Hicks, Neha Rungta, Kyle Headley, Kesha Hietala, and Craig Disselkoen. 2024. Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. OOPSLA."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Mark Marron. 2023. Toward Programming Languages for Reasoning: Humans Symbolic Systems and AI Agents. Onward!.","DOI":"10.1145\/3622758.3622895"},{"volume-title":"Agile and Dependable Service Development with Bosque and Morphir","key":"e_1_3_2_1_20_1","unstructured":"2021. Agile and Dependable Service Development with Bosque and Morphir. Linux Foundation Open Source Summit ( https:\/\/www.youtube.com\/watch?v=olAWcFOK-IU"},{"key":"e_1_3_2_1_21_1","volume-title":"Build Systems \u00e0 la Carte: Theory and practice. Journal of Functional Programming, 30","author":"Mokhov Andret","year":"2020","unstructured":"Andret Mokhov, Neil Mitchell, and Simon Peyton Jones. 2020. Build Systems \u00e0 la Carte: Theory and practice. Journal of Functional Programming, 30 (2020)."},{"key":"e_1_3_2_1_22_1","unstructured":"2021. Morphir. https:\/\/github.com\/finos\/morphir"},{"key":"e_1_3_2_1_23_1","unstructured":"2020. Citibank $400M Fine. https:\/\/www.occ.gov\/static\/enforcement-actions\/ea2020-056.pdf"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Cyrus Omar and Jonathan Aldrich. 2018. Reasonably Programmable Literal Notation. ICFP.","DOI":"10.1145\/3236801"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Cyrus Omar Darya Kurilova Ligia Nistor Benjamin Chung Alex Potanin and Jonathan Aldrich. 2014. Safely Composable Type-Specific Languages. ECOOP.","DOI":"10.1007\/978-3-662-44202-9_5"},{"key":"e_1_3_2_1_26_1","unstructured":"2023. OpenAPI 3.0 Format. https:\/\/swagger.io\/specification\/"},{"key":"e_1_3_2_1_27_1","unstructured":"2023. Protocol Buffers. https:\/\/protobuf.dev\/"},{"key":"e_1_3_2_1_28_1","unstructured":"2024. Documentation. https:\/\/www.pulumi.com\/"},{"key":"e_1_3_2_1_29_1","unstructured":"Tahina Ramananandro Antoine Delignat-Lavaud Cedric Fournet Nikhil Swamy Tej Chajed Nadim Kobeissi and Jonathan Protzenko. 2019. EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. USENIX Security."},{"key":"e_1_3_2_1_30_1","unstructured":"2023. RAML Documentation. https:\/\/raml.org\/"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133928"},{"key":"e_1_3_2_1_32_1","volume-title":"Rehearsal: A Configuration Verification Tool for Puppet. PLDI.","author":"Shambaugh Rian","year":"2016","unstructured":"Rian Shambaugh, Aaron Weiss, and Arjun Guha. 2016. Rehearsal: A Configuration Verification Tool for Puppet. PLDI."},{"key":"e_1_3_2_1_33_1","unstructured":"2024. Documentation. https:\/\/docs.bazel.build\/versions\/0.17.1\/skylark\/spec.html"},{"key":"e_1_3_2_1_34_1","unstructured":"2023. AWS Smithy 2.0 Documentation. https:\/\/smithy.io\/2.0\/index.html"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Dominic Steinh\u00f6fel and Andreas Zeller. 2022. Input Invariants. ESEC\/FSE.","DOI":"10.1145\/3540250.3549139"},{"key":"e_1_3_2_1_36_1","volume-title":"Language-Based Software Testing. Commun. ACM, 67","author":"Steinh\u00f6fel Dominic","year":"2024","unstructured":"Dominic Steinh\u00f6fel and Andreas Zeller. 2024. Language-Based Software Testing. Commun. ACM, 67 (2024)."},{"key":"e_1_3_2_1_37_1","unstructured":"2020. NIST Time FAQ. https:\/\/www.nist.gov\/pml\/time-and-frequency-division\/nist-time-frequently-asked-questions-faq"},{"key":"e_1_3_2_1_38_1","unstructured":"2024. Documentation. https:\/\/developer.hashicorp.com\/terraform\/language"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Nikolai Tillmann and Wolfram Schulte. 2005. Parameterized Unit Tests. ESEC\/FSE-13.","DOI":"10.1145\/1081706.1081749"},{"key":"e_1_3_2_1_40_1","unstructured":"2023. TOML Format. https:\/\/www.toml.io"},{"key":"e_1_3_2_1_41_1","unstructured":"2023. Microsoft TypeSpec. https:\/\/microsoft.github.io\/typespec\/standard-library\/built-in-decorators"},{"key":"e_1_3_2_1_42_1","unstructured":"2023. YAML Format. https:\/\/www.yaml.org"}],"event":{"name":"Onward! '24: 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software","sponsor":["SIGPLAN SIGPLAN","SIGAda SIGAda"],"location":"Pasadena CA USA","acronym":"Onward! '24"},"container-title":["Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689492.3690054","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689492.3690054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:46Z","timestamp":1750295386000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689492.3690054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,17]]},"references-count":42,"alternative-id":["10.1145\/3689492.3690054","10.1145\/3689492"],"URL":"https:\/\/doi.org\/10.1145\/3689492.3690054","relation":{},"subject":[],"published":{"date-parts":[[2024,10,17]]},"assertion":[{"value":"2024-10-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}