Explicit and Incidental Facial Expression Processing: An fMRI Study. - Maria Luisa Gorno-Tempini; Samanta Pradelli; Marco Serafini; Giuseppe Pagnoni; Patrizia Baraldi; Carlo A. Porro; Roberto Nicoletti; Carlo Umità; Paolo Nichelli (NeuroImage, 2001)

A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems. - Marco Serafini; Neeraj Suri; Jonny Vinter; Astrit Ademaj; Wolfgang Brandstätter; Fulvio Tagliabo; Jens Koch (DSN, 2007)

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. - Péter Bokor; Marco Serafini; Áron Sisak; András Pataricza; Neeraj Suri (HASE, 2007)

The Fail-Heterogeneous Architectural Model. - Marco Serafini; Neeraj Suri (SRDS, 2007)

Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters. - Marco Serafini; Andrea Bondavalli; Neeraj Suri (IEEE Trans. Dependable Secur. Comput., 2007)

Reducing the costs of large-scale BFT replication. - Marco Serafini; Neeraj Suri (LADIS, 2008)

Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. - Péter Bokor; Marco Serafini; Neeraj Suri; Helmut Veith (ICFEM, 2009)

Abortable Fork-Linearizable Storage. - Matthias Majuntke; Dan Dobre; Marco Serafini; Neeraj Suri (OPODIS, 2009)

Efficient Robust Storage Using Secret Tokens. - Dan Dobre; Matthias Majuntke; Marco Serafini; Neeraj Suri (SSS, 2009)

Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. - Péter Bokor; Marco Serafini; Neeraj Suri; Helmut Veith (DISC, 2009)

Fault Characterization and Diagnosis in Distributed Systems. - Marco Serafini (AlgoSyn, 2010)

Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas. - Marco Serafini; Péter Bokor; Dan Dobre; Matthias Majuntke; Neeraj Suri (DSN, 2010)

HP: Hybrid Paxos for WANs. - Dan Dobre; Matthias Majuntke; Marco Serafini; Neeraj Suri (EDCC, 2010)

On Efficient Models for Model Checking Message-Passing Distributed Protocols. - Péter Bokor; Marco Serafini; Neeraj Suri (FMOODS/FORTE, 2010)

Effiziente Fehlertoleranz für Web-Basierte Systeme. - Marco Serafini (Ausgezeichnete Informatikdissertationen, 2010)

Weak consistency as a last resort. - Marco Serafini; Flavio Junqueira (LADIS, 2010)

Eventually linearizable shared objects. - Marco Serafini; Dan Dobre; Matthias Majuntke; Péter Bokor; Neeraj Suri (PODC, 2010)

Efficient and low-cost fault tolerance for web-scale systems. - Marco Serafini (2010)

Efficient model checking of fault-tolerant distributed protocols. - Péter Bokor; Johannes Kinder; Marco Serafini; Neeraj Suri (DSN, 2011)

Zab: High-performance broadcast for primary-backup systems. - Flavio Paiva Junqueira; Benjamin C. Reed; Marco Serafini (DSN, 2011)

Supporting domain-specific state space reductions through local partial-order reduction. - Péter Bokor; Johannes Kinder; Marco Serafini; Neeraj Suri (ASE, 2011)

Leader Election for Replicated Services Using Application Scores. - Diogo Becker; Flavio Junqueira; Marco Serafini (Middleware, 2011)

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; Jens Koch (IEEE Trans. Dependable Secur. Comput., 2011)

Social piggybacking: leveraging common friends to generate event streams. - Aristides Gionis; Flavio Junqueira; Vincent Leroy 001; Marco Serafini; Ingmar Weber (SNS, 2012)

Shepherding social feed generation with Sheep. - Flavio Paiva Junqueira; Vincent Leroy 001; Marco Serafini; Adam Silberstein (SNS, 2012)

Practical Hardening of Crash-Tolerant Systems. - Miguel Correia 001; Daniel Gómez Ferro; Flavio Paiva Junqueira; Marco Serafini (USENIX ATC, 2012)

Brief Announcement: Consensus and Efficient Passive Replication. - Flavio Junqueira; Marco Serafini (DISC, 2012)

Towards transparent hardening of distributed systems. - Diogo Behrens; Christof Fetzer; Flavio Paiva Junqueira; Marco Serafini (HotDep, 2013)

Efficient Verification of Distributed Protocols Using Stateful Model Checking. - Habib Saissi; Péter Bokor; Can Arda Muftuoglu; Neeraj Suri; Marco Serafini (SRDS, 2013)

