Working papers

[1] Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa, and Lucas Gréaux. Knowledge in byzantine message-passing systems i: Framework and the causal cone. Technical Report TUW-260549, E185 - Institut für Computersprachen, E182 - Institut für Technische Informatik; Technische Universität Wien, 2019. [ .pdf ]
Keywords: epistemic logic, Byzantine agents, fault-tolerant distributed systems

Peer-reviewed conference publications

[1] Laurent Prosperi, Marc Shapiro, and Ahmed Bouajjani. Varda : An architectural framework for compositional distributed programming. In International Conference on Networked Systems. Springer, 2022. [ .pdf ]
[2] Benoit Martin, Laurent Prosperi, and Marc Shapiro. A new environment for composable and dependable distributed computing. In EuroSys Doctoral Workshop, 2020. [ .pdf ]
[3] Roman Kuznets, Laurent Prosperi, Ulrich Schmid, and Krisztina Fruzsa. Epistemic reasoning with byzantine-faulty agents. In International Symposium on Frontiers of Combining Systems, pages 259--276. Springer, 2019. [ DOI | .pdf ]
[4] Roman Kuznets, Laurent Prosperi, Ulrich Schmid, and Krisztina Fruzsa. Causality and epistemic reasoning in byzantine multi-agent systems. In Lawrence S. Moss, editor, Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, Toulouse, France, 17-19 July 2019, volume 297 of Electronic Proceedings in Theoretical Computer Science, pages 293--312. Open Publishing Association, 2019. [ DOI | .pdf ]
[5] Laurent Prosperi, Alexandru Costan, Pedro Silva, and Gabriel Antoniu. Planner: Cost-efficient execution plans placement for uniform stream analytics on edge and cloud. In WORKS 2018: 13th Workflows in Support of Large-Scale Science Workshop, held in conjunction with the IEEE/ACM SC18 conference, pages 1--10, 2018. [ .pdf ]

Collaborators