{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T13:44:37Z","timestamp":1782827077814,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["KICH1.ST02.21.003"],"award-info":[{"award-number":["KICH1.ST02.21.003"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,2]]},"DOI":"10.1145\/3806383.3815519","type":"proceedings-article","created":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T12:49:41Z","timestamp":1782823781000},"page":"78-91","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1094-0234","authenticated-orcid":false,"given":"Uraz","family":"Odyurt","sequence":"first","affiliation":[{"name":"Faculty of Engineering Technology, University of Twente, Enschede, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8860-2316","authenticated-orcid":false,"given":"\u00d6mer","family":"Sayilir","sequence":"additional","affiliation":[{"name":"Formal Methods and Tools, University of Twente, Enschede, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[{"name":"Formal Methods and Tools, University of Twente, Enschede, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7764-4224","authenticated-orcid":false,"given":"Vadim","family":"Zaytsev","sequence":"additional","affiliation":[{"name":"Formal Methods and Tools, University of Twente, Enschede, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Jet: An Embedded DSL for High Performance Big Data Processing. https:\/\/infoscience.epfl.ch\/handle\/20.500.14299\/85985","author":"Ackermann Stefan","year":"2012","unstructured":"Stefan Ackermann, Vojin Jovanovic, Tiark Rompf, and Martin Odersky. 2012. Jet: An Embedded DSL for High Performance Big Data Processing. https:\/\/infoscience.epfl.ch\/handle\/20.500.14299\/85985"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2024.07.002"},{"key":"e_1_3_2_2_3_1","volume-title":"Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. 10","author":"Baylor Denis","year":"2017","unstructured":"Denis Baylor, Eric Breck, Heng-Tze Cheng, Noah Fiedel, Chuan Yu Foo, Zakaria Haque, Salem Haykal, Mustafa Ispir, Vihan Jain, Levent Koc, Chiu Yuen Koo, Lukasz Lew, Clemens Mewald, Akshay Naresh Modi, Neoklis Polyzotis, Sukriti Ramesh, Sudip Roy, Steven Euijong Whang, Martin Wicke, Jarek Wilkiewicz, Xin Zhang, and Martin Zinkevich. 2017. TFX: A TensorFlow-Based Production-Scale Machine Learning Platform. In Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. 10.1145\/3097983.3098021"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","unstructured":"Bureau International des Poids et Mesures. 2025. Le Syst\u00e8me international d'unit\u00e9s \/ The International System of Units. [Brochure]. 10.59161\/AUEZ1291","DOI":"10.59161\/AUEZ1291"},{"key":"e_1_3_2_2_5_1","volume-title":"Proceedings of the 1974 ACM SIGFIDET (Now SIGMOD) Workshop on Data Description, Access and Control","author":"Donald","unstructured":"Donald D. Chamberlin and Raymond F. Boyce. 1974. SEQUEL: A Structured English Query Language. In Proceedings of the 1974 ACM SIGFIDET (Now SIGMOD) Workshop on Data Description, Access and Control (Ann Arbor, Michigan) (SIGFIDET '74). Association for Computing Machinery, New York, NY, USA, 249\u2013264. 10.1145\/800296.811515"},{"key":"e_1_3_2_2_6_1","volume-title":"Proceedings of the 2016 International Conference on Management of Data. 10","author":"Chu Xu","year":"2016","unstructured":"Xu Chu, Ihab F. Ilyas, Sanjay Krishnan, and Jiannan Wang. 2016. Data Cleaning: Overview and Emerging Challenges. In Proceedings of the 2016 International Conference on Management of Data. 10.1145\/2882903.2912574"},{"key":"e_1_3_2_2_7_1","volume-title":"Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. 10","author":"Chu Xu","year":"2015","unstructured":"Xu Chu, John Morcos, Ihab F. Ilyas, Mourad Ouzzani, Paolo Papotti, Nan Tang, and Yin Ye. 2015. KATARA: A Data Cleaning System Powered by Knowledge Bases and Crowdsourcing. In Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. 10.1145\/2723372.2749431"},{"key":"e_1_3_2_2_8_1","volume-title":"Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data. 10","author":"Dallachiesa Michele","year":"2013","unstructured":"Michele Dallachiesa, Amr Ebaid, Ahmed Eldawy, Ahmed Elmagarmid, Ihab F. Ilyas, Mourad Ouzzani, and Nan Tang. 2013. NADEEF: A Commodity Data Cleaning System. In Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data. 10.1145\/2463676.2465327"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2020.100987"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.221135"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2023.101209"},{"key":"e_1_3_2_2_12_1","unstructured":"GNU Project. 2025. GNU datamash. https:\/\/www.gnu.org\/software\/datamash\/"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","unstructured":"Felix Heine Carsten Kleiner and Thomas Oelsner. 2020. A DSL for Automated Data Quality Monitoring. In Database and Expert Systems Applications. 10.1007\/978-3-030-59003-1_6","DOI":"10.1007\/978-3-030-59003-1_6"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","unstructured":"Anders Hoff. 2024. Lisp Query Notation \u2014 A DSL for Data Processing. 10.5281\/zenodo.11001584","DOI":"10.5281\/zenodo.11001584"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","unstructured":"Gabor Karsai Holger Krahn Claas Pinkernell Bernhard Rumpe Martin Schindler and Steven V\u00f6lkel. 2014. Design Guidelines for Domain Specific Languages. 10.48550\/arXiv.1409.2378","DOI":"10.48550\/arXiv.1409.2378"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.3390\/s21227655"},{"key":"e_1_3_2_2_17_1","volume-title":"RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. In 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. 10","author":"Klint Paul","year":"2009","unstructured":"Paul Klint, Tijs van der Storm, and Jurgen Vinju. 2009. RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. In 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. 10.1109\/SCAM.2009.28"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","unstructured":"Paul Klint Tijs van der Storm and Jurgen Vinju. 2011. EASY Metaprogramming with Rascal. In Revised Papers of the International Summer School on Generative and Transformational Techniques in Software Engineering. 10.1007\/978-3-642-18023-1_6","DOI":"10.1007\/978-3-642-18023-1_6"},{"key":"e_1_3_2_2_19_1","volume-title":"Proceedings of the VLDB Endowment","author":"Krishnan Sanjay","year":"2016","unstructured":"Sanjay Krishnan, Jiannan Wang, Eugene Wu, Michael J. Franklin, and Ken Goldberg. 2016. ActiveClean: Interactive Data Cleaning for Statistical Modeling. Proceedings of the VLDB Endowment (2016). 10.14778\/2994509.2994514"},{"key":"e_1_3_2_2_20_1","volume-title":"LATEX: A Document Preparation System: User's Guide and Reference Manual","author":"Lamport Leslie","year":"1994","unstructured":"Leslie Lamport. 1994. LATEX: A Document Preparation System: User's Guide and Reference Manual (2nd ed ed.). Addison-Wesley Pub. Co.","edition":"2"},{"key":"e_1_3_2_2_21_1","unstructured":"James Martin and Joe Leben. 1986. Fourth-Generation Languages. Vol. II Representative 4GLs. Prentice-Hall."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.25080\/Majora-92bf1922-00a"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"e_1_3_2_2_24_1","first-page":"10","volume-title":"Proc. ACM Program. Lang. 4, HOPL, Article 81 (June","author":"Moler Cleve","year":"2020","unstructured":"Cleve Moler and Jack Little. 2020. A history of MATLAB. Proc. ACM Program. Lang. 4, HOPL, Article 81 (June 2020), 67 pages. 10.1145\/3386331"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2022.102716"},{"key":"e_1_3_2_2_26_1","volume-title":"Power Passports for Fault Tolerance: Anomaly Detection in Industrial CPS Using Electrical EFB. In 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS). 10","author":"Odyurt Uraz","year":"2021","unstructured":"Uraz Odyurt, Julius Roeder, Andy D. Pimentel, Ignacio Gonzalez Alonso, and Cees de Laat. 2021. Power Passports for Fault Tolerance: Anomaly Detection in Industrial CPS Using Electrical EFB. In 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS). 10.1109\/ICPS49255.2021.9468262"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","unstructured":"Uraz Odyurt \u00d6mer Sayilir Mari\u00eblle Stoelinga and Vadim Zaytsev. 2025. CPSLint. 10.5281\/zenodo.17406795","DOI":"10.5281\/zenodo.17406795"},{"key":"e_1_3_2_2_28_1","volume-title":"Post-proceedings of the 24th Belgium-Netherlands Software Evolution Workshop (BENEVOL)","author":"Odyurt Uraz","unstructured":"Uraz Odyurt, \u00d6mer Sayilir, Mari\u00eblle Stoelinga, and Vadim Zaytsev. 2026. Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems. In Post-proceedings of the 24th Belgium-Netherlands Software Evolution Workshop (BENEVOL). http:\/\/arxiv.org\/abs\/2604.18191"},{"key":"e_1_3_2_2_29_1","unstructured":"Oren Ben-Kiki Clark Evans and Ingy d\u00f6t Net. 2021. YAML Ain't Markup Language (YAML\u2122) revision 1.2.2. https:\/\/yaml.org\/spec\/1.2.2\/"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","unstructured":"Vasileios Papastergios and Anastasios Gounaris. 2025. Stream DaQ: Stream-First Data Quality Monitoring. 10.48550\/arXiv.2506.06147","DOI":"10.48550\/arXiv.2506.06147"},{"key":"e_1_3_2_2_31_1","volume-title":"Scikit-learn: Machine Learning in Python. The Journal of Machine Learning Research","author":"Pedregosa Fabian","year":"2011","unstructured":"Fabian Pedregosa, Ga\u00ebl Varoquaux, Alexandre Gramfort, Vincent Michel, Bertrand Thirion, Olivier Grisel, Mathieu Blondel, Peter Prettenhofer, Ron Weiss, Vincent Dubourg, Jake Vanderplas, Alexandre Passos, David Cournapeau, Matthieu Brucher, Matthieu Perrot, and \u00c9douard Duchesnay. 2011. Scikit-learn: Machine Learning in Python. The Journal of Machine Learning Research (2011)."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.3390\/computers14070241"},{"key":"e_1_3_2_2_33_1","volume-title":"Data Cleaning: Problems and Current Approaches","author":"Rahm Erhard","year":"2000","unstructured":"Erhard Rahm and Hong Hai Do. 2000. Data Cleaning: Problems and Current Approaches. IEEE Data Engineering Bulletin (2000). http:\/\/sites.computer.org\/debull\/A00dec\/A00DEC-CD.pdf"},{"key":"e_1_3_2_2_34_1","volume-title":"Proceedings of the VLDB Endowment","author":"Rekatsinas Theodoros","year":"2017","unstructured":"Theodoros Rekatsinas, Xu Chu, Ihab F. Ilyas, and Christopher R\u00e9. 2017. HoloClean: Holistic Data Repairs with Probabilistic Inference. Proceedings of the VLDB Endowment (2017). 10.14778\/3137628.3137631"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2024.100657"},{"key":"e_1_3_2_2_36_1","volume-title":"Proceedings of the 2019 International Conference on Management of Data. 10","author":"Schelter Sebastian","year":"2019","unstructured":"Sebastian Schelter, Felix Biessmann, Dustin Lange, Tammo Rukat, Phillipp Schmidt, Stephan Seufert, Pierre Brunelle, and Andrey Taptunov. 2019. Unit Testing Data with Deequ. In Proceedings of the 2019 International Conference on Management of Data. 10.1145\/3299869.3320210"},{"key":"e_1_3_2_2_37_1","volume-title":"Proceedings of the VLDB Endowment","author":"Schelter Sebastian","year":"2018","unstructured":"Sebastian Schelter, Dustin Lange, Philipp Schmidt, Meltem Celikel, Felix Biessmann, and Andreas Grafberger. 2018. Automating large-scale data quality verification. Proceedings of the VLDB Endowment (2018). 10.14778\/3229863.3229867"},{"key":"e_1_3_2_2_38_1","volume-title":"Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. 10","author":"Smaragdakis Yannis","year":"2019","unstructured":"Yannis Smaragdakis. 2019. Next-paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?. In Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. 10.1145\/3359591.3359739"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1177\/1748006X221118448"},{"key":"e_1_3_2_2_40_1","volume-title":"Reflections on the Lack of Adoption of Domain Specific Languages. In STAF Workshop Proceedings (OOPSLE). http:\/\/ceur-ws.org\/Vol-2707\/oopslepaper5.pdf","author":"Tomassetti Federico","year":"2020","unstructured":"Federico Tomassetti and Vadim Zaytsev. 2020. Reflections on the Lack of Adoption of Domain Specific Languages. In STAF Workshop Proceedings (OOPSLE). http:\/\/ceur-ws.org\/Vol-2707\/oopslepaper5.pdf"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2024-0114"},{"key":"e_1_3_2_2_42_1","volume-title":"Language Design with Intent. In 2017 ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MoDELS). 10","author":"Zaytsev Vadim","year":"2017","unstructured":"Vadim Zaytsev. 2017. Language Design with Intent. In 2017 ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MoDELS). 10.1109\/MODELS.2017.16"}],"event":{"name":"SLE '26: 19th ACM SIGPLAN International Conference on Software Language Engineering","location":"IRISA \/ Inria Rennes France","acronym":"SLE '26","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 19th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"deposited":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T12:49:52Z","timestamp":1782823792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3806383.3815519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":42,"alternative-id":["10.1145\/3806383.3815519","10.1145\/3806383"],"URL":"https:\/\/doi.org\/10.1145\/3806383.3815519","relation":{},"subject":[],"published":{"date-parts":[[2026,7]]},"assertion":[{"value":"2026-07-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}