“…General research on configuration synthesis has thrived, yielding, over the past decades, tools to produce configurations for firewalls (e.g., [12,13,17,42,54]), routing (e.g., [4,5,15]), and other networking targets [14,38,44,47]. Some work, such as Bravetti, et al [7] also focuses on microservice synthesis. All of these generate a monolithic configuration, sidestepping the multi-party case.…”