Giuliano Losa - RankMe

47 papers A* 9A 6B 4C 1Misc 1Journal 21Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC. FMCAD Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel, Graydon Hoare
2025	J	`jnl`	Angelfish: Consensus with Optimal Throughput and Latency Across the Leader-DAG Spectrum. CoRR Qianyu Yu, Giuliano Losa, Nibesh Shrestha, Xuechao Wang
2025	A*	`conf`	Brief Announcement: Stranger-Free Tasks. PODC Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld
2025	—	`conf`	Constellation: Peer-to-Peer Overlays for Federated Byzantine Agreement Systems. FC (2) Giuliano Losa, Yifan Mao, Shaileshh Bojja Venkatakrishnan, Yunqi Zhang
2025	J	`jnl`	Fast Deterministically Safe Proof-of-Work Consensus. CoRR Ali Farahbakhsh, Giuliano Losa, Youer Pu, Lorenzo Alvisi, Ittay Eyal
2025	A*	`conf`	Optimistic, Signature-Free Reliable Broadcast and Its Applications. CCS Nibesh Shrestha, Qianyu Yu, Aniket Kate, Giuliano Losa, Kartik Nayak, Xuechao Wang
2025	J	`jnl`	Optimistic, Signature-Free Reliable Broadcast and Its Applications. CoRR Nibesh Shrestha, Qianyu Yu, Aniket Kate, Giuliano Losa, Kartik Nayak, Xuechao Wang
2025	B	`conf`	Solving Tasks with Fewer Registers Than Processes. OPODIS Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld
2024	A*	`conf`	Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols. PODC Francesco D'Amato, Giuliano Losa, Luca Zanolini
2024	A*	`conf`	Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. PODC Giuliano Losa, Eli Gafni
2024	J	`jnl`	Semitopology: distributed collaborative action via topology, algebra, and logic. CoRR Murdoch James Gabbay, Giuliano Losa
2024	A*	`conf`	TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus. PODC Qianyu Yu, Giuliano Losa, Xuechao Wang
2024	J	`jnl`	TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus. CoRR Qianyu Yu, Giuliano Losa, Xuechao Wang
2024	J	`jnl`	Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. CoRR Giuliano Losa, Eli Gafni
2023	A	`conf`	Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority. DISC Eli Gafni, Giuliano Losa
2023	J	`jnl`	Consensus in the Unknown-Participation Message-Adversary Model. CoRR Giuliano Losa, Eli Gafni
2023	J	`jnl`	Improving Asynchrony Resilience in Dynamically Available Total-Order Broadcast Protocols. CoRR Francesco D'Amato, Giuliano Losa, Luca Zanolini
2023	C	`conf`	Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20. SSS Eli Gafni, Giuliano Losa
2023	J	`jnl`	Semiframes: algebras of heterogeneous consensus. CoRR Murdoch Gabbay, Giuliano Losa
2023	J	`jnl`	Semitopology: a new topological model of heterogeneous consensus. CoRR Murdoch Gabbay, Giuliano Losa
2023	J	`jnl`	Time is not a Healer, but it Sure Makes Hindsight 20: 20. CoRR Eli Gafni, Giuliano Losa
2022	J	`jnl`	Quorum Systems in Permissionless Network. CoRR Christian Cachin, Giuliano Losa, Luca Zanolini
2022	B	`conf`	Quorum Systems in Permissionless Networks. OPODIS Christian Cachin, Giuliano Losa, Luca Zanolini
2021	J	`jnl`	Taming the Contention in Consensus-Based Distributed Systems. IEEE Trans. Dependable Secur. Comput. Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
2021	J	`jnl`	The assignment problem. Theor. Comput. Sci. Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa
2020	—	`conf`	On the Formal Verification of the Stellar Consensus Protocol. FMBC@CAV Giuliano Losa, Mike Dodds
2019	A*	`conf`	Fast and secure global payments with Stellar. SOSP Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb
2019	A	`conf`	Stellar Consensus by Instantiation. DISC Giuliano Losa, Eli Gafni, David Mazières
2019	J	`jnl`	Stellar Quorum Systems. Arch. Formal Proofs Giuliano Losa
2019	—	`conf`	Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. CAV (2) Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham
2019	J	`jnl`	Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. CoRR Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham
2018	A	`conf`	A Wealth of Sub-Consensus Deterministic Objects. DISC Eli Daian, Giuliano Losa, Yehuda Afek, Eli Gafni
2018	A*	`conf`	Modularity for decidability of deductive verification with applications to distributed systems. PLDI Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos
2018	J	`jnl`	Reducing liveness to safety in first-order logic. Proc. ACM Program. Lang. Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham
2018	Misc	`conf`	The Assignment Problem. ICDCN Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa
2017	J	`jnl`	Paxos Made EPR: Decidable Reasoning about Distributed Protocols. CoRR Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham
2017	J	`jnl`	Paxos made EPR: decidable reasoning about distributed protocols. Proc. ACM Program. Lang. Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham
2017	A	`conf`	Speeding up Consensus by Chasing Fast Decisions. DSN Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
2017	J	`jnl`	Speeding up Consensus by Chasing Fast Decisions. CoRR Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
2017	A	`conf`	Transparent Fault-Tolerance Using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware. ICDCS Giuliano Losa, Antonio Barbalace, Yuzhong Wen, Ho-Ren Chuang, Binoy Ravindran
2016	A*	`conf`	Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms. PODC Giuliano Losa, Sebastiano Peluso, Binoy Ravindran
2016	A	`conf`	Making Fast Consensus Generally Faster. DSN Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Giuliano Losa, Binoy Ravindran
2014	—	`—`	Modularity in the design of robust distributed algorithms. Giuliano Losa
2012	J	`jnl`	Abortable Linearizable Modules. Arch. Formal Proofs Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
2012	—	`conf`	CAPSULE: language and system support for efficient state sharing in distributed stream processing systems. DEBS Giuliano Losa, Vibhore Kumar, Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soulé, Kun-Lung Wu
2012	B	`conf`	On the cost of composing shared-memory algorithms. SPAA Dan Alistarh, Rachid Guerraoui, Petr Kuznetsov, Giuliano Losa
2012	A*	`conf`	Speculative linearizability. PLDI Rachid Guerraoui, Viktor Kuncak, Giuliano Losa