On Barriers and the Gap between Active and Passive Replication. - Flavio Paiva Junqueira; Marco Serafini (DISC, 2013)

On Barriers and the Gap between Active and Passive Replication (Full Version). - Flavio Paiva Junqueira; Marco Serafini (CoRR, 2013)

Piggybacking on Social Networks. - Aristides Gionis; Flavio Junqueira; Vincent Leroy 001; Marco Serafini; Ingmar Weber (Proc. VLDB Endow., 2013)

Accordion: Elastic Scalability for Database Systems Supporting Distributed Transactions. - Marco Serafini; Essam Mansour 001; Ashraf Aboulnaga; Kenneth Salem; Taha Rafiq; Umar Farooq Minhas (Proc. VLDB Endow., 2014)

E-Store: Fine-Grained Elastic Partitioning for Distributed Transaction Processing. - Rebecca Taft; Essam Mansour 001; Marco Serafini; Jennie Duggan; Aaron J. Elmore; Ashraf Aboulnaga; Andrew Pavlo; Michael Stonebraker (Proc. VLDB Endow., 2014)

The power of both choices: Practical load balancing for distributed stream processing engines. - Muhammad Anis Uddin Nasir; Gianmarco De Francisci Morales; David García-Soriano; Nicolas Kourtellis; Marco Serafini (ICDE, 2015)

Scalable Error Isolation for Distributed Systems. - Diogo Behrens; Marco Serafini; Flavio Paiva Junqueira; Sergei Arnautov; Christof Fetzer (NSDI, 2015)

Arabesque: a system for distributed graph mining. - Carlos H. C. Teixeira; Alexandre J. Fonseca; Marco Serafini; Georgos Siganos; Mohammed J. Zaki; Ashraf Aboulnaga (SOSP, 2015)

Partial Key Grouping: Load-Balanced Partitioning of Distributed Streams. - Muhammad Anis Uddin Nasir; Gianmarco De Francisci Morales; David García-Soriano; Nicolas Kourtellis; Marco Serafini (CoRR, 2015)

Arabesque: A System for Distributed Graph Mining - Extended version. - Carlos H. C. Teixeira; Alexandre J. Fonseca; Marco Serafini; Georgos Siganos; Mohammed J. Zaki; Ashraf Aboulnaga (CoRR, 2015)

When two choices are not enough: Balancing at scale in Distributed Stream Processing. - Muhammad Anis Uddin Nasir; Gianmarco De Francisci Morales; Nicolas Kourtellis; Marco Serafini (ICDE, 2016)

Clay: Fine-Grained Adaptive Partitioning for General Database Schemas. - Marco Serafini; Rebecca Taft; Aaron J. Elmore; Andrew Pavlo; Ashraf Aboulnaga; Michael Stonebraker (Proc. VLDB Endow., 2016)

QFrag: distributed graph search via subgraph isomorphism. - Marco Serafini; Gianmarco De Francisci Morales; Georgos Siganos (SoCC, 2017)

Graph Data Mining with Arabesque. - Eslam Hussein; Abdurrahman Ghanem; Vinícius Vitor dos Santos Dias; Carlos H. C. Teixeira; Ghadeer AbuOda; Marco Serafini; Georgos Siganos; Gianmarco De Francisci Morales; Ashraf Aboulnaga; Mohammed J. Zaki (SIGMOD Conference, 2017)

Load Balancing for Skewed Streams on Heterogeneous Cluster. - Muhammad Anis Uddin Nasir; Hiroshi Horii; Marco Serafini; Nicolas Kourtellis; Rudy Raymond; Sarunas Girdzijauskas; Takayuki Osogami (CoRR, 2017)

P-Store: An Elastic Database System with Predictive Provisioning. - Rebecca Taft; Nosayba El-Sayed; Marco Serafini; Yu Lu; Ashraf Aboulnaga; Michael Stonebraker; Ricardo Mayerhofer; Francisco Jose Andrade (SIGMOD Conference, 2018)

Scaling Out Acid Applications with Operation Partitioning. - Habib Saissi; Marco Serafini; Neeraj Suri (CoRR, 2018)

Gyro: A Modular Scale-Out Layer for Single-Server DBMSs. - Habib Saissi; Marco Serafini; Neeraj Suri (SRDS, 2019)

