CS 390G Reading List

• Wed 01/25 -- Lecture : Principles
  
  • Lampson, Butler W.
    Hints for Computer System Design
    In SOSP, 1983
    
  • Saltzer, J. H. and Reed, D. P. and Clark, D. D.
    End-to-end Arguments in System Design
    In ACM Trans. Comput. Syst., Nov 1984
    
• Wed 02/01 -- Lecture 3: Cluster Computing
  
  • Dean, Jeffrey and Ghemawat, Sanjay
    MapReduce: Simplified Data Processing on Large Clusters
    In OSDI, 2004
    
  • Isard, Michael and Budiu, Mihai and Yu, Yuan and Birrell, Andrew and Fetterly, Dennis
    Dryad: Distributed Data-parallel Programs from Sequential Building Blocks
    In EuroSys, 2007
    
• Sun 02/05 -- Lecture 4: Storage Systems
  
  • DeCandia, Giuseppe and Hastorun, Deniz and Jampani, Madan and Kakulapati, Gunavardhan and Lakshman, Avinash and Pilchin, Alex and Sivasubramanian, Swaminathan and Vosshall, Peter and Vogels, Werner
    Dynamo: Amazon's Highly Available Key-value Store
    In SOSP, 2007
    
  • Chang, Fay and Dean, Jeffrey and Ghemawat, Sanjay and Hsieh, Wilson C. and Wallach, Deborah A. and Burrows, Mike and Chandra, Tushar and Fikes, Andrew and Gruber, Robert E.
    Bigtable: A Distributed Storage System for Structured Data
    In OSDI, 2006
    
• Wed 02/08 -- Lecture 5: Dataflow Programming Frameworks
  
  • Zaharia, Matei and Chowdhury, Mosharaf and Das, Tathagata and Dave, Ankur and Ma, Justin and McCauley, Murphy and Franklin, Michael J. and Shenker, Scott and Stoica, Ion
    Resilient Distributed Datasets: A Fault-tolerant Abstraction for In-memory Cluster Computing
    In NSDI, 2012
    
  • Murray, Derek G. and McSherry, Frank and Isaacs, Rebecca and Isard, Michael and Barham, Paul and Abadi, Mart\'\in
    Naiad: A Timely Dataflow System
    In SOSP '13, 2013
    
• Sun 02/12 -- Lecture 6: Graph Processing
  
  • Gonzalez, Joseph E. and Low, Yucheng and Gu, Haijie and Bickson, Danny and Guestrin, Carlos
    PowerGraph: Distributed Graph-parallel Computation on Natural Graphs
    In OSDI, 2012
    
  • Gonzalez, Joseph E. and Xin, Reynold S. and Dave, Ankur and Crankshaw, Daniel and Franklin, Michael J. and Stoica, Ion
    GraphX: Graph Processing in a Distributed Dataflow Framework
    In OSDI, 2014
    
• Wed 02/15 -- Lecture 7: Streaming Systems
  
  • Lin, Wei and Fan, Haochuan and Qian, Zhengping and Xu, Junwei and Yang, Sen and Zhou, Jingren and Zhou, Lidong
    StreamScope: Continuous Reliable Distributed Processing of Big Data Streams
    In NSDI, 2016
    
  • Kulkarni, Sanjeev and Bhagat, Nikunj and Fu, Maosong and Kedigehalli, Vikas and Kellogg, Christopher and Mittal, Sailesh and Patel, Jignesh M. and Ramasamy, Karthik and Taneja, Siddarth
    Twitter Heron: Stream Processing at Scale
    In SIGMOD, 2015
    
• Wed 02/22 -- Lecture 8: Latency = $$$
  
  • Suresh, Lalith and Canini, Marco and Schmid, Stefan and Feldmann, Anja
    C3: Cutting Tail Latency in Cloud Data Stores via Adaptive Replica Selection
    In NSDI, 2015
    
  • Li, Jialin and Sharma, Naveen Kr. and Ports, Dan R. K. and Gribble, Steven D.
    Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency
    In SOCC, 2014
    
• Sun 02/26 -- Lecture 9: Memory-based Systems
  
  • Dragojevi\'c, Aleksandar and Narayanan, Dushyanth and Hodson, Orion and Castro, Miguel
    FaRM: Fast Remote Memory
    In NSDI, 2014
    
• Wed 03/01 -- Lecture 10: Approximation
  
  • Agarwal, Sameer and Mozafari, Barzan and Panda, Aurojit and Milner, Henry and Madden, Samuel and Stoica, Ion
    BlinkDB: Queries with Bounded Errors and Bounded Response Times on Very Large Data
    In EuroSys, 2013
    
• Sun 03/05 -- Lecture 11: Distributed Machine Learning
  
  • Abadi, Mart\'\in and Barham, Paul and Chen, Jianmin and Chen, Zhifeng and Davis, Andy and Dean, Jeffrey and Devin, Matthieu and Ghemawat, Sanjay and Irving, Geoffrey and Isard, Michael and Kudlur, Manjunath and Levenberg, Josh and Monga, Rajat and Moore, Sherry and Murray, Derek G. and Steiner, Benoit and Tucker, Paul and Vasudevan, Vijay and Warden, Pete and Wicke, Martin and Yu, Yuan and Zheng, Xiaoqiang
    TensorFlow: A System for Large-scale Machine Learning
    In OSDI, 2016
    
  • Li, Mu and Andersen, David G. and Park, Jun Woo and Smola, Alexander J. and Ahmed, Amr and Josifovski, Vanja and Long, James and Shekita, Eugene J. and Su, Bor-Yiing
    Scaling Distributed Machine Learning with the Parameter Server
    In OSDI, 2014
    
• Wed 03/15 -- Lecture 12: Programmable Networks
  
  • Shahbaz, Muhammad and Choi, Sean and Pfaff, Ben and Kim, Changhoon and Feamster, Nick and McKeown, Nick and Rexford, Jennifer
    PISCES: A Programmable, Protocol-Independent Software Switch
    In SIGCOMM '16, 2016
    
  • Sivaraman, Anirudh and Cheung, Alvin and Budiu, Mihai and Kim, Changhoon and Alizadeh, Mohammad and Balakrishnan, Hari and Varghese, George and McKeown, Nick and Licking, Steve
    Packet Transactions: High-Level Programming for Line-Rate Switches
    In SIGCOMM, 2016
    
• Sun 03/19 -- Lecture 13: Coordination
  
  • Burrows, Mike
    The Chubby Lock Service for Loosely-coupled Distributed Systems
    In OSDI, 2006
    
• Wed 03/22 -- Lecture 14: Consensus
  
  • Li, Jialin and Michael, Ellis and Sharma, Naveen Kr. and Szekeres, Adriana and Ports, Dan R. K.
    Just Say No to Paxos Overhead: Replacing Consensus with Network Ordering
    In OSDI, 2016
    
  • Dang, Huynh Tu and Sciascia, Daniele and Canini, Marco and Pedone, Fernando and Soul\'e, Robert
    NetPaxos: Consensus at Network Speed
    In SOSR, 2015
    
• Sun 04/09 -- Lecture 15: Security
  
  • Sherry, Justine and Lan, Chang and Popa, Raluca Ada and Ratnasamy, Sylvia
    BlindBox: Deep Packet Inspection over Encrypted Traffic
    In SIGCOMM, 2015
    
• Wed 04/12 -- Lecture 16: Reliability and verification
  
  • Hawblitzel, Chris and Howell, Jon and Kapritsos, Manos and Lorch, Jacob R. and Parno, Bryan and Roberts, Michael L. and Setty, Srinath and Zill, Brian
    IronFleet: Proving Practical Distributed Systems Correct
    In SOSP, 2015
    
  • Leonid Ryzhyk and Nikolaj Bjorner and Marco Canini and Jean-Baptiste Jeannin and Cole Schlesinger and Douglas B. Terry and George Varghese
    Correct by Construction Networks using Stepwise Refinement
    In NSDI, 2017
    
• Sun 04/16 -- Lecture 17: Debugging
  
  • Cadar, Cristian and Dunbar, Daniel and Engler, Dawson
    KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs
    In OSDI, 2008
    
• Wed 04/19 -- Lecture 18: Datacenter Resource Scheduling
  
  • Verma, Abhishek and Pedrosa, Luis and Korupolu, Madhukar and Oppenheimer, David and Tune, Eric and Wilkes, John
    Large-scale Cluster Management at Google with Borg
    In EuroSys, 2015
    
• Wed 04/26 -- Lecture 19: Privacy
  
  • Popa, Raluca Ada and Redfield, Catherine M. S. and Zeldovich, Nickolai and Balakrishnan, Hari
    CryptDB: Protecting Confidentiality with Encrypted Query Processing
    In SOSP, 2011
    
  • Olga Ohrimenko and Felix Schuster and C\'edric Fournet and Aastha Mehta and Sebastian Nowozin and Kapil Vaswani and Manuel Costa
    Oblivious Multi-Party Machine Learning on Trusted Processors
    In USENIX Security, 2016
    
• Sun 04/30 -- Lecture 20: Cryptocurrencies
  
  • J. Bonneau and A. Miller and J. Clark and A. Narayanan and J. A. Kroll and E. W. Felten
    SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies
    In IEEE Symposium on Security and Privacy, 2015
    
  • Hari, Adiseshu and Lakshman, T. V.
    The Internet Blockchain: A Distributed, Tamper-Resistant Transaction Framework for the Internet
    In HotNets, 2016
    

Last Updated 2021-08-23 15:37:51 +0300