Refereed Conference Publications

    Google Scholar | DBLP

  1. A Scheduling Approach to Incremental Maintenance of Datalog Programs
    Shikha Singh, Sergey Madaminov, Michael Bender, Michael Ferdman, Ryan Johnson,
    Benjamin Moseley, Hung Ngo, Dung Nguyen, Soeren Olesen, Kurt Stirewalt, Geoffrey Washburn.
    International Parallel and Distributed Processing Symposium (IPDPS) (IPDPS), 2020.

  2. Timely Reporting of Heavy Hitters using External Memory
    P. Pandey*, S. Singh*, M. A. Bender, J. W. Berry, M. Farach-Colton, R. Johnson, T. Kroeger, C. Phillips.
    * Joint first authors
    ACM SIGMOD International Conference on Management of Data (SIGMOD), 2020. [arxiv] [Slides]

  3. Non-Cooperative Rational Interactive Proofs
    J. Chen, S. McCauley, and S. Singh
    European Symposium on Algorithms (ESA), 2019. [arXiv] [Slides]

  4. Bloom Filters, Adaptivity, and the Dictionary Problem
    M. A. Bender, M. Farach-Colton, M. Goswami, R. Johnson, S. McCauley, and S. Singh.
    Symposium on Foundations of Computer Science (FOCS) 2018. [arXiv]

  5. Efficient Rational Proofs with Strong Utility-Gap Guarantees.
    J. Chen, S. McCauley, and S. Singh.
    Symposium on Algorithmic Game Theory (SAGT) 2018. [arXiv]

  6. Approximating k-Forest with Resource Augmentation: A Primal-Dual Approach
    E. Angel, K. T. Nguyen, and S. Singh.
    Conference on Combinatorial Optimization and Applications (COCOA) 2017. [PDF]
    Received the Best Paper Runner-Up Award.

  7. Anti-Persistence on Persistent Storage: History-Independent Sparse Tables and Dictionaries.
    M. A. Bender, J. Berry, R. Johnson, T. M. Kroeger, S. McCauley, C. A. Phillips, B. Simon, S. Singh, and D Zage.
    Principles of Database Systems (PODS) 2016. [PDF]

  8. Resource Optimization for Program Committee Members: A Subreview Article.
    M. A. Bender, S. McCauley, B. Simon, S. Singh, and F. Vivien.
    Fun with Algorithms (FUN) 2016. [PDF]

  9. The I/O Complexity of Computing Prime Tables.
    M. A. Bender, R. Chowdhury, A. Conway, M. Farach-Colton, P. Ganapathi, R. Johnson, S. McCauley, B. Simon, and S. Singh.
    Latin American Theoretical Informatics Symposium (LATIN) 2016. [PDF]

  10. Rational Proofs with Multiple Provers.
    J. Chen, S. McCauley, and S. Singh.
    Innovations in Theoretical Computer Science (ITCS) 2016. [arXiv][Slides][Poster]

  11. Run Generation Revisited: What Goes Up May or May Not Come Down.
    M. A. Bender, S. McCauley, A. McGregor, S. Singh, and H. Vu.
    International Symposium on Algorithms and Computation (ISAAC) 2015. [arXiv] [Slides] [Poster]
  12. Refereed Journal Publications

  13. Approximating k-Forest with Resource Augmentation: A Primal-Dual Approach
    E. Angel, K. T. Nguyen, and S. Singh.
    Theoretical Computer Science 2019. [PDF]
    (Special Section on Combinatorial Optimization and Applications Conference)

Back to Home Page