Marco Serafini
Marco Serafini
Verified email at cs.umass.edu - Homepage
TitleCited byYear
Zab: High-performance broadcast for primary-backup systems
FP Junqueira, BC Reed, M Serafini
2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011
2892011
The power of both choices: Practical load balancing for distributed stream processing engines
MAU Nasir, GDF Morales, D Garcia-Soriano, N Kourtellis, M Serafini
2015 IEEE 31st International Conference on Data Engineering, 137-148, 2015
1092015
Arabesque: a system for distributed graph mining
CHC Teixeira, AJ Fonseca, M Serafini, G Siganos, MJ Zaki, A Aboulnaga
Proceedings of the 25th Symposium on Operating Systems Principles, 425-440, 2015
1032015
E-store: Fine-grained elastic partitioning for distributed transaction processing systems
R Taft, E Mansour, M Serafini, J Duggan, AJ Elmore, A Aboulnaga, ...
Proceedings of the VLDB Endowment 8 (3), 245-256, 2014
982014
Practical hardening of crash-tolerant systems
M Correia, DG Ferro, FP Junqueira, M Serafini
Presented as part of the 2012 {USENIX} Annual Technical Conference ({USENIX …, 2012
612012
When two choices are not enough: Balancing at scale in distributed stream processing
MAU Nasir, GDF Morales, N Kourtellis, M Serafini
2016 IEEE 32nd International Conference on Data Engineering (ICDE), 589-600, 2016
552016
On-line diagnosis and recovery: On the choice and impact of tuning parameters
M Serafini, A Bondavalli, N Suri
IEEE Transactions on Dependable and Secure Computing 4 (4), 295-312, 2007
452007
Accordion: Elastic scalability for database systems supporting distributed transactions
M Serafini, E Mansour, A Aboulnaga, K Salem, T Rafiq, UF Minhas
Proceedings of the VLDB Endowment 7 (12), 1035-1046, 2014
412014
Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas
M Serafini, P Bokor, D Dobre, M Majuntke, N Suri
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
32*2010
Efficient model checking of fault-tolerant distributed protocols
P Bokor, J Kinder, M Serafini, N Suri
2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011
282011
Clay: fine-grained adaptive partitioning for general database schemas
M Serafini, R Taft, AJ Elmore, A Pavlo, A Aboulnaga, M Stonebraker
Proceedings of the VLDB Endowment 10 (4), 445-456, 2016
272016
Eventually linearizable shared objects
M Serafini, D Dobre, M Majuntke, P Bokor, N Suri
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010
272010
Piggybacking on social networks
A Gionis, F Junqueira, V Leroy, M Serafini, I Weber
Proceedings of the VLDB Endowment 6 (6), 409-420, 2013
25*2013
Supporting domain-specific state space reductions through local partial-order reduction
P Bokor, J Kinder, M Serafini, N Suri
Proceedings of the 2011 26th IEEE/ACM International Conference on Automated …, 2011
202011
Abortable fork-linearizable storage
M Majuntke, D Dobre, M Serafini, N Suri
International Conference On Principles Of Distributed Systems, 255-269, 2009
202009
Scalable error isolation for distributed systems
D Behrens, M Serafini, FP Junqueira, S Arnautov, C Fetzer
12th {USENIX} Symposium on Networked Systems Design and Implementation …, 2015
19*2015
Application-level diagnostic and membership protocols for generic time-triggered systems
M Serafini, P Bokor, N Suri, J Vinter, A Ademaj, W Brandstatter, F Tagliabo, ...
IEEE Transactions on Dependable and Secure Computing 8 (2), 177-193, 2011
192011
A tunable add-on diagnostic protocol for time-triggered systems
M Serafini, N Suri, J Vinter, A Ademaj, W Brandstatter, F Tagliabo, J Koch
37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007
182007
HP: Hybrid paxos for WANs
D Dobre, M Majuntke, M Serafini, N Suri
2010 European Dependable Computing Conference, 117-126, 2010
142010
On efficient models for model checking message-passing distributed protocols
P Bokor, M Serafini, N Suri
Formal Techniques for Distributed Systems, 216-223, 2010
122010
The system can't perform the operation now. Try again later.
Articles 1–20