LiveGraph: A Transactional Graph Storage System with Purely Sequential Adjacency List Scans. - Xiaowei Zhu 001; Guanyu Feng; Marco Serafini; Xiaosong Ma; Jiping Yu; Lei Xie; Ashraf Aboulnaga; Wenguang Chen (CoRR, 2019)

Choosing A Cloud DBMS: Architectures and Tradeoffs. - Junjay Tan; Thanaa M. Ghanem; Matthew Perron; Xiangyao Yu; Michael Stonebraker; David J. DeWitt; Marco Serafini; Ashraf Aboulnaga; Tim Kraska (Proc. VLDB Endow., 2019)

PushdownDB: Accelerating a DBMS Using S3 Computation. - Xiangyao Yu; Matt Youill; Matthew E. Woicik; Abdurrahman Ghanem; Marco Serafini; Ashraf Aboulnaga; Michael Stonebraker (ICDE, 2020)

Aion: Better Late than Never in Event-Time Streams. - Sérgio Esteves; Gianmarco De Francisci Morales; Rodrigo Rodrigues 001; Marco Serafini; Luís Veiga (CoRR, 2020)

NextDoor: GPU-Based Graph Sampling for Graph Machine Learning. - Abhinav Jangda; Sandeep Polisetty; Arjun Guha; Marco Serafini (CoRR, 2020)

Do the Best Cloud Configurations Grow on Trees? An Experimental Evaluation of Black Box Algorithms for Optimizing Cloud Workloads Sub. - Muhammad Bilal 007; Marco Serafini; Marco Canini; Rodrigo Rodrigues 001 (Proc. VLDB Endow., 2020)

LiveGraph: A Transactional Graph Storage System with Purely Sequential Adjacency List Scans. - Xiaowei Zhu 001; Marco Serafini; Xiaosong Ma; Ashraf Aboulnaga; Wenguang Chen; Guanyu Feng (Proc. VLDB Endow., 2020)

Accelerating graph sampling for graph machine learning using GPUs. - Abhinav Jangda; Sandeep Polisetty; Arjun Guha; Marco Serafini (EuroSys, 2021)

Scalable Graph Neural Network Training: The Case for Sampling. - Marco Serafini; Hui Guan 001 (CoRR, 2021)

FlexPushdownDB: Hybrid Pushdown and Caching in a Cloud DBMS. - Yifei Yang; Matt Youill; Matthew E. Woicik; Yizhou Liu; Xiangyao Yu; Marco Serafini; Ashraf Aboulnaga; Michael Stonebraker (Proc. VLDB Endow., 2021)

Scalable Graph Neural Network Training: The Case for Sampling. - Marco Serafini (ACM SIGOPS Oper. Syst. Rev., 2021)

Tuning the Tail Latency of Distributed Queries Using Replication. - Nathan Ng 002; Hung Le 001; Marco Serafini (CoRR, 2022)

GraphMini: Accelerating Graph Pattern Matching Using Auxiliary Graphs. - Juelin Liu; Sandeep Polisetty; Hui Guan 001; Marco Serafini (PACT, 2023)

GSplit: Scaling Graph Neural Network Training on Large Graphs via Split-Parallelism. - Sandeep Polisetty; Juelin Liu; Kobi Falus; Yi Ren Fung 001; Seung-Hwan Lim; Hui Guan 001; Marco Serafini (CoRR, 2023)

Enhancing Computation Pushdown for Cloud OLAP Databases. - Yifei Yang; Xiangyao Yu; Marco Serafini; Ashraf Aboulnaga; Michael Stonebraker (CoRR, 2023)

GMorph: Accelerating Multi-DNN Inference via Model Fusion. - Qizheng Yang; Tianyi Yang; Mingcan Xiang; Lijun Zhang 005; Haoliang Wang; Marco Serafini; Hui Guan 001 (EuroSys, 2024)

Graph Neural Network Training Systems: A Performance Comparison of Full-Graph and Mini-Batch. - Saurabh Bajaj; Hui Guan 001; Marco Serafini (CoRR, 2024)

FlexpushdownDB: rethinking computation pushdown for cloud OLAP DBMSs. - Yifei Yang; Xiangyao Yu; Marco Serafini; Ashraf Aboulnaga; Michael Stonebraker (VLDB J., 2024)

Graph Neural Network Training Systems: A Performance Comparison of Full-Graph and Mini-Batch. - Saurabh Bajaj; Hui Guan 001; Marco Serafini; Juelin Liu; Hojae Son (Proc. VLDB Endow., 2024)