More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Giuliano Losa

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/DAmatoLZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/DAmatoLZ24
Francesco D'Amato, Giuliano Losa, Luca Zanolini:
Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols. PODC 2024: 247-256
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/YuLW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/YuLW24
Qianyu Yu, Giuliano Losa, Xuechao Wang:
TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus. PODC 2024: 257-267
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/LosaG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/LosaG24
Giuliano Losa, Eli Gafni:
Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. PODC 2024: 465-468
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-03253
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-03253
Murdoch James Gabbay, Giuliano Losa:
Semitopology: distributed collaborative action via topology, algebra, and logic. CoRR abs/2402.03253 (2024)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-02615
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-02615
Qianyu Yu, Giuliano Losa, Xuechao Wang:
TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus. CoRR abs/2405.02615 (2024)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-03573
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-03573
Giuliano Losa, Eli Gafni:
Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model. CoRR abs/2405.03573 (2024)
2023
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/GafniL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/GafniL23
Eli Gafni, Giuliano Losa:
Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20. SSS 2023: 62-74
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wdag/GafniL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/GafniL23
Eli Gafni, Giuliano Losa:
Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority. DISC 2023: 41:1-41:7
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-04817
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-04817
Giuliano Losa, Eli Gafni:
Consensus in the Unknown-Participation Message-Adversary Model. CoRR abs/2301.04817 (2023)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-09287
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-09287
Murdoch Gabbay, Giuliano Losa:
Semitopology: a new topological model of heterogeneous consensus. CoRR abs/2303.09287 (2023)
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-02295
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-02295
Eli Gafni, Giuliano Losa:
Time is not a Healer, but it Sure Makes Hindsight 20: 20. CoRR abs/2305.02295 (2023)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-05347
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-05347
Francesco D'Amato, Giuliano Losa, Luca Zanolini:
Improving Asynchrony Resilience in Dynamically Available Total-Order Broadcast Protocols. CoRR abs/2309.05347 (2023)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-00956
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-00956
Murdoch Gabbay, Giuliano Losa:
Semiframes: algebras of heterogeneous consensus. CoRR abs/2310.00956 (2023)
2022
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/opodis/CachinLZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/opodis/CachinLZ22
Christian Cachin, Giuliano Losa, Luca Zanolini:
Quorum Systems in Permissionless Networks. OPODIS 2022: 17:1-17:22
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-05630
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-05630
Christian Cachin, Giuliano Losa, Luca Zanolini:
Quorum Systems in Permissionless Network. CoRR abs/2211.05630 (2022)
2021
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Delporte-Gallet21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Delporte-Gallet21
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa:
The assignment problem. Theor. Comput. Sci. 886: 13-26 (2021)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/ArunPPLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/ArunPPLR21
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): 2907-2925 (2021)
2020
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LosaD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LosaD20
Giuliano Losa, Mike Dodds:
On the Formal Verification of the Stellar Consensus Protocol. FMBC@CAV 2020: 9:1-9:9

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Losa19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Losa19
Giuliano Losa:
Stellar Quorum Systems. Arch. Formal Proofs 2019 (2019)
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BerkovitsLLPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BerkovitsLLPS19
Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham:
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. CAV (2) 2019: 245-266
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/LokhavaLMHBGJMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/LokhavaLMHBGJMM19
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: 80-96
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wdag/LosaGM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/LosaGM19
Giuliano Losa, Eli Gafni, David Mazières:
Stellar Consensus by Instantiation. DISC 2019: 27:1-27:15
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-07805
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-07805
Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham:
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. CoRR abs/1905.07805 (2019)
2018
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/PadonHLPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/PadonHLPSS18
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): 26:1-26:33 (2018)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcn/Delporte-Gallet18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcn/Delporte-Gallet18
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa:
The Assignment Problem. ICDCN 2018: 14:1-14:9
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TaubeLMPSSWW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TaubeLMPSSWW18
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: 662-677
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wdag/DaianLAG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/DaianLAG18
Eli Daian, Giuliano Losa, Yehuda Afek, Eli Gafni:
A Wealth of Sub-Consensus Deterministic Objects. DISC 2018: 17:1-17:17
2017
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/PadonLSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/PadonLSS17
Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham:
Paxos made EPR: decidable reasoning about distributed protocols. Proc. ACM Program. Lang. 1(OOPSLA): 108:1-108:31 (2017)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ArunPPLR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ArunPPLR17
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran:
Speeding up Consensus by Chasing Fast Decisions. DSN 2017: 49-60
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/LosaBWCR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/LosaBWCR17
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: 1521-1531
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ArunPPLR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ArunPPLR17
Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran:
Speeding up Consensus by Chasing Fast Decisions. CoRR abs/1704.03319 (2017)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-07191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-07191
Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham:
Paxos Made EPR: Decidable Reasoning about Distributed Protocols. CoRR abs/1710.07191 (2017)
2016
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/PelusoTPLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/PelusoTPLR16
Sebastiano Peluso, Alexandru Turcu, Roberto Palmieri, Giuliano Losa, Binoy Ravindran:
Making Fast Consensus Generally Faster. DSN 2016: 156-167
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/LosaPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/LosaPR16
Giuliano Losa, Sebastiano Peluso, Binoy Ravindran:
Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms. PODC 2016: 345-347
2014
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/ch/Losa14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ch/Losa14
Giuliano Losa:
Modularity in the design of robust distributed algorithms. EPFL, Switzerland, 2014
2012
[j1]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/GuerraouiKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/GuerraouiKL12
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa:
Abortable Linearizable Modules. Arch. Formal Proofs 2012 (2012)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/debs/LosaKAGHSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/debs/LosaKAGHSW12
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: 268-277
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GuerraouiKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GuerraouiKL12
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa:
Speculative linearizability. PLDI 2012: 55-66
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/AlistarhGKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/AlistarhGKL12
Dan Alistarh, Rachid Guerraoui, Petr Kuznetsov, Giuliano Losa:
On the cost of composing shared-memory algorithms. SPAA 2012: 298-307

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.