Alexander Shraer's Publications

Recent and Unpublished Work

1. Alexander Shraer ,Christian Cachin, Asaf Cidon, Idit Keidar, Yan Michalevsky, Dani Shaket:
   Venus: Verification for Untrusted Cloud Storage
   
   
2. Alexander Shraer, Jean-Philippe Martin, Dahlia Malkhi, Marcos K. Aguilera, Idit Keidar:
   Reconfigurable Storage with Active Disks
   

Journal Publications

1. Edward Bortnikov, Maxim Gurevich, Idit Keidar, Gabriel Kliot, Alexander Shraer:
   Brahms: Byzantine Resilient Random Membership Sampling
   COMNET: Computer Networks Journal, Special Issue on Gossiping in Distributed Systems, Volume 53, Issue 13, pages 2340-2359, July 2009.
   
   
2. Christian Cachin, Idit Keidar, Alexander Shraer:
   Fork Sequential Consistency is Blocking
   IPL: in the Information Processing Letters, 109:7, pages 360-364, March 2009.
   (Tech. Rep. CCIT 697, Technion EE, May 2008; CoRR abs/0805.2068.)
   
   
3. Idit Keidar and Alexander Shraer:
   How to Choose a Timing Model?
   IEEE TPDS: in the IEEE Transactions on Parallel and Distributed Systems, 19(10), 1367-1380, October 2008.

Conference Publications

1. Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer:
   Dynamic Atomic Storage Without Consensus
   Full version: Tech. Rep. CCIT 731, Technion EE, May 2009.
   PODC 2009: in the 28th ACM Symposium on Principles of Distributed Computing, Calgary, Canada, August 2009.
   
   
2. Christian Cachin, Idit Keidar, Alexander Shraer:
   Fail-Aware Untrusted Storage
   Tech. Rep. CCIT 712, Technion EE, December 2008. Last update: February 2009
   DSN 2009: in the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Estoril, Portugal, July 2009.
   
   
3. Edward Bortnikov, Maxim Gurevich, Idit Keidar, Gabriel Kliot, Alexander Shraer:
   Brahms: Byzantine Resilient Random Membership Sampling
   PODC 2008: in the 27th ACM Symposium on Principles of Distributed Computing, Toronto, Canada, August 2008. Slides.
   Tech. Rep. CCIT 688 (full version), Technion Department of Electrical Engineering, February 2008.
   
   
4. Christian Cachin, abhi shelat, Alexander Shraer:
   Fork-Linearizable Access to Untrusted Shared Memory
   Tech. Rep. RZ3688, IBM Research, April 2007.
   PODC 2007: in the 26th ACM Symposium on Principles of Distributed Computing, Portland, OR, August 2007.
   
   
5. Idit Keidar and Alexander Shraer:
   How to Choose a Timing Model?
   DSN 2007: in the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Edinburgh, UK, June 2007.
   
   
6. Idit Keidar and Alexander Shraer:
   Timeliness, Failure Detectors, and Consensus Performance
   Tech. Rep. CCIT 576, Technion Department of Electrical Engineering, February 2006.
   PODC 2006: in the 25th ACM Symposium on Principles of Distributed Computing, pages 169-178, Denver, CO, July 2006.

Workshops, Online magazines and Brief Announcements

1. Christian Cachin, Idit Keidar, Alexander Shraer:
   Trusting the Cloud
   ACM SIGACT News Distributed Computing Column, 40(2), June 2009.
   
   
2. Christian Cachin, Idit Keidar, Alexander Shraer:
   Improving Efficiency and Enhancing Concurrency of Untrusted Storage
   FAST 2008: in the 6th USENIX Conference on File and Storage Technologies, work-in-progress (WiP) and poster session, San Jose, CA, February 2008.
   
   
3. Alexander Shraer, Sivan Bercovici, Gregory Chockler, Idit Keidar, Roie Melamed, Yoav Tock, Roman Vitenberg:
   Local Building Blocks for a Scalable Pub/Sub Infrastructure
   LOCALITY 2007: in the Second Workshop on Locality Preserving Distributed Computing Methods, co-located with PODC '07.
   
   
4. Alexander Shraer, Gregory Chockler, Idit Keidar, Roie Melamed, Yoav Tock, Roman Vitenberg:
   Local On-Line Maintenance of Scalable Pub/Sub Infrastructure
   DSN 2007: in the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Edinburgh, UK, June 2007.