Dara: hybrid model checking of distributed systems. - Vaastav Anand (ESEC/SIGSOFT FSE, 2018)

Sifter: Scalable Sampling for Distributed Traces, without Feature Engineering. - Pedro Henrique B. Las-Casas; Giorgi Papakerashvili; Vaastav Anand; Jonathan Mace (SoCC, 2019)

Smooth Kronecker: Solving the Combing Problem in Kronecker Graphs. - Vaastav Anand; Puneet Mehrotra; Daniel W. Margo; Margo I. Seltzer (GRADES-NDA@SIGMOD, 2020)

Aggregate-Driven Trace Visualizations for Performance Debugging. - Vaastav Anand; Matheus Stolet; Thomas James Davidson; Ivan Beschastnikh; Tamara Munzner; Jonathan Mace (CoRR, 2020)

Systems trivia night. - Vaastav Anand; Roberta De Viti; Jonathan Mace (HotOS, 2021)

The Benefit of Hindsight: Tracing Edge-Cases in Distributed Systems. - Lei Zhang; Zhiqiang Xie; Vaastav Anand; Ymir Vigfusson; Jonathan Mace (NSDI, 2023)

Blueprint: A Toolchain for Highly-Reconfigurable Microservice Applications. - Vaastav Anand; Deepak Garg 001; Antoine Kaufmann; Jonathan Mace (SOSP, 2023)

HotOS XIX Panel Report: Panel on Future of Reproduction and Replication of Systems Research. - Roberta De Viti; Solal Pirelli; Vaastav Anand (CoRR, 2023)

SoK: The Faults in our Graph Benchmarks. - Puneet Mehrotra; Vaastav Anand; Daniel W. Margo; Milad Rezaei Hajidehi; Margo I. Seltzer (CoRR, 2024)

Columbo: Low Level End-to-End System Traces through Modular Full-System Simulation. - Jakob Görgen; Vaastav Anand; Hejing Li; Jialin Li; Antoine Kaufmann (CoRR, 2024)

Chatting with Logs: An exploratory study on Finetuning LLMs for LogQL. - Vishwanath Seshagiri; Siddharth Balyan; Vaastav Anand; Kaustubh D. Dhole; Ishan Sharma; Avani Wildani; José Cambronero; Andreas Züfle (CoRR, 2024)

Automated Service Design with Cerulean (Project Showcase). - Vaastav Anand; Alok Gautam Kumbhare; Celine Irvene; Chetan Bansal; Gagan Somashekar; Jonathan Mace; Pedro Henrique B. Las-Casas; Ricardo Bianchini; Rodrigo Fonseca (AIOps, 2025)

Towards Using Llms for Distributed Trace Comparison (Abstract). - Vaastav Anand; Pedro Henrique B. Las-Casas; Rodrigo Fonseca; Antoine Kaufmann (AIOps, 2025)

Towards Online Code Specialization of Systems. - Vaastav Anand; Deepak Garg 001; Antoine Kaufmann (CoRR, 2025)

Intent-based System Design and Operation. - Vaastav Anand; Yichen Li; Alok Gautam Kumbhare; Celine Irvene; Chetan Bansal; Gagan Somashekar; Jonathan Mace; Pedro Henrique B. Las-Casas; Rodrigo Fonseca (CoRR, 2025)

Generating representative macrobenchmark microservice systems from distributed traces with Palette. - Vaastav Anand; Matheus Stolet; Jonathan Mace; Antoine Kaufmann (CoRR, 2025)