Skip to main content
Browse by:

Until further notice, in-person public events have been canceled. This includes recruitment events, tours, student programs, reunions, performances, conferences and social events.
Event listings include how to access online content. Contact event sponsor with questions.
Please note that all visitors to campus must comply with Duke’s community safety measures, which include wearing a mask,
check before coming to campus, and follow direction provided by campus personnel.

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