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. J. Zhou, M. Xu, A. Shraer, A. Miller, B. Namasivayam, E. Tschannen, R. Sears, J. Leach, D. Rosenthal, W. Willson,
   B. Collins, D. Scherer, S. Atherton, A. Beamon, X. Dong, A. Grieser, Y. Liu, A. Moore, B. Muppana, X. Su, V. Yadav
   FoundationDB: A Distributed Unbundled Transactional Key Value Store
   SIGMOD 2021: accepted to the ACM International Conference on Management of Data (Industry track), Xi'an, Shaanxi, China, June 2021.
   Best Paper Award (Industry Track)
   
   
2. K. Lev-Ari, Y. Tian, A. Shraer, C. Douglas, H. Fu, A. Andreyev, K. Beranek, S. Dugas, A. Grieser, J. Hemmo
   QuiCK: a Queueing System in CloudKit
   SIGMOD 2021: accepted to the ACM International Conference on Management of Data (Industry track), Xi'an, Shaanxi, China, June 2021.
   
   
3. 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: in the ACM International Conference on Management of Data (Industry track), Amsterdam, The Netherlands, June 2019.
   
   
4. 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.
   
   
5. 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.
   
   
6. 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.
   
   
7. 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.
   
   
8. 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.
   
   
9. 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.
   
   
10. 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.
    
    
11. 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.
    
    
12. 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.
    
    
13. 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.
    
    
14. 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.
    
    
15. 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.
    
    
16. 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.
    
    
17. 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.
    
    
18. 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.
    
    
19. 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.
    
    
20. 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.