WebDebugging P4 programs with Vera Radu Stoenescu Dragos Dumitrescu Matei Popovici Lorina Negreanu Costin Raiciu University Politehnica of Bucharest fi[email protected] Abstract We present Vera, a tool that exhaustively verifies P4 program snapshots using symbolic execution. Vera automatically uncovers a number of common bugs in- cluding … http://nets.cs.pub.ro/~costin/files/vera-tr.pdf
Did you know?
WebInternet Anycast: Performance, Problems and Potential Zhihao Li, Dave Levin, Neil Spring, Bobby Bhattacharjee (UMD, USA) Debugging P4 Programs With Vera Radu … WebAug 7, 2024 · Vera is a tool that verifies P4 programs using symbolic execution and automatically uncovers a number of common bugs including parsing/deparsing errors, …
WebAug 19, 2024 · Debugging P4 Programs With Vera Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu (UPB, Romania) 3:50 pm - 4:30 pm Tea/Coffee Break 6 Location: Ground-Floor Foyer, 2nd-Floor Southern Room and 4th-Floor Foyer, Makovecz Hall, Northwestern Hall, and Panoramic Corridor. Tea/Coffee Break 6; … WebStoenescu , et al . , “ Debugging p4 programs with vera ” , In Proceed ings of the Conference of the ACM Special Interest Group on Data Communication , Aug. 20 , 2024 , pp . 518-532 . Sung , et al . , “ Robotron : Top - down network management at face book scale ” , In Proceedings of the ACM SIGCOMM Conference , Aug. 22 , 2016 , pp .
WebFirst of all, my contributions to Vera (Stoenescu et.al., Debugging P4 programs with Vera in SIGCOMM’18), Vera2 (Dumitrescu et.al. Dataplane verification for P4 presentation in NetPL’19) and bf4 (Dumitrescu et.al., bf4: Towards bug-free P4 programs in SIGCOMM’20) show how detecting bugs in P4 programs can be made practical and easy to use. WebMar 30, 2024 · Two key observations yield this result: (a) targeting a small number of packets is often enough to cause disproportionate performance degradation; and (b) new programmable hardware is an effective...
WebPrograms with Vera", we have presented Vera, a veri cation tool that enables debugging of P4 programs both before deployment and at runtime. At its core, Vera translates P4 to SEFL, a network language designed for veri cation, and relies on symbolic execution with Symnet [11] to analyze the behavior of the resulting program.
http://nets.cs.pub.ro/~costin/files/vera-tr.pdf phil hill credit suisseWebAug 7, 2024 · We present Vera, a tool that verifies P4 programs using symbolic execution. Vera automatically uncovers a number of common bugs including parsing/deparsing … phil hill edtechphil hilliardWebDebugging P4 programs with Vera. R Stoenescu, D Dumitrescu, M Popovici, L Negreanu, C Raiciu ... NSDI, 683-698, 2024. 25: 2024: Can we exploit buggy P4 programs? MV Dumitru, D Dumitrescu, C Raiciu. Proceedings of the Symposium on SDN Research, 62-68, 2024. 23: 2024: bf4: towards bug-free P4 programs. D Dumitrescu, R Stoenescu, L … phil hill ecksofa feldbergWebWe present Vera, a tool that exhaustively verifies P4 programs using symbolic execution. Vera automatically uncovers a number of common bugs including parsing/deparsing … phil hinchman boykin spanielsWebpresent Vera, a verification tool that enables debugging of P4 programs both before deployment and at runtime. At its core, Vera translates P4 to SEFL, a network language designed for verification, and relies on symbolic execution with Symnet [31] to analyze the behavior of the resulting program. Vera phil hill educationWebDebugging P4 programs with Vera. R Stoenescu, D Dumitrescu, M Popovici, L Negreanu, C Raiciu ... NSDI, 683-698, 2024. 25: 2024: Can we exploit buggy P4 programs? MV … phil hinchcliff transport scotland