Incremental Specialization of Network Programs got accepted at ACM HotNets! The work was led by Fabian Ruffy.