IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Charlas Invitadas > 2020 > Synthesis of Parametrized Distributed Self-stabilizing Protocols
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Borzoo  Bonakdarpour

martes 25 de febrero de 2020

10:45am Meeting room 302 (Mountain View), level 3

Borzoo Bonakdarpour, Assistant Research Professor, Iowa State University

Synthesis of Parametrized Distributed Self-stabilizing Protocols


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 automatic 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 parameterized distributed self-stabilizing algorithms.