Giuliano Losa
Giuliano Losa
UCLA
Verified email at losa.fr - Homepage
TitleCited byYear
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
592009
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), 108, 2017
372017
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
242016
Speculative linearizability
R Guerraoui, V Kuncak, G Losa
Acm Sigplan Notices 47 (6), 55-66, 2012
232012
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), 26, 2017
202017
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, ...
ACM SIGPLAN Notices 53 (4), 662-677, 2018
172018
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
162012
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
112017
Kun-Lung-Wu. Spade language specification
M Hirzel, H Andrade, B Gedik, V Kumar, G Losa, R Soule
Technical report, IBM Research, 2009
72009
Transparent Fault-Tolerance using Intra-Machine Full-Software-Stack Replication on Commodity Multicore Hardware
G Losa, A Barbalace, Y Wen, HR Chuang, B Ravindran
2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017
52017
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
52013
CAPSULE: language and system support for efficient state sharing in distributed stream processing systems
G Losa, V Kumar, H Andrade, B Gedik, M Hirzel, R Soulé, KL Wu
Proceedings of the 6th ACM International Conference on Distributed Event …, 2012
42012
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
32019
Modularity in the design of robust distributed algorithms
G Losa
PhD thesis, EPFL, 2014
32014
Stellar Consensus by Instantiation
G Losa, E Gafni, D Mazières
33rd International Symposium on Distributed Computing (DISC 2019), 2019
22019
A Wealth of Sub-Consensus Deterministic Objects
E Daian, G Losa, Y Afek, E Gafni
32nd International Symposium on Distributed Computing (DISC 2018), 2018
22018
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
22016
On the cost of composing shared-memory algorithms
D Alistarh, R Guerraoui, P Kuznetsov, G Losa
Proceedings of the twenty-fourth annual ACM symposium on Parallelism in …, 2012
22012
Abortable linearizable modules
R Guerraoui, V Kuncak, G Losa
Archive of Formal Proofs (AFP), 2012
22012
Stellar Quorum Systems
G Losa
Archive of Formal Proofs, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20