Using GNN for refactoring P4 programs

Csüllög, Benedek Szabolcs, Tejfel, Máté (2025) Using GNN for refactoring P4 programs Annales Mathematicae et Informaticae. 61. pp. 55-67. ISSN 1787-6117 (Online)

pdf 55_67_csüllög.pdf Download (492kB) [error in script]

Absztrakt (kivonat)

P4 [2] is a domain specific language for programming the data plane of network devices in a protocol independent manner. To analyze and transform Programming Protocol Independent Packet Processors (P4) programs, we use P4Query[5], a tool that performs both syntactic and semantic analyses and represents P4 source code as abstract syntax trees (ASTs) in the form of directed graphs. In this paper, we explore how Graph Neural Networks (GNNs) can be applied to these graph structured ASTs to learn high-level code transformations. We introduce and evaluate three models: a variable renamer that learns to propagate identifier changes across the AST, a parameter reorderer that predicts function argument permutations, and a detector for semantically empty else branches. These tasks demonstrate the effectiveness of GNNs in understanding and transforming P4 code structures. Such models can support code optimization and standardization efforts by automating repetitive or error-prone transformations in P4 programs.

Mű típusa:	Folyóiratcikk - Journal article
Szerző:	Szerző neve Email MTMT azonosító ORCID azonosító Közreműködés Csüllög, Benedek Szabolcs NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Tejfel, Máté NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző
Megjegyzés:	This research was supported by the project no. FK_21 138949 from the National Research Development and Innovation Fund of Hungary.
Kapcsolódó URL-ek:	Befoglaló kötet
Kulcsszavak:	P4, P4Query, GNN, networks
Folyóirat alcíme:	Selected papers of the International Conference on Formal Methods and Foundations of Artificial Intelligence
Nyelv:	angol
Kötetszám:	61.
DOI azonosító:	10.33039/ami.2025.10.021
ISSN:	1787-6117 (Online)
Felhasználó:	Tibor Gál
Dátum:	29 Okt 2025 11:37
Utolsó módosítás:	29 Okt 2025 11:37
URI:	http://publikacio.uni-eszterhazy.hu/id/eprint/8824

Műveletek (bejelentkezés szükséges)

Tétel nézet