Giuliano Losa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
14
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Show Me The Money: An Exercise in Proof-Driven Software Understanding. | Joseph Tafese, Karthik Nukala, Hassen Sadi, Natarajan Shankar, Arie Gurfinkel, Giuliano Losa |
| 2026 | SP | Fast Deterministically Safe Proof-of-Work Consensus. | Ali Farahbakhsh, Giuliano Losa, Youer Pu, Lorenzo Alvisi |
| 2025 | CCS | Optimistic, Signature-Free Reliable Broadcast and Its Applications. | Nibesh Shrestha, Qianyu Yu, Aniket Kate, Giuliano Losa, Kartik Nayak, Xuechao Wang |
| 2025 | FC | Constellation: Peer-to-Peer Overlays for Federated Byzantine Agreement Systems. | Giuliano Losa, Yifan Mao, Shaileshh Bojja Venkatakrishnan, Yunqi Zhang |
| 2025 | FMCAD | A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC. | Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel, Graydon Hoare |
| 2025 | OPODIS | Solving Tasks with Fewer Registers Than Processes. | Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld |
| 2025 | PODC | Brief Announcement: Stranger-Free Tasks. | Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld |
| 2024 | PODC | Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols. | Francesco D'Amato, Giuliano Losa, Luca Zanolini |
| 2024 | PODC | Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. | Giuliano Losa, Eli Gafni |
| 2024 | PODC | TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus. | Qianyu Yu, Giuliano Losa, Xuechao Wang |
| 2023 | SSS | Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20. | Eli Gafni, Giuliano Losa |
| 2022 | OPODIS | Quorum Systems in Permissionless Networks. | Christian Cachin, Giuliano Losa, Luca Zanolini |
| 2020 | CAV | On the Formal Verification of the Stellar Consensus Protocol. | Giuliano Losa, Mike Dodds |
| 2019 | CAV | Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. | Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham |
| 2019 | SOSP | Fast and secure global payments with Stellar. | Marta Lokhava, Giuliano Losa, David Mazires, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb |
| 2018 | ICDCN | The Assignment Problem. | Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa |
| 2018 | PLDI | 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 |
| 2017 | DSN | Speeding up Consensus by Chasing Fast Decisions. | Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran |
| 2017 | ICDCS | 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 |
| 2016 | DSN | Making Fast Consensus Generally Faster. | Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Giuliano Losa, Binoy Ravindran |
| 2016 | PODC | Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms. | Giuliano Losa, Sebastiano Peluso, Binoy Ravindran |
| 2012 | PLDI | Speculative linearizability. | Rachid Guerraoui, Viktor Kuncak, Giuliano Losa |
| 2012 | SPAA | On the cost of composing shared-memory algorithms. | Dan Alistarh, Rachid Guerraoui, Petr Kuznetsov, Giuliano Losa |