1. Sifter: Scalable Sampling for Distributed Traces, without Feature Engineering Pedro Las-Casas, Giorgi Papkerashvili, Vaastav Anand, and Jonathan Mace In To Appear at Symposium on Cloud Computing (SoCC) 2019 [PDF]


  1. Dara: hybrid model checking of distributed systems Vaastav Anand In Student Research Competition, Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2018 [PDF]