Giuliano Losa

According to our database, Giuliano Losa authored at least 30 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Semitopology: distributed collaborative action via topology, algebra, and logic.

Murdoch James Gabbay, Giuliano Losa

CoRR, 2024

2023

Semiframes: algebras of heterogeneous consensus.

Murdoch Gabbay, Giuliano Losa

CoRR, 2023

Improving Asynchrony Resilience in Dynamically Available Total-Order Broadcast Protocols.

Francesco D'Amato, Giuliano Losa, Luca Zanolini

CoRR, 2023

Time is not a Healer, but it Sure Makes Hindsight 20: 20.

Eli Gafni, Giuliano Losa

CoRR, 2023

Semitopology: a new topological model of heterogeneous consensus.

Murdoch Gabbay, Giuliano Losa

CoRR, 2023

Consensus in the Unknown-Participation Message-Adversary Model.

Giuliano Losa, Eli Gafni

CoRR, 2023

Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority.

Eli Gafni, Giuliano Losa

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20.

Eli Gafni, Giuliano Losa

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

2022

Quorum Systems in Permissionless Network.

Christian Cachin, Giuliano Losa, Luca Zanolini

CoRR, 2022

Quorum Systems in Permissionless Networks.

Christian Cachin, Giuliano Losa, Luca Zanolini

Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022

2021

Taming the Contention in Consensus-Based Distributed Systems.

Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran

IEEE Trans. Dependable Secur. Comput., 2021

The assignment problem.

Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa

Theor. Comput. Sci., 2021

2020

On the Formal Verification of the Stellar Consensus Protocol.

Giuliano Losa, Mike Dodds

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019

Stellar Quorum Systems.

Giuliano Losa

Arch. Formal Proofs, 2019

Stellar Consensus by Instantiation.

Giuliano Losa, Eli Gafni, David Mazières

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Fast and secure global payments with Stellar.

Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics.

Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Reducing liveness to safety in first-order logic.

Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham

Proc. ACM Program. Lang., 2018

A Wealth of Sub-Consensus Deterministic Objects.

Eli Daian, Giuliano Losa, Yehuda Afek, Eli Gafni

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Modularity for decidability of deductive verification with applications to distributed systems.

Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Paxos made EPR: decidable reasoning about distributed protocols.

Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham

Proc. ACM Program. Lang., 2017

Transparent Fault-Tolerance Using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware.

Giuliano Losa, Antonio Barbalace, Yuzhong Wen, Ho-Ren Chuang, Binoy Ravindran

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Speeding up Consensus by Chasing Fast Decisions.

Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016

Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms.

Giuliano Losa, Sebastiano Peluso, Binoy Ravindran

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Making Fast Consensus Generally Faster.

Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Giuliano Losa, Binoy Ravindran

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2014

Modularity in the design of robust distributed algorithms.

Giuliano Losa

PhD thesis, 2014

2012

Abortable Linearizable Modules.

Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

Arch. Formal Proofs, 2012

On the cost of composing shared-memory algorithms.

Dan Alistarh, Rachid Guerraoui, Petr Kuznetsov, Giuliano Losa

Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, 2012

Speculative linearizability.

Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

CAPSULE: language and system support for efficient state sharing in distributed stream processing systems.

Giuliano Losa, Vibhore Kumar, Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soulé, Kun-Lung Wu

Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012