45 citations · 70 across the 3 of their papers we have counts for
3 papers
cs.DC2019
Certifying Safety when Implementing Consensus
Aurojit Panda
Ensuring the correctness of distributed system implementations remains a challenging and largely unaddressed problem. In this paper we present a protocol that can be used to certif…
cs.NI2014★ 25 cited
Verifying Isolation Properties in the Presence of Middleboxes
Aurojit Panda, Ori Lahav, Katerina Argyraki +2
Great progress has been made recently in verifying the correctness of router forwarding tables. However, these approaches do not work for networks containing middleboxes such as ca…
cs.DB2012★ 45 cited
BlinkDB: Queries with Bounded Errors and Bounded Response Times on Very Large Data
Sameer Agarwal, Aurojit Panda, Barzan Mozafari +2
In this paper, we present BlinkDB, a massively parallel, sampling-based approximate query engine for running ad-hoc, interactive SQL queries on large volumes of data. The key insig…