| Date | Presenter | Paper |
|---|---|---|
| 04/04 | Samuel Breese | Executions in (Semi-) Integer Petri Nets are Compact Closed Categories
by Genovese, Fabrizio Romano and Herold, Jelle International Conference on Quantum Physics and Logic, 2018. |
| Collin Jones | Dynamic Multirole Session Types
by Denielou, Pierre-Malo and Yoshida, Nobuko Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11), pp 435-446, 2011. |
|
| Cristian Castellanos | Π-ADL : An Architecture Description Language based on the Higher-Order Typed Π-Calculus for Specifying Dynamic and Mobile Software Architectures by Oquendo, Flavio ACM Software Engineering Notes vol 29, issue 3, 2004.
QoS Specification in Software Architecture for QoS-aware Applications |
|
| 04/08 | Timothy Castiglia | Distributed Cooperative Control for Joint Optimization of Sensor Coverage and Target Tracking by Sangwoo Moon ; Eric W. Frew 2017 International Conference on Unmanned Aircraft Systems (ICUAS)
Alpha Shapes: Definitions and Software |
| Sinclair Gurny | Agent-Based Cooperative Decentralized Airplane-Collision Avoidance by D. Sislak and P. Volf and M. Pechoucek IEEE Transactions on Intelligent Transportation Systems (12), pp 36-46, 2011. |
|
| Yang Li | Adaptive neural flight control for an aircraft with time-varying distributed delays by Dawei Wu, Mou Chen, Huajun Gong ScienceDirect Neurocomputing (307), pp. 130-145, 2018. |
|
| Abby Ireland | A work stealing based approach for enabling scalable optimal sequence homology detection by Jeff Daily, Ananth Kalyanaraman, Sriram Krishnamoorthy, Abhinav Vishnu. Elsevier Journal of Parallel and Distributed Computing Volumes 79-80, May 2015, Pages 132-142. |
|
| 04/11 | Chris Lipscomb |
Chord: a scalable peer-to-peer lookup protocol for internet applications by Stoica, Ion and Morris, Robert and Liben-Nowell, David and Karger, David R. and Kaashoek, M. Frans and Dabek, Frank and Balakrishnan, Hari IEEE/ACM Trans. Netw 11(1), pp 17-32, 2003. |
| Max Wang |
In Search of an Understandable Consensus Algorithm by Diego Ongaro and John Ousterhout Proc ATC'14, USENIX Annual Technical Conference (2014) |
|
| Pierre Fabris and Philip Kamei | The Blockchain Anomaly by Natoli, Christopher and Gramoli, Vincent IEEE 15th International Symposium on Network Computing and Applications (NCA), 2016.
A framework for enhancing the performance of Internet of Things applications based on RFID and WSNs |
|
| 04/15 | Ian Bogle and Christopher Jones and Harrison Lee |
Trinity: a distributed graph engine on a memory cloud by Bin Shao, Haixun Wang, and Yatao Li ACM SIGMOD International Conference on Management of Data, 2013.
DISTINGER: A distributed graph data structure for massive dynamic graph processing
Gemini: A Computation-Centric Distributed Graph Processing System |
| Kasra Sheik | Spanner: Google's Globally Distributed Database
by James C. Corbett and Jeffrey Dean and Michael Epstein and Andrew Fikes and Christopher Frost and J. J. Furman and Sanjay Ghemawat and Andrey Gubarev and Christopher Heiser and Peter Hochschild and Wilson C. Hsieh and Sebastian Kanthak and Eugene Kogan and Hongyi Li and Alexander Lloyd and Sergey Melnik and David Mwaura and David Nagle and Sean Quinlan and Rajesh Rao and Lindsay Rolig and Yasushi Saito and Michal Szymaniak and Christopher Taylor and Ruth Wang and Dale Woodford. ACM Trans. Comput. Syst. (31), 2013. |
|
| Lindsay Zadunayski | Deadline-Aware MapReduce Job Scheduling with Dynamic Resource Availability by Dazhao Cheng; Xiaobo Zhou; Yinggen Xu; Liu Liu; Changjun Jiang. IEEE Transactions on Parallel and Distributed Systems ( Volume: 30 , Issue: 4 , April 1 2019 ) Page(s): 814 - 826 |
|
| 04/18 | Greg Cowan |
S/Kademlia: A practicable approach towards secure key-based routing by I. Baumgart and S. Mies International Conference on Parallel and Distributed Systems, 2007. |
| Jacob Fucci | DaSCE: Data Security for Cloud Environment with Semi-Trusted Third Party
by M. Ali and S. U. R. Malik and S. U. Khan. IEEE Transactions on Cloud Computing vol 5, number 4, pp. 642-655, 2017. |
|
| Ed Larson | Truth in Web Mining: Measuring the Profitability and Cost of Cryptominers as a Web Monetization Model
by Papadopoulos, Panagiotis; Ilia, Panagiotis; Markatos, Evangelos P. arXiv, Computer Science, Cryptography and Security, June 2018. |
|
| Varun Rao | Approaches for Resilience against Cascading Failures in Cloud Datacenters
by Wang, Haoyu, Haiying Shen, and Zhuozhao Li. IEEE 38th International Conference on Distributed Computing Systems (ICDCS). IEEE, 2018. |