Research

Contact

I am a postdoctoral associate in the Department of Computer Science at Cornell University in Ithaca, New York. My research focuses on distributed systems, particularly on scalability aspects of fault-tolerance. I'm also interested in formal methods applied to replication protocols. At the Faculty of Informatics of the University of Lugano, my Ph.D. topic was on partial database replication protocols for wide area networks, where I graduated in 2009 under the supervision of Prof. Fernando Pedone. I was born in Switzerland and received my M.Sc. in Computer Science from EPFL.

nschiper at cs dot cornell dot edu 4119C Upson Hall Ithaca, NY 14853 +1 607 255 0110 Curriculum Vitae Research Statement Teaching Statement

Projects

Scalable Fault-Tolerance

My PhD work focussed on developing scalable protocols to replicate data over wide area networks. This work resulted in developing several atomic multicast protocols that ensure agreement on the sequence of messages delivered and offer good scalability properties. On top of this multicast service we built P-Store, a replicated key-value store that offers full transactional support and any data sharding scheme. More recently, I started investigating the performance of various replication protocols when data cannot be sharded easily.

Collaborators: Fernando Pedone and Pierre Sutra.

Correct-by-construction Replication Protocols

In an effort to develop more robust fault-tolerant software we have built ShadowDB, a replicated database whose failure-handling code has been proven correct. To increase failure-independence of the replicas, ShadowDB offers automatic and correctness-preserving means to diversify their implementations. Preliminary results appeared at HotDep'12 and WRiPE'12. More details about this project can be found here.

Collaborators: Vincent Rahli, Robbert van Renesse, Mark Bickford, and Robert L. Constable.

Enhancing the Dependability of Distributed Applications

A substantial proportion of application bugs lead to non-crash failures: data corruption, silent errors, and unauthorized user access are some of the consequences of these bugs. This project aims at proposing BFT replication protocols that are simpler to implement, reduce hardware costs, and offer good performance. Examples of such protocols are Byzantine Chain Replication and BFT-DUR.

Collaborators: Robbert van Renesse and Fernando Pedone.

Events

PC member of the 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2013
Shadow PC member of the 2013 European Conference on Computer Systems Eurosys 2013
PC member of the 16th International Conference On Principles Of Distributed Systems OPODIS 2012
PC member of the 12th International IFIP Conference on Distributed Applications and Interoperable Systems DAIS 2012