1. Smooth Kronecker: Solving the Combing Problems in Kronecker Graphs Vaastav Anand*, Puneet Mehrotra*, Daniel Margo*, and Margo Seltzer In Proceedings of the Joint Workshop on Graph Data Management Experiences and Systems (GRADES) and Network Data Analytics (NDA) (Co-located with SIGMOD) 2020 [PDF]
  2. Dara the explorer : coverage based exploration for model checking of distributed systems in Go Vaastav Anand 2020 [PDF]


  1. Sifter: Scalable Sampling for Distributed Traces, without Feature Engineering Pedro Las-Casas, Giorgi Papkerashvili, Vaastav Anand, and Jonathan Mace In Proceedings of the ACM Symposium on Cloud Computing 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]