Neural Network Verification is a Programming Language Challenge

Lucas C. Cordeiro; Matthew L. Daggitt; Julien Girard-Satabin; Omri Isac; Taylor T. Johnson; Guy Katz; Ekaterina Komendantskaya; Augustin Lemesle; Edoardo Manino; Artjoms Šinkarovs; Haoze Wu

doi:10.1007/978-3-031-91118-7_9

Neural Network Verification is a Programming Language Challenge

Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya^*, Augustin Lemesle, Edoardo Manino, Artjoms Šinkarovs, Haoze Wu

^*Corresponding author for this work

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while proper support from the programming language perspective has been considered secondary or unimportant. Yet, there is mounting evidence that insights from the programming language community may make a difference in the future development of this domain. In this paper, we formulate neural network verification challenges as programming language challenges and suggest possible future solutions.

Original language	English
Title of host publication	Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings
Editors	Viktor Vafeiadis
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	206-235
Number of pages	30
ISBN (Print)	9783031911170
DOIs	https://doi.org/10.1007/978-3-031-91118-7_9
State	Published - 2025
Event	34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025 - Hamilton, Canada Duration: 3 May 2025 → 8 May 2025

Publication series

Name	Lecture Notes in Computer Science
Volume	15694 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025
Country/Territory	Canada
City	Hamilton
Period	3/05/25 → 8/05/25

Bibliographical note

Publisher Copyright:
© The Author(s) 2025.

Keywords

Domain Specific Languages
Neural Networks
Verification

Access to Document

10.1007/978-3-031-91118-7_9

Cite this

Cordeiro, L. C., Daggitt, M. L., Girard-Satabin, J., Isac, O., Johnson, T. T., Katz, G., Komendantskaya, E., Lemesle, A., Manino, E., Šinkarovs, A., & Wu, H. (2025). Neural Network Verification is a Programming Language Challenge. In V. Vafeiadis (Ed.), Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings (pp. 206-235). (Lecture Notes in Computer Science; Vol. 15694 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-91118-7_9

Cordeiro, Lucas C. ; Daggitt, Matthew L. ; Girard-Satabin, Julien et al. / Neural Network Verification is a Programming Language Challenge. Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. editor / Viktor Vafeiadis. Springer Science and Business Media Deutschland GmbH, 2025. pp. 206-235 (Lecture Notes in Computer Science).

@inproceedings{dc542fc7f5904a1f9d2db165338f8d84,

title = "Neural Network Verification is a Programming Language Challenge",

abstract = "Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while proper support from the programming language perspective has been considered secondary or unimportant. Yet, there is mounting evidence that insights from the programming language community may make a difference in the future development of this domain. In this paper, we formulate neural network verification challenges as programming language challenges and suggest possible future solutions.",

keywords = "Domain Specific Languages, Neural Networks, Verification",

author = "Cordeiro, \{Lucas C.\} and Daggitt, \{Matthew L.\} and Julien Girard-Satabin and Omri Isac and Johnson, \{Taylor T.\} and Guy Katz and Ekaterina Komendantskaya and Augustin Lemesle and Edoardo Manino and Artjoms {\v S}inkarovs and Haoze Wu",

note = "Publisher Copyright: {\textcopyright} The Author(s) 2025.; 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025 ; Conference date: 03-05-2025 Through 08-05-2025",

year = "2025",

doi = "10.1007/978-3-031-91118-7\_9",

language = "אנגלית",

isbn = "9783031911170",

series = "Lecture Notes in Computer Science",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "206--235",

editor = "Viktor Vafeiadis",

booktitle = "Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings",

address = "גרמניה",

}

Cordeiro, LC, Daggitt, ML, Girard-Satabin, J, Isac, O, Johnson, TT, Katz, G, Komendantskaya, E, Lemesle, A, Manino, E, Šinkarovs, A & Wu, H 2025, Neural Network Verification is a Programming Language Challenge. in V Vafeiadis (ed.), Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Lecture Notes in Computer Science, vol. 15694 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 206-235, 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Canada, 3/05/25. https://doi.org/10.1007/978-3-031-91118-7_9

Neural Network Verification is a Programming Language Challenge. / Cordeiro, Lucas C.; Daggitt, Matthew L.; Girard-Satabin, Julien et al.
Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. ed. / Viktor Vafeiadis. Springer Science and Business Media Deutschland GmbH, 2025. p. 206-235 (Lecture Notes in Computer Science; Vol. 15694 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Neural Network Verification is a Programming Language Challenge

AU - Cordeiro, Lucas C.

AU - Daggitt, Matthew L.

AU - Girard-Satabin, Julien

AU - Isac, Omri

AU - Johnson, Taylor T.

AU - Katz, Guy

AU - Komendantskaya, Ekaterina

AU - Lemesle, Augustin

AU - Manino, Edoardo

AU - Šinkarovs, Artjoms

AU - Wu, Haoze

PY - 2025

Y1 - 2025

N2 - Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while proper support from the programming language perspective has been considered secondary or unimportant. Yet, there is mounting evidence that insights from the programming language community may make a difference in the future development of this domain. In this paper, we formulate neural network verification challenges as programming language challenges and suggest possible future solutions.

AB - Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while proper support from the programming language perspective has been considered secondary or unimportant. Yet, there is mounting evidence that insights from the programming language community may make a difference in the future development of this domain. In this paper, we formulate neural network verification challenges as programming language challenges and suggest possible future solutions.

KW - Domain Specific Languages

KW - Neural Networks

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=105004790346&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-91118-7_9

DO - 10.1007/978-3-031-91118-7_9

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:105004790346

SN - 9783031911170

T3 - Lecture Notes in Computer Science

SP - 206

EP - 235

BT - Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings

A2 - Vafeiadis, Viktor

PB - Springer Science and Business Media Deutschland GmbH

T2 - 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025

Y2 - 3 May 2025 through 8 May 2025

ER -

Cordeiro LC, Daggitt ML, Girard-Satabin J, Isac O, Johnson TT, Katz G et al. Neural Network Verification is a Programming Language Challenge. In Vafeiadis V, editor, Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Springer Science and Business Media Deutschland GmbH. 2025. p. 206-235. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-91118-7_9

Neural Network Verification is a Programming Language Challenge

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this