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 (DEBS, 2012)

Speculative linearizability. - Rachid Guerraoui; Viktor Kuncak; Giuliano Losa (PLDI, 2012)

On the cost of composing shared-memory algorithms. - Dan Alistarh; Rachid Guerraoui; Petr Kuznetsov; Giuliano Losa (SPAA, 2012)

Abortable Linearizable Modules. - Rachid Guerraoui; Viktor Kuncak; Giuliano Losa (Arch. Formal Proofs, 2012)

Modularity in the design of robust distributed algorithms. - Giuliano Losa (2014)

Making Fast Consensus Generally Faster. - Sebastiano Peluso; Alexandru Turcu; Roberto Palmieri; Giuliano Losa; Binoy Ravindran (DSN, 2016)

Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms. - Giuliano Losa; Sebastiano Peluso; Binoy Ravindran (PODC, 2016)

Speeding up Consensus by Chasing Fast Decisions. - Balaji Arun; Sebastiano Peluso; Roberto Palmieri; Giuliano Losa; Binoy Ravindran (DSN, 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 (ICDCS, 2017)

Paxos made EPR: decidable reasoning about distributed protocols. - Oded Padon; Giuliano Losa; Mooly Sagiv; Sharon Shoham (Proc. ACM Program. Lang., 2017)

The Assignment Problem. - Carole Delporte-Gallet; Hugues Fauconnier; Eli Gafni; Giuliano Losa (ICDCN, 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 (PLDI, 2018)

A Wealth of Sub-Consensus Deterministic Objects. - Eli Daian; Giuliano Losa; Yehuda Afek; Eli Gafni (DISC, 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)

Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. - Idan Berkovits; Marijana Lazic; Giuliano Losa; Oded Padon; Sharon Shoham (CAV (2), 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 (SOSP, 2019)

Stellar Consensus by Instantiation. - Giuliano Losa; Eli Gafni; David Mazières (DISC, 2019)

Stellar Quorum Systems. - Giuliano Losa (Arch. Formal Proofs, 2019)

On the Formal Verification of the Stellar Consensus Protocol. - Giuliano Losa; Mike Dodds (FMBC@CAV, 2020)

Taming the Contention in Consensus-Based Distributed Systems. - Balaji Arun; Sebastiano Peluso; Roberto Palmieri; Giuliano Losa; Binoy Ravindran (IEEE Trans. Dependable Secur. Comput., 2021)

Quorum Systems in Permissionless Networks. - Christian Cachin; Giuliano Losa; Luca Zanolini (OPODIS, 2022)

Quorum Systems in Permissionless Network. - Christian Cachin; Giuliano Losa; Luca Zanolini (CoRR, 2022)

Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20. - Eli Gafni; Giuliano Losa (SSS, 2023)

Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority. - Eli Gafni; Giuliano Losa (DISC, 2023)

Consensus in the Unknown-Participation Message-Adversary Model. - Giuliano Losa; Eli Gafni (CoRR, 2023)

Semitopology: a new topological model of heterogeneous consensus. - Murdoch Gabbay; Giuliano Losa (CoRR, 2023)

Time is not a Healer, but it Sure Makes Hindsight 20: 20. - Eli Gafni; Giuliano Losa (CoRR, 2023)

Improving Asynchrony Resilience in Dynamically Available Total-Order Broadcast Protocols. - Francesco D'Amato; Giuliano Losa; Luca Zanolini (CoRR, 2023)

Semiframes: algebras of heterogeneous consensus. - Murdoch Gabbay; Giuliano Losa (CoRR, 2023)

Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols. - Francesco D'Amato; Giuliano Losa; Luca Zanolini (PODC, 2024)

Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. - Giuliano Losa; Eli Gafni (PODC, 2024)

TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus. - Qianyu Yu 001; Giuliano Losa; Xuechao Wang (PODC, 2024)

Semitopology: distributed collaborative action via topology, algebra, and logic. - Murdoch James Gabbay; Giuliano Losa (CoRR, 2024)

Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. - Giuliano Losa; Eli Gafni (CoRR, 2024)

Optimistic, Signature-Free Reliable Broadcast and Its Applications. - Nibesh Shrestha; Qianyu Yu 001; Aniket Kate; Giuliano Losa; Kartik Nayak; Xuechao Wang (CCS, 2025)

Brief Announcement: Stranger-Free Tasks. - Eli Gafni; Giuliano Losa; Michel Raynal; Gadi Taubenfeld (PODC, 2025)

Angelfish: Consensus with Optimal Throughput and Latency Across the Leader-DAG Spectrum. - Qianyu Yu 001; Giuliano Losa; Nibesh Shrestha; Xuechao Wang (CoRR, 2025)