| 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 | 157 | 2019 |
| 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 | 119 | 2017 |
| 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 | 63 | 2018 |
| 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 | 62 | 2017 |
| 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 | 55 | 2016 |
| 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 | 54 | 2017 |
| Stellar consensus by instantiation G Losa, E Gafni, D Mazières 33rd International Symposium on Distributed Computing (DISC 2019), 2019 | 42 | 2019 |
| 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 | 37 | 2009 |
| 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 | 34 | 2019 |
| 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 | 33 | 2009 |
| Speculative linearizability R Guerraoui, V Kuncak, G Losa ACM Sigplan Notices 47 (6), 55-66, 2012 | 25 | 2012 |
| On the formal verification of the stellar consensus protocol G Losa, M Dodds 2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 2020 | 21 | 2020 |
| 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 | 18 | 2012 |
| Quorum systems in permissionless network C Cachin, G Losa, L Zanolini arXiv preprint arXiv:2211.05630, 2022 | 16 | 2022 |
| Consensus in the unknown-participation message-adversary model G Losa, E Gafni arXiv preprint arXiv:2301.04817, 2023 | 8 | 2023 |
| A wealth of sub-consensus deterministic objects E Daian, G Losa, Y Afek, E Gafni 32nd International Symposium on Distributed Computing (DISC 2018), 2018 | 8 | 2018 |
| 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 | 8 | 2017 |
| Kun-Lung-Wu. Spade language specification M Hirzel, H Andrade, B Gedik, V Kumar, G Losa, R Soule Technical report, IBM Research, 2009 | 8 | 2009 |
| 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 | 6 | 2016 |
| 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 | 6 | 2013 |
