1. GSplit: Scaling Graph Neural Network Training on Large Graphs via Split-Parallelism
    Sandeep Polisetty, Juelin Liu, Kobi Falus, Yi Ren Fung, Seung-Hwan Lim, Hui Guan, and Marco Serafini
    arXiv preprint arXiv:2303.13775, 2023
  2. GraphMini: Accelerating Graph Pattern Matching Using Auxiliary Graphs
    Juelin Liu, Sandeep Polisetty, Hui Guan, and Marco Serafini
    In Proceedings of the 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT), 2023


  1. Tuning the Tail Latency of Distributed Queries Using Replication
    Nathan Ng, Hung Le, and Marco Serafini
    arXiv preprint arXiv:2212.10387, 2022


  1. Accelerating graph sampling for graph machine learning using GPUs
    Abhinav Jangda, Sandeep Polisetty, Arjun Guha, and Marco Serafini
    In Proceedings of the Sixteenth European Conference on Computer Systems, 2021
  2. Scalable graph neural network training: The case for sampling
    Marco Serafini, and Hui Guan
    ACM SIGOPS Operating Systems Review, 2021
  3. Flexpushdowndb: Hybrid pushdown and caching in a cloud DBMS
    Yifei Yang, Matt Youill, Matthew Woicik, Yizhou Liu, Xiangyao Yu, Marco Serafini, Ashraf Aboulnaga, and Michael Stonebraker
    Proceedings of the VLDB Endowment, 2021


  1. Aion: Better late than never in event-time streams
    Sergio Esteves, Gianmarco De Francisci Morales, Rodrigo Rodrigues, Marco Serafini, and Luı́s Veiga
    arXiv preprint arXiv:2003.03604, 2020
  2. PushdownDB: Accelerating a DBMS using S3 computation
    Xiangyao Yu, Matt Youill, Matthew Woicik, Abdurrahman Ghanem, Marco Serafini, Ashraf Aboulnaga, and Michael Stonebraker
    In 2020 IEEE 36th International Conference on Data Engineering (ICDE), 2020
  3. Do the best cloud configurations grow on trees? an experimental evaluation of black box algorithms for optimizing cloud workloads
    Muhammad Bilal, Marco Serafini, Marco Canini, and Rodrigo Rodrigues
    Proceedings of the VLDB Endowment, 2020


  1. Choosing a cloud DBMS: architectures and tradeoffs
    Junjay Tan, Thanaa Ghanem, Matthew Perron, Xiangyao Yu, Michael Stonebraker, David DeWitt, Marco Serafini, Ashraf Aboulnaga, and Tim Kraska
    Proceedings of the VLDB Endowment, 2019
  2. Gyro: A Modular Scale-Out Layer for Single-Server DBMSs
    Habib Saissi, Marco Serafini, and Neeraj Suri
    In 2019 38th Symposium on Reliable Distributed Systems (SRDS), 2019
  3. Livegraph: A transactional graph storage system with purely sequential adjacency list scans
    Xiaowei Zhu, Guanyu Feng, Marco Serafini, Xiaosong Ma, Jiping Yu, Lei Xie, Ashraf Aboulnaga, and Wenguang Chen
    arXiv preprint arXiv:1910.05773, 2019


  1. P-store: An elastic database system with predictive provisioning
    Rebecca Taft, Nosayba El-Sayed, Marco Serafini, Yu Lu, Ashraf Aboulnaga, Michael Stonebraker, Ricardo Mayerhofer, and Francisco Andrade
    In Proceedings of the 2018 International Conference on Management of Data, 2018


  1. Graph data mining with arabesque
    Eslam Hussein, Abdurrahman Ghanem, Vinicius Santos Dias, Carlos HC Teixeira, Ghadeer AbuOda, Marco Serafini, Georgos Siganos, Gianmarco De Francisci Morales, Ashraf Aboulnaga, and Mohammed Zaki
    In Proceedings of the 2017 ACM International Conference on Management of Data, 2017
  2. Load balancing for skewed streams on heterogeneous cluster
    Muhammad Anis Uddin Nasir, Hiroshi Horii, Marco Serafini, Nicolas Kourtellis, Rudy Raymond, Sarunas Girdzijauskas, and Takayuki Osogami
    arXiv preprint arXiv:1705.09073, 2017
  3. Qfrag: Distributed graph search via subgraph isomorphism
    Marco Serafini, Gianmarco De Francisci Morales, and Georgos Siganos
    In proceedings of the 2017 symposium on cloud computing, 2017


  1. When two choices are not enough: Balancing at scale in distributed stream processing
    Muhammad Anis Uddin Nasir, Gianmarco De Francisci Morales, Nicolas Kourtellis, and Marco Serafini
    In 2016 IEEE 32nd International Conference on Data Engineering (ICDE), 2016
  2. Clay: fine-grained adaptive partitioning for general database schemas
    Marco Serafini, Rebecca Taft, Aaron J Elmore, Andrew Pavlo, Ashraf Aboulnaga, and Michael Stonebraker
    Proceedings of the VLDB Endowment, 2016


  1. Scalable error isolation for distributed systems
    Diogo Behrens, Marco Serafini, Flavio P Junqueira, Sergei Arnautov, and Christof Fetzer
    In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), 2015
  2. The power of both choices: Practical load balancing for distributed stream processing engines
    Muhammad Anis Uddin Nasir, Gianmarco De Francisci Morales, David Garcia-Soriano, Nicolas Kourtellis, and Marco Serafini
    In 2015 IEEE 31st International Conference on Data Engineering, 2015
  3. Arabesque: a system for distributed graph mining
    Carlos HC Teixeira, Alexandre J Fonseca, Marco Serafini, Georgos Siganos, Mohammed J Zaki, and Ashraf Aboulnaga
    In Proceedings of the 25th Symposium on Operating Systems Principles, 2015


  1. Accordion: Elastic scalability for database systems supporting distributed transactions
    Marco Serafini, Essam Mansour, Ashraf Aboulnaga, Kenneth Salem, Taha Rafiq, and Umar Farooq Minhas
    Proceedings of the VLDB Endowment, 2014
  2. E-store: Fine-grained elastic partitioning for distributed transaction processing systems
    Rebecca Taft, Essam Mansour, Marco Serafini, Jennie Duggan, Aaron J Elmore, Ashraf Aboulnaga, Andrew Pavlo, and Michael Stonebraker
    Proceedings of the VLDB Endowment, 2014


  1. Piggybacking on social networks
    Aristides Gionis, Flavio PP Junqueira, Vincent Leroy, Marco Serafini, and Ingmar Weber
    In VLDB 2013-39th International Conference on Very Large Databases, 2013
  2. Efficient verification of distributed protocols using stateful model checking
    Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, and Marco Serafini
    In 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, 2013
  3. On barriers and the gap between active and passive replication
    Flavio P Junqueira, and Marco Serafini
    In International Symposium on Distributed Computing, 2013


  1. Practical hardening of crash-tolerant systems
    Miguel Correia, Daniel Gómez Ferro, Flavio P Junqueira, and Marco Serafini
    In 2012 USENIX Annual Technical Conference (USENIX ATC 12), 2012


  1. To crash or not to crash: Efficient modeling of fail-stop faults
    Habib Saissi, Péter Bokor, Marco Serafini, and Neeraj Suri
    In Invited paper, Proc. of Workshop on Logical Aspects of Fault-Tolerance (LAFT, in assoc. with LICS), 2011
  2. Leader election for replicated services using application scores
    Diogo Becker, Flavio Junqueira, and Marco Serafini
    In Middleware 2011: ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings 12, 2011
  3. Application-level diagnostic and membership protocols for generic time-triggered systems
    Marco Serafini, Péter Bokor, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabo, and Jens Koch
    IEEE Transactions on Dependable and Secure Computing, 2011
  4. Zab: High-performance broadcast for primary-backup systems
    Flavio P Junqueira, Benjamin C Reed, and Marco Serafini
    In 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), 2011
  5. Efficient model checking of fault-tolerant distributed protocols
    Péter Bokor, Johannes Kinder, Marco Serafini, and Neeraj Suri
    In 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), 2011
  6. Supporting domain-specific state space reductions through local partial-order reduction
    Péter Bokor, Johannes Kinder, Marco Serafini, and Neeraj Suri
    In 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011


  1. HP: Hybrid paxos for WANs
    Dan Dobre, Matthias Majuntke, Marco Serafini, and Neeraj Suri
    In 2010 European Dependable Computing Conference, 2010
  2. On efficient models for model checking message-passing distributed protocols
    Péter Bokor, Marco Serafini, and Neeraj Suri
    In International Conference on Formal Methods for Open Object-Based Distributed Systems, 2010
  3. Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas
    Marco Serafini, Péter Bokor, Dan Dobre, Matthias Majuntke, and Neeraj Suri
    In 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 2010
  4. Eventually linearizable shared objects
    Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, and Neeraj Suri
    In Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, 2010
  5. Weak consistency as a last resort
    Marco Serafini, and Flavio Junqueira
    In Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010


  1. Abortable fork-linearizable storage
    Matthias Majuntke, Dan Dobre, Marco Serafini, and Neeraj Suri
    In Principles of Distributed Systems: 13th International Conference, OPODIS 2009, Nı̂mes, France, December 15-18, 2009. Proceedings 13, 2009
  2. Efficient robust storage using secret tokens
    Dan Dobre, Matthias Majuntke, Marco Serafini, and Neeraj Suri
    In Stabilization, Safety, and Security of Distributed Systems: 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings 11, 2009
  3. Role-based symmetry reduction of fault-tolerant distributed protocols with language support
    Péter Bokor, Marco Serafini, Neeraj Suri, and Helmut Veith
    In International Conference on Formal Engineering Methods, 2009


  1. Malicious Fault Characterization Exploiting Honeypot Data
    V Stankovic, E Alata, C Leita, M Serafini, O Thonnard, J Viniikka, and U Zurutuza
    In Proc. of the 7th European Dependable Computing Conference (EDCC 2008), 2008
  2. Dependable and cost-effective architecture for X-by-wire systems with membership middleware
    K Sakurai, M Matsubara, M Serafini, and Neeraj Suri
    In Other32nd FISITA World Automotive Congress 2008, 2008
  3. Reducing the costs of large-scale BFT replication
    Marco Serafini, and Neeraj Suri
    In Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008


  1. A tunable add-on diagnostic protocol for time-triggered systems
    Marco Serafini, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstatter, Fulvio Tagliabo, and Jens Koch
    In 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’07), 2007
  2. The fail-heterogeneous architectural model
    Marco Serafini, and Neeraj Suri
    In 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007), 2007
  3. On-line diagnosis and recovery: On the choice and impact of tuning parameters
    Marco Serafini, Andrea Bondavalli, and Neeraj Suri
    IEEE Transactions on dependable and secure computing, 2007
  4. Sustaining Property Verification of Synchronous Dependable Protocols over Implementation
    Péter Bokor, Marco Serafini, Aron Sisak, András Pataricza, and Neeraj Suri
    In 10th IEEE High Assurance Systems Engineering Symposium (HASE’07), 2007