Skip to main content
Browse by:
GROUP

Effective March 10, 2020, all Duke-sponsored events over 50 people have been cancelled, rescheduled, postponed or virtualized.
Please check with the event contact regarding event status. For more information, please see https://coronavirus.duke.edu/events

Parametrized Synthesis of Distributed Self-stabilizing Protocols

Event Image
Icon calendar
Thursday, August 22, 2019
Icon time
12:00 pm - 1:00 pm
Icon series
CS/ECE Seminar

Program synthesis is often called the "holy grail" of computer science, as it enables users to refrain from error-prone software development process and focus on only analyzing the intended behavior of the system. Thus, program synthesis exhibits its power in automating generation of intricate and complex parts of a system as well as in repetitive programming tasks, and bringing the power of programming to the average computer user who may not possess sophisticated programming skills. A particular area where program synthesis can play a central role is in distributed systems due to their inherent complex nature. This talk will present our recent results and breakthroughs in synthesizing distributed self-stabilizing algorithms.
Self-stabilization is a versatile type of fault-tolerance, which guarantees convergence to a good behavior in the presence of transient faults, starting from any arbitrary global state.

Contact: Wawra Sadat