Alexander Shraer's Publications

Journal Publications

  1. Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer:
    Composing Ordered Sequential-Consistency
    IPL: in the Information Processing Letters, 123, pages 47-50, March 2017.

  2. Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer:
    Dynamic Atomic Storage Without Consensus
    JACM: In Journal of the ACM, 58:2, Apr 2011.

  3. Christian Cachin, Idit Keidar, Alexander Shraer:
    Fail-Aware Untrusted Storage
    SICOMP: in the SIAM Journal on Computing, 40(2), 2011.

  4. 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.

  5. Christian Cachin, Idit Keidar, Alexander Shraer:
    Fork Sequential Consistency is Blocking
    IPL: in the Information Processing Letters, 109:7, pages 360-364, March 2009.

  6. 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. C. Chrysafis, B. Collins, S. Dugas, J. Dunkelberger, M. Ehsan, S. Gray, A. Grieser, O. Herrnstadt, K. Lev-Ari, T. Lin, M. McMahon, N. Schiefer, A. Shraer
    FoundationDB Record Layer: A Multi-Tenant Structured Datastore
    SIGMOD 2019: accepted to the ACM International Conference on Management of Data (Industry track), Amsterdam, The Netherlands, June 2019.

  2. A. Shraer, A. Aybes, B. Davis, C. Chrysafis, D. Browning, E. Krugler, E. Stone, H Chandler, J. Farkas, J. Quinn, J. Ruben, M. Ford, M. McMahon,
    N. Williams, N. Favre-Felix, N. Sharma, O. Herrnstadt, P. Seligman, R. Pisolkar, S. Dugas, S. Gray, S. Lu, S. Harkema, V. Kravtsov, V. Hong, W.L. Yih, Y. Tian

    CloudKit: Structured Storage for Mobile Applications
    VLDB 2018: in the 44th International Conference on Very Large Data Bases (Innovative systems and applications track), Rio De Janeiro, Brazil, August 2018.

  3. Slicer team: A. Adya, D. Myers, J. Howell, J. Elson, C. Meek, V. Khemani, S. Fulger, P. Gu, L, Bhuvanagiri, J, Hunter, R. Peon, L. Kai,
            Storage analytics team: A. Shraer, A. Merchant, and K. Lev-Ari:

    Slicer: Auto-Sharding for Datacenter Applications
    USENIX OSDI 2016: in the 2016 USENIX Symposium on Operating Systems Design and Implementation, Savannah, GA, November 2016.
    Alexander Shraer, Vishesh Khemani, Kfir Lev-Ari and Arif Merchant developed Slicer's Weighted-Move auto-sharding algorithm.

  4. Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer:
    Modular Composition of Coordination Services
    USENIX ATC 2016: in the 2016 USENIX Annual Technical Conference, Denver, CO, June 2016.
    Formal correctness proof in IPL 2017 journal paper.

  5. Nanxi Kang, Monia Ghobadi, John Reumann, Alexander Shraer, Jennifer Rexford:
    Efficient Traffic Splitting on Commodity Switches
    CoNEXT 2015: in the 11th International Conference on emerging Networking EXperiments and Technologies 2015, Heidelberg, Germany, December 2015.

  6. Artyom Sharov, Alexander Shraer, Arif Merchant, Murray Stokely:
    Take me to your leader! Online Optimization of Distributed Storage Configurations
    VLDB 2015: in the 41th International Conference on Very Large Data Bases 2015, Kohala Coast, Hawaii, August 2015.

  7. Alexander Shraer, Maxim Gurevich, Marcus Fontoura, Vanja Josifovski:
    Top-k Publish-Subscribe for Social Annotation of News
    VLDB 2013: in the 39th International Conference on Very Large Data Bases 2013, Riva del Garda, Italy, August 2013.
    Chosen one of Google's Influential Papers for 2013. Category: Information Retrieval.

  8. Alexander Shraer, Benjamin Reed, Dahlia Malkhi, Flavio Junqueira:
    Dynamic Reconfiguration of Primary/Backup Clusters
    USENIX ATC 2012: in the 2012 USENIX Annual Technical Conference, Boston, MA, June 2012.
    Implemented in Apache ZooKeeper and part of its standard distribution as of the 3.5.0 release (August 2014).
    Support letter from SolidFire that has been using my dynamic reconfiguration functionality in production since 2012.

  9. Byung-Gon Chun, Carlo Curino, Russell Sears, Alexander Shraer, Samuel Madden, Raghu Ramakrishnan:
    Unified Messaging and Data Serving for Mobile Apps
    MobiSys 2012: in the 10th International Conference on Mobile Systems, Applications and Services, Low Wood Bay, Lake District, United Kingdom, July 2012.

  10. Alexander Shraer ,Christian Cachin, Asaf Cidon, Idit Keidar, Yan Michalevsky, Dani Shaket:
    Venus: Verification for Untrusted Cloud Storage
    CCSW 2010: in the ACM Cloud Computing Security Workshop, co-located with the 17th ACM Conference on Computer and Communications Security (CCS), Chicago, IL, October 2010.

  11. Alexander Shraer, Jean-Philippe Martin, Dahlia Malkhi, Idit Keidar:
    Data-Centric Reconfiguration with Network-Attached Disks
    LADIS 2010: in the 4th ACM SIGOPS/SIGACT Workshop on Large Scale Distributed Systems and Middleware, Zurich, Switzerland, July 2010.

  12. Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer:
    Dynamic Atomic Storage Without Consensus
    PODC 2009: in the 28th ACM Symposium on Principles of Distributed Computing, Calgary, Canada, August 2009.

  13. Christian Cachin, Idit Keidar, Alexander Shraer:
    Fail-Aware Untrusted Storage
    DSN 2009: in the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Estoril, Portugal, July 2009.

  14. 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.

  15. 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.

  16. 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.

  17. 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.

  18. 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.

Other Published Work

  1. Alexander Shraer, Ruediger Kapitza:
    Dagstuhl Seminar Report: Security and Dependability for Federated Cloud Platforms, 2012
    in Operating Systems Review, July 2013

  2. Sara Bouchenak, Gregory Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer:
    Verifying Cloud Services: Present and Future
    in Operating Systems Review, July 2013
    Press: Forbes, ZDNet, StorageMojo, CloudTech, Kings College Clound Computing Blog.

  3. Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Jean-Philippe Martin, Alexander Shraer:
    Reconfiguring Replicated Atomic Storage: A Tutorial
    BEATCS: In the Bulletin of the European Association for Theoretical Computer Science 102, pages 84-108, Distributed Computing Column, October 2010.

  4. Christian Cachin, Idit Keidar, Alexander Shraer:
    Trusting the Cloud
    ACM SIGACT News Distributed Computing Column, 40(2), June 2009.

  5. 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.

  6. 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.
  Last modified: August 2010