Giuliano Losa

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 34

Top Topics

Coloured Petri Nets

Commit Protocols

Distributed Systems

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Giuliano Losa, Eli Gafni
Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. CoRR (2024)
Giuliano Losa, Eli Gafni
Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. PODC (2024)
Francesco D'Amato, Giuliano Losa, Luca Zanolini
Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols. PODC (2024)
Qianyu Yu, Giuliano Losa, Xuechao Wang
TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus. CoRR (2024)
Murdoch James Gabbay, Giuliano Losa
Semitopology: distributed collaborative action via topology, algebra, and logic. CoRR (2024)
Qianyu Yu, Giuliano Losa, Xuechao Wang
TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus. PODC (2024)
Giuliano Losa, Eli Gafni
Consensus in the Unknown-Participation Message-Adversary Model. CoRR (2023)
Murdoch Gabbay, Giuliano Losa
Semitopology: a new topological model of heterogeneous consensus. CoRR (2023)
Eli Gafni, Giuliano Losa
Time is not a Healer, but it Sure Makes Hindsight 20: 20. CoRR (2023)
Francesco D'Amato, Giuliano Losa, Luca Zanolini
Improving Asynchrony Resilience in Dynamically Available Total-Order Broadcast Protocols. CoRR (2023)
Eli Gafni, Giuliano Losa
Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority. DISC (2023)
Murdoch Gabbay, Giuliano Losa
Semiframes: algebras of heterogeneous consensus. CoRR (2023)
Eli Gafni, Giuliano Losa
Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20. SSS (2023)
Christian Cachin, Giuliano Losa, Luca Zanolini
Quorum Systems in Permissionless Network. CoRR (2022)
Christian Cachin, Giuliano Losa, Luca Zanolini
Quorum Systems in Permissionless Networks. OPODIS (2022)
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
Taming the Contention in Consensus-Based Distributed Systems. IEEE Trans. Dependable Secur. Comput. 18 (6) (2021)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa
The assignment problem. Theor. Comput. Sci. 886 (2021)
Giuliano Losa, Mike Dodds
On the Formal Verification of the Stellar Consensus Protocol. FMBC@CAV (2020)
Giuliano Losa
Stellar Quorum Systems. Arch. Formal Proofs 2019 (2019)
Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. CoRR (2019)
Giuliano Losa, Eli Gafni, David Mazières
Stellar Consensus by Instantiation. DISC (2019)
Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. CAV (2) (2019)
Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb
Fast and secure global payments with Stellar. SOSP (2019)
Eli Daian, Giuliano Losa, Yehuda Afek, Eli Gafni
A Wealth of Sub-Consensus Deterministic Objects. DISC (2018)
Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos
Modularity for decidability of deductive verification with applications to distributed systems. PLDI (2018)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa
The Assignment Problem. ICDCN (2018)
Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Reducing liveness to safety in first-order logic. Proc. ACM Program. Lang. 2 (POPL) (2018)
Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham
Paxos Made EPR: Decidable Reasoning about Distributed Protocols. CoRR (2017)
Giuliano Losa, Antonio Barbalace, Yuzhong Wen, Ho-Ren Chuang, Binoy Ravindran
Transparent Fault-Tolerance Using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware. ICDCS (2017)
Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham
Paxos made EPR: decidable reasoning about distributed protocols. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
Speeding up Consensus by Chasing Fast Decisions. DSN (2017)
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
Speeding up Consensus by Chasing Fast Decisions. CoRR (2017)
Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
Making Fast Consensus Generally Faster. DSN (2016)
Giuliano Losa, Sebastiano Peluso, Binoy Ravindran
Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms. PODC (2016)
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
Abortable Linearizable Modules. Arch. Formal Proofs 2012 (2012)
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
Speculative linearizability. PLDI (2012)
Dan Alistarh, Rachid Guerraoui, Petr Kuznetsov, Giuliano Losa
On the cost of composing shared-memory algorithms. SPAA (2012)
Giuliano Losa, Vibhore Kumar, Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soulé, Kun-Lung Wu
CAPSULE: language and system support for efficient state sharing in distributed stream processing systems. DEBS (2012)