“Automatic Bit- and Memory-Precise Verification of eBPF Code,” in Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024), Port Louis, Mauritius, 2024.
mehr
BibTeX
@inproceedings{BrombergerLPAR24, TITLE = {Automatic Bit- and Memory-Precise Verification of {eBPF} Code}, AUTHOR = {Bromberger, Martin and Schwarz, Simon and Weidenbach, Christoph}, LANGUAGE = {eng}, ISSN = {2040-557X}, DOI = {10.29007/sj4l}, PUBLISHER = {EasyChair}, YEAR = {2024}, MARGINALMARK = {$\bullet$}, DATE = {2024}, BOOKTITLE = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024)}, EDITOR = {Bj{\o}rner, Nikolaj and Heule, Martin and Voronkov, Andrei}, PAGES = {198--221}, SERIES = {EasyChair Proceedings in Computing}, VOLUME = {100}, ADDRESS = {Port Louis, Mauritius}, }
Endnote
%0 Conference Proceedings %A Bromberger, Martin %A Schwarz, Simon %A Weidenbach, Christoph %+ Automation of Logic, MPI for Informatics, Max Planck Society Automation of Logic, MPI for Informatics, Max Planck Society Automation of Logic, MPI for Informatics, Max Planck Society %T Automatic Bit- and Memory-Precise Verification of eBPF Code : %G eng %U http://hdl.handle.net/21.11116/0000-0010-3E75-6 %R 10.29007/sj4l %D 2024 %B 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning %Z date of event: 2024-05-23 - 2024-05-29 %C Port Louis, Mauritius %B Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning %E Bjørner, Nikolaj; Heule, Martin; Voronkov, Andrei %P 198 - 221 %I EasyChair %B EasyChair Proceedings in Computing %N 100 %@ false