VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025

This program is tentative and subject to change.

Mon 20 Jan 2025 16:00 - 16:30 at Hopscotch - Applications

Constantly growing demands on higher bandwidth and quality of service in modern communication networks motivate the introduction of fully optical network technologies that can eliminate the bottlenecks of optical to digital signal conversions. Recent advances in elastic optical networks enable fine-grained resource allocation technologies for traffic demands, which introduces the Routing and Spectrum Allocation (RSA) problem. In order to improve network resilience for multiple link failures while avoiding double light-spectrum allocation, we present ExpectAll-a novel approach and a tool for resilience and path/spectrum allocation based on binary decision diagrams (BDDs). Our method efficiently computes and stores all solutions to the RSA problem in the BDD data structure, facilitating optimal and fast failover protection for failure scenarios even with multiple failing links. ExpectAll surpasses the state-of-the-art methods in both the speed of finding a single optimal solution for a currently occurring failure scenario as well as in the preparation time required to precompute all optimal route and spectrum assignments.

This program is tentative and subject to change.

Mon 20 Jan

Displayed time zone: Mountain Time (US & Canada) change

16:00 - 17:30
ApplicationsVMCAI 2025 at Hopscotch
16:00
30m
Talk
ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks
VMCAI 2025
Gustav S. Bruhns Aalborg University, Martin P. Hansen Aalborg University, Rasmus Hebsgaard Aalborg University, Frederik M. W. Hyldgaard Aalborg University, Jiri Srba Aalborg University
16:30
30m
Talk
Constructing Trustworthy Smart Contracts
VMCAI 2025
Devora Chait-Roth New York University, Kedar Namjoshi Nokia Bell Labs
17:00
30m
Talk
Automated Flaw Detection for Industrial Robot RESTful Service
VMCAI 2025
Yuncheng Wang Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, China, Puzhuo Liu Tsinghua University, Yaowen Zheng Institute of Information Engineering at Chinese Academy of Sciences, Dongliang Fang Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, China, Zhiwen Pan Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, China, Shuaizong Si Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, China, Weidong Zhang Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, China, Limin Sun Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences