Program Repair for Hyperproperties

Explore program repair for hyperproperties in this 32-minute lecture by Borzoo Bonakdarpour from Michigan State University. Delve into the complexities of repairing systems to meet hyperproperty specifications, including information-flow security policies and concurrent computing consistency requirements. Examine the repair problem for hyperproperties specified in HyperLTL, analyzing complexity across various fragments and system types. Learn about an innovative repair algorithm for infinite-state programs using symbolic execution, constraint generation, and syntax-guided synthesis. Discover the practical implementation of an iterative repair approach, seeking incremental improvements towards original program behavior. Gain insights from experimental results using off-the-shelf SyGuS solvers in this comprehensive exploration of program repair techniques for complex system properties.

Program Repair for Hyperproperties