Giuliano Losa
Giuliano Losa
UCLA
Email verificata su losa.fr - Home page
TitoloCitata daAnno
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
602009
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
412017
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
222012
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
212017
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
182018
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
152012
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
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
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
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
Verification of threshold-based distributed algorithms by decomposition to decidable logics
I Berkovits, M Lazić, G Losa, O Padon, S Shoham
International Conference on Computer Aided Verification, 245-266, 2019
32019
Stellar Consensus by Instantiation
G Losa, E Gafni, D Mazières
33rd International Symposium on Distributed Computing (DISC 2019), 2019
32019
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
32016
Modularity in the design of robust distributed algorithms
G Losa
PhDthesis, Ecole Polytechnique Federale de Lausanne, 2014
32014
The Stellar Consensus Protocol (SCP)
N Barry, G Losa, D Mazieres, J McCaleb, S Polu, J Friday
Internet Engineering Task Force, Internet-Draft draft-mazieres-dinrg-scp-05, 2018
22018
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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20