Usenix Symposium On Networked Systems Design And Implementation Nsdi We have witnessed a rapid growth of programmable switch applications, ranging from monitoring to security and offloading. meanwhile, to safeguard the diverse network behaviors, researchers have developed formal verification techniques for high assurance. As a recent advance, network devices have become runtime programmable, supporting live program changes via partial reconfiguration. however, computing a runtime update plan that provides safety guarantees is a challenging task.
Usenix Symposium On Networked Systems Design And Implementation Nsdi Flexplan is a tool that identifies step by step runtime update plans using program synthesis, guaranteeing that each transition state is correct with regard to a user speci fication and feasible within switch memory constraints. Before joining hku, i was a postdoctoral researcher cohosted by prof. ang chen at university of michigan cse and prof. sylvia ratnasamy at uc berkeley eecs. i earned my phd in computer science and engineering from university of michigan, where i was fortunate to work with prof. ang chen. The paper qiu presented at nsdi reveals flexplan, a solution that aims to automatically synthesize runtime programmable switch update plans. with flexplan, qiu and his research collaborators provide formal guarantees to the generated update plans, ensuring they are both feasible and safe. Synthesizing runtime programmable switch updates. in mahesh balakrishnan 0001, manya ghobadi, editors, 20th usenix symposium on networked systems design and implementation, nsdi 2023, boston, ma, april 17 19, 2023. pages 613 628, usenix association, 2023. [doi].
Switch Update Pdf The paper qiu presented at nsdi reveals flexplan, a solution that aims to automatically synthesize runtime programmable switch update plans. with flexplan, qiu and his research collaborators provide formal guarantees to the generated update plans, ensuring they are both feasible and safe. Synthesizing runtime programmable switch updates. in mahesh balakrishnan 0001, manya ghobadi, editors, 20th usenix symposium on networked systems design and implementation, nsdi 2023, boston, ma, april 17 19, 2023. pages 613 628, usenix association, 2023. [doi]. As a recent advance, network devices have become runtime programmable, supporting live program changes via partial reconfiguration. Explore a 15 minute conference talk from usenix nsdi '23 that delves into the challenges and solutions for runtime programmable switch updates. learn about flexplan, an innovative tool that uses program synthesis to generate safe and feasible step by step update plans for programmable switches. Conference paper: synthesizing runtime programmable switch updates show simple item record show full item record export item record. 20th usenix symposium on networked systems design and implementation, nsdi 2023, boston, ma, april 17 19, 2023. usenix association 2023.
Nsdi 23 Call For Papers Usenix As a recent advance, network devices have become runtime programmable, supporting live program changes via partial reconfiguration. Explore a 15 minute conference talk from usenix nsdi '23 that delves into the challenges and solutions for runtime programmable switch updates. learn about flexplan, an innovative tool that uses program synthesis to generate safe and feasible step by step update plans for programmable switches. Conference paper: synthesizing runtime programmable switch updates show simple item record show full item record export item record. 20th usenix symposium on networked systems design and implementation, nsdi 2023, boston, ma, april 17 19, 2023. usenix association 2023.
Usenix Symposium On Networked Systems Design And Implementation Nsdi Conference paper: synthesizing runtime programmable switch updates show simple item record show full item record export item record. 20th usenix symposium on networked systems design and implementation, nsdi 2023, boston, ma, april 17 19, 2023. usenix association 2023.
Comments are closed.