RandomWalks

Publications

Authors listed in alphabetic order of last name. Safe to assume equal contribution unless the primary author[s] is[are] highlighted explicitly.

  1. Jolt QED: Formally Verifying Jolt Bytecode Expansion In Lean

    In-Preparation

    Ari Biswas, Quang Dao, Daniel Ross, Justin Thaler

    Details

  2. The Sum-Check Protocol over the Monomial Basis, and other Optimizations

    Submitted.

    Ari Biswas, Quang Dao, Liam Eagen, Andrew Milson, Shahar Papini, Justin Thaler

    Details

  3. Refutations of Perfect Matchings In Expanders Is Hard

    SIAM Discrete Maths Journal (2026)

    Ari Biswas, Rajko Nenadov

    Details

  4. Interactive Proofs For Distribution Testing With Conditional Oracles

    ITCS 2026

    Ari Biswas, Mark Bun, Clément Cannone, Satchit Sivakumar

    Details

  5. Differentially Private Hierarchical Heavy Hitters

    PODS 2025

    Ari Biswas, Graham Cormode, Yaron Kanza, Divesh Srivastava, Zhengyi Zhou

    Details

  6. Interactive Proofs For Differentially Private Counting

    CCS 2023

    Ari Biswas, Graham Cormode

    Details

  7. Seeker: Real-Time Interactive Search

    KDD 2019

    Ari Biswas, Houssam Nassif, Thai Pham, Benjamin Snyder, Michael Vogelsong

    Details

  8. Adversarial Principal Component Analysis

    ISIT 2017

    Ari Biswas, Daniel Pimentel-Alarcón, Claudia Solís-Lemus

    Details

  9. Hands-on Introduction To Computer Science At The Freshman Level

    SIGCSE 2014

    Raghuraman Balasubramanian, Ari Biswas, Timur Girgin, Karu Sankaralingam, Zach York

    Details