| Date | Presenter | Paper |
|---|---|---|
| 04/19 | Elkin Cruz | PMaude: Rewrite-Based Specification Language for Probabilistic Object Systems by Agha, Gul, Meseguer, Jose and Sen, Koushik Electronic Notes in Theoretical Computer Science 153, 2006. pp. 213-239. Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)
|
| Daniel Tabin |
Paradoxes of Probabilistic Programming: And How to Condition on Events of Measure Zero with Infinitesimal Probabilities by Jacobs, Jules ACM POPL 5(58), 26pp, 2021. |
|
| 04/22 | Andrew Nagawiecki | D-Paxos: Building Hierarchical Replicated State Machine for Cloud Environments by Fagui LIU and Yingyi YANG IEICE Transactions on Information and Systems 6, pp.1485-1501, 2016. |
| Ankita Bhaumik | IronFleet: proving practical distributed systems correct by Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath Setty, Brian Zill SOSP '15: Proceedings of the 25th Symposium on Operating Systems Principles, 17pp, Oct 2015. |
|
| Lorson Blair | Distributed Collaborative 3D-Deployment of UAV Base Stations for On-Demand Coverage
by T. Kimura and M. Ogura Proceedings of the IEEE INFOCOM 2020 - IEEE Conference on Computer Communication, pp 1748-1757, 2020. |
|
| 04/26 | Chris Turgeon |
Deadlock-free buffer configuration for stream computing by Li, Peng and Beard, Jonathan C and Buhler, Jeremy D The International Journal of High Performance Computing Applications 31(5), pp. 441-450, 2017. |
| Hector Rodriguez | Pebbles: Leveraging Sketches for Processing Voluminous, High Velocity Data Streams by T. Buddhika and S. Pallickara and S. Pallickara IEEE Transactions on Parallel & Distributed Systems 32(08), pp.2005-2020, 2021. |
|
| Carlos Power | A Service-Oriented Perspective on Blockchain Smart Contracts by Daniel, Florian; Guida, Luca IEEE Internet Computing (23,1), pp. 46-53, 2019. |