Atul Singh

Atul Singh

Max Planck Institute for Software Systems
Campus E1.4
66123 Saarbrucken, Germany
e-mail: atuls@mpi-sws.org

I am a PhD candidate in the Computer Science department at Rice University, working under the direction of Peter Druschel. Currently, I am visiting Max-Planck Institute for Software Systems (MPI-SWS), Saarbrucken, Germany. I spent most of 2005 and 2006 interning at Intel Research Berkeley with the P2 group, mostly with Petros Maniatis. I still actively collaborate with Petros. Recently, I am also collaborating with Rodrigo Rodrigues.

I will be graduating in May 2009 and am on the job market.
My application material: [CV] [Research Statement] [Teaching Statement].

Research Interests

I am interested in dependable computing, security, decentralized systems, and declarative networking.

Projects

  • Byzantine fault tolerance for highly available data center services.
  • A framework to build, compare, and evaluate Byzantine fault-tolerant protocols.
  • Debugging distributed systems written in declarative language.
  • Mechanisms for secure routing in overlay networks.
  • Content distribution networks.

    Refereed Publications

  • Cardinality Abstraction for Declarative Networking Juan Navarro Perez, Andrey Rybalchenko, and Atul Singh.
    To appear in the Proceedings of the 21st International Conference on Computer Aided Verification (CAV'09) Grenoble, France, June, 2009

  • Zeno: Eventually Consistent Byzantine Fault Tolerance Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, and Petros Maniatis.
    To appear in the Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI'09), Boston, MA, USA, April 2009.
    [paper] [talk]

  • Defining Weakly Consistent Byzantine Fault Tolerant Services. (Invited paper) Petr Kuznetsov, Rodrigo Rodrigues, Atul Singh, Petros Maniatis, and Pedro Fonseca.
    To appear in the Proceedings of the 2nd Large-Scale Distributed Systems and Middleware Workshop (LADIS'08), NY, USA, September 2008.
    [paper] [talk]

  • BFT Protocols under Fire. Atul Singh, Tathagata Das, Petros Maniatis, Peter Druschel, Timothy Roscoe.
    In the Proceedings of the 5th Symposium on Networked Systems Design and Implementation (NSDI'08), San Francisco, USA, April 2008.
    [paper] [talk] [Project Page]

  • Using Queries for Distributed Monitoring and Forensics. Atul Singh, Petros Maniatis, Timothy Roscoe and Peter Druschel.
    In the Proceedings of 1st EuroSys, Leuven, Belgium. April 2006.
    [paper] [talk]

  • Eclipse Attacks on Overlay Networks: Threats and Defenses. Atul Singh, Tsuen-Wan "Johnny" Ngan, Peter Druschel and Dan Wallach.
    In the Proceedings of INFOCOM, Barcelona, Spain. April 2006.
    [paper] [bibtex] [talk]

  • Scrivener: Providing Incentives in Cooperative Content Distribution Systems. Animesh Nandi, Tsuen-Wan "Johnny" Ngan, Atul Singh, Peter Druschel and Dan Wallach.
    In the Proceedings of Middleware, Grenoble, France. November, 2005.
    [paper] [bibtex]

  • Defending against Eclipse Attacks in Overlay Networks. Atul Singh, Miguel Castro, Peter Druschel and Miguel Castro.
    In the Proceedings of ACM SIGOPS European Workshop, Leuven, Belgium. September, 2004.
    [paper] [bibtex]

  • On designing incentive comptabile peer to peer systems. Animesh Nandi, Tsuen-Wan "Johnny" Ngan, Atul Singh, Peter Druschel and Dan Wallach.
    In the Proceedings of 2nd FuDiCo II: S.O.S, Bertinoro, Italy. June 2004.
    [paper] [bibtex]

  • SplitStream: High Bandwidth Multicast in Cooperative Environments. Miguel Castro, Peter Druschel, A. M. Kermarrec, Animesh Nandi, Antony Rowstron and Atul Singh.
    In the Proceedings of SOSP, Bolton Landing, New York, USA. October, 2003.
    [paper] [bibtex]

  • SplitStream: High Bandwidth Content Distribution in Cooperative Environment. Miguel Castro, Peter Druschel, A. M. Kermarrec, Animesh Nandi, Antony Rowstron and Atul Singh.
    In the Proceedings of IPTPS, Berkeley, CA, USA. February 2003.
    [paper] [bibtex]

  • Secure proximity aware routing for structured peer to peer overlays. Atul Singh.
    In 1st IRIS Student Workshop, Boston, MA, USA. August, 2003.
    [paper] [bibtex]

  • Fair bandwidth and storage sharing in peer to peer networks. Tsuen-Wan "Johnny" Ngan, Animesh Nandi and Atul Singh.
    In 1st IRIS Student Workshop, Boston, MA, USA. August, 2003.
    [paper] [bibtex]

    Other Publications

  • Conflict-free Quorum based BFT Protocols. Atul Singh, Petros Maniatis, Peter Druschel, and Timothy Roscoe.
    Max Planck Institute for Software Systems Technical Report, TR-2007-2, August 2007
    [paper] [bibtex]

    Free counter and web stats