Paper critique and presentation guidelines.
Date Presenter Paper
04/25 Raymond Jacobson Dependable Horizontal Scaling Based on Probabilistic Model Checking
by Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas
CCGRID, 2015, 2015 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), 2015 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) 2015, pp. 31-40
Wennan Zhu Performance-Driven Load Balancing with a Primary-Backup Approach for Computational Grids with Low Communication Cost and Replication Cost
by J. Balasangameshwara and N. Raju
IEEE Transactions on Computers, vol. 62, no. 5, pp. 990-1003, May 2013.
Conner Riel Addressing cloud computing security issues
by Dimitrios Zissis and Dimitrios Lekkas
Elsevier Future Generation Computer Systems, Volume 28, Issue 3, March 2012, Pages 583-592
Milo Trujillo Pisces: Anonymous Communication Using Social Networks
by Prateek Mittal, Matthew Wright, and Nikita Borisov
arXiv preprint arXiv:1208.6326
Taylor Dahlin Tor: The Second-Generation Onion Router
Dingledine, Roger ; Mathewson, Nick ; Syverson, Paul
Naval Research Lab Washington DC, 2004.
04/28 Lee Saltzman Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
by John Field and Carlos Varela
Proceeding POPL '05 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages Pages 195-208
Ryan Delaney The Essence of Dependent Object Types
by Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, and Sandro Stucki
A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pages 249--272, 2016.
James Pane-Joyce DARES: A Distributed Automated REasoning System
by Susan E. Conry, D. J. MacIntosh, and Robert A. Meyer
AAAI-90 Proceedings, Automated Reasoning
Damian Mastylo MLlib: Machine Learning in Apache Spark
by Xiangrui Meng, Joseph Bradley, Burak Yavuz, Evan Sparks, Shivaram Venkataraman, Davies Liu, Jeremy Freeman, DB Tsai, Manish Amde, Sean Owen, Doris Xin, Reynold Xin, Michael J. Franklin, Reza Zadeh, Matei Zaharia, Ameet Talwalkar.
Nate Baer GPGPU programming and cellular automata: implementation of the SCIARA lava flow simulation code
by Filippone et al.
Conference: 23rd European Modeling and Simulation Symposium (EMSS), At Rome, Italy.
05/02 William Kronmiller Behavior-based tracking: Exploiting characteristic patterns in DNS traffic
by Dominik Herrmanna, Christian Banseb, and Hannes Federratha.
Elsevier Computers & Security Volume 39, Part A, November 2013, Pages 17-33 27th IFIP International Information Security Conference
Paul Revere Ceph: A Scalable, High-Performance Distributed File System
by Sage A. Weil, Scott A. Brandt, Ethan L. Miller, Darrell D. E. Long, and Carlos Maltzahn
Proceedings of the 7th symposium on Operating systems design and implementation (OSDI '06). USENIX Association, Berkeley, CA, USA, 307-320.
Michael Zemsky Optimizing the data distribution layer of BOINC with BitTorrent
by F. Costa
IEEE International Symposium on Parallel and Distributed Processing, 2008. IPDPS 2008.
Bilal Salam Network Motif Detection: Algorithms, Parallel and Cloud Computing, and Related Tools
by Wooyoung Kim, Martin Diko, and Keith Rawson
TSINGHUA SCIENCE AND TECHNOLOGY, pp 469-489, Volume 18, Number 5, October 2013
Kyle Francis Empirical Analysis of Video Partitioning Methods for Distributed HEVC Encoding
by Byoung-Dai Lee
International Journal of Multimedia and Ubiquitous Engineering Vol.10, No. 4 (2015), pp.81-90
Juntao Zhuang The state of the art in locally distributed Web-server systems
by Cardellini, Valeria and Casalicchio, Emiliano and Colajanni, Michele and Yu, Philip S.
ACM Comput. Surv. 34, 2 (June 2002), 263-311.

Date Presenter Project
05/05 Raymond Jacobson Improved Reward Cost Utilities For Markov Decision Process Elastic Computing
Wennan Zhu Optimization of Work Stealing and Analysis of Fairness in Rayon/Rust
Conner Riel Security and the actor model
Taylor Dahlin, Milo Trujillo A decentralized network system to anonymize dissemination of information.
Lee Saltzman Transactor Model Implementation
Ryan Delaney Join Calculus Implementation in Scala
James Pane-Joyce Distributed Reasoning Implementation in MATR
05/09 Damian Mastylo A Performance Study of Distributed Machine Learning in Spark
Nate Baer Applying GPU computing to the simulation of life-like cellular automata
William Kronmiller DNS Query Pattern Discovery for Proactive Record Pre-fetching.
Paul Revere Distributed Aspects of Parallel Unstructured Mesh Infrastructure (PUMI) project
Michael Zemsky BOINC/BitTorrent
Bilal Salam Distributed Motif Detection
Kyle Francis Distributed Video Encoding using GPUs
Juntao Zhuang Distributed Web Services