1. Alessandro Abate , Cristina David , Pascal Kesseli , Daniel Kroening , and Elizabeth Polgreen . 2018. Counterexample Guided Inductive Synthesis Modulo Theories . In Computer Aided Verification, Hana Chockler and Georg Weissenbacher (Eds.). Springer International Publishing , Cham , 270--288. Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen. 2018. Counterexample Guided Inductive Synthesis Modulo Theories. In Computer Aided Verification, Hana Chockler and Georg Weissenbacher (Eds.). Springer International Publishing, Cham, 270--288.
2. On paging with locality of reference
3. Data center TCP (DCTCP)
4. pFabric
5. Starvation in end-to-end congestion control