Follow
Giuliano Losa
Giuliano Losa
UCLA
Verified email at losa.fr - Homepage
Title
Cited by
Cited by
Year
Fast and secure global payments with stellar
M Lokhava, G Losa, D Mazières, G Hoare, N Barry, E Gafni, J Jove, ...
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 80-96, 2019
1482019
Paxos made EPR: decidable reasoning about distributed protocols
O Padon, G Losa, M Sagiv, S Shoham
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-31, 2017
1132017
Modularity for decidability of deductive verification with applications to distributed systems
M Taube, G Losa, KL McMillan, O Padon, M Sagiv, S Shoham, JR Wilcox, ...
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
572018
Speeding up consensus by chasing fast decisions
B Arun, S Peluso, R Palmieri, G Losa, B Ravindran
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems …, 2017
572017
Making fast consensus generally faster
S Peluso, A Turcu, R Palmieri, G Losa, B Ravindran
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
532016
Reducing liveness to safety in first-order logic
O Padon, J Hoenicke, G Losa, A Podelski, M Sagiv, S Shoham
Proceedings of the ACM on Programming Languages 2 (POPL), 1-33, 2017
492017
Stellar consensus by instantiation
G Losa, E Gafni, D Mazières
33rd International Symposium on Distributed Computing (DISC 2019), 2019
372019
Spade–language specification
M Hirzel, H Andrade, B Gedik, V Kumar, G Losa, M Mendell, H Nasgaard, ...
Published In: IBM Technical Report RC24760 in, 2009
372009
SPL stream processing language specification
M Hirzel, H Andrade, B Gedik, V Kumar, G Losa, M Nasgaard, R Soulé, ...
NewYork: IBM Research Division TJ. Watson Research Center, IBM Research …, 2009
312009
Verification of threshold-based distributed algorithms by decomposition to decidable logics
I Berkovits, M Lazić, G Losa, O Padon, S Shoham
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
302019
Speculative linearizability
R Guerraoui, V Kuncak, G Losa
ACM Sigplan Notices 47 (6), 55-66, 2012
242012
State sharing in a distributed data stream processing system
H Andrade, B Gedik, MJ Hirzel, V Kumar, G Losa, RJ Soule, KL Wu
US Patent 8,285,780, 2012
182012
On the formal verification of the stellar consensus protocol
G Losa, M Dodds
2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 2020
172020
Quorum systems in permissionless network
C Cachin, G Losa, L Zanolini
arXiv preprint arXiv:2211.05630, 2022
102022
Transparent fault-tolerance using intra-machine full-software-stack replication on commodity multicore hardware
G Losa, A Barbalace, Y Wen, HR Chuang, B Ravindran, M Sadini
2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017
92017
Kun-Lung-Wu. Spade language specification
M Hirzel, H Andrade, B Gedik, V Kumar, G Losa, R Soule
Technical report, IBM Research, 2009
82009
A wealth of sub-consensus deterministic objects
E Daian, G Losa, Y Afek, E Gafni
32nd International Symposium on Distributed Computing (DISC 2018), 2018
72018
Brief announcement: A family of leaderless generalized-consensus algorithms
G Losa, S Peluso, B Ravindran
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing …, 2016
72016
Data sharing in a stream processing system
H Andrade, B Gedik, MJ Hirzel, V Kumar, G Losa, RJ Soule, KL Wu
US Patent 8,560,602, 2013
62013
Consensus in the unknown-participation message-adversary model
G Losa, E Gafni
arXiv preprint arXiv:2301.04817, 2023
52023
The system can't perform the operation now. Try again later.
Articles 1–20