Marco Serafini

Orcid: 0000-0003-3125-1841

According to our database1, Marco Serafini authored at least 65 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
FlexpushdownDB: rethinking computation pushdown for cloud OLAP DBMSs.
VLDB J., September, 2024

Graph Neural Network Training Systems: A Performance Comparison of Full-Graph and Mini-Batch.
CoRR, 2024

GMorph: Accelerating Multi-DNN Inference via Model Fusion.
Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2023
Enhancing Computation Pushdown for Cloud OLAP Databases.
CoRR, 2023

GSplit: Scaling Graph Neural Network Training on Large Graphs via Split-Parallelism.
CoRR, 2023

GraphMini: Accelerating Graph Pattern Matching Using Auxiliary Graphs.
Proceedings of the 32nd International Conference on Parallel Architectures and Compilation Techniques, 2023

2022
Tuning the Tail Latency of Distributed Queries Using Replication.
CoRR, 2022

2021
Scalable Graph Neural Network Training: The Case for Sampling.
ACM SIGOPS Oper. Syst. Rev., 2021

FlexPushdownDB: Hybrid Pushdown and Caching in a Cloud DBMS.
Proc. VLDB Endow., 2021

Scalable Graph Neural Network Training: The Case for Sampling.
CoRR, 2021

Accelerating graph sampling for graph machine learning using GPUs.
Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020
LiveGraph: A Transactional Graph Storage System with Purely Sequential Adjacency List Scans.
Proc. VLDB Endow., 2020

Do the Best Cloud Configurations Grow on Trees? An Experimental Evaluation of Black Box Algorithms for Optimizing Cloud Workloads Sub.
Proc. VLDB Endow., 2020

NextDoor: GPU-Based Graph Sampling for Graph Machine Learning.
CoRR, 2020

Aion: Better Late than Never in Event-Time Streams.
CoRR, 2020

PushdownDB: Accelerating a DBMS Using S3 Computation.
Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

2019
Choosing A Cloud DBMS: Architectures and Tradeoffs.
Proc. VLDB Endow., 2019

LiveGraph: A Transactional Graph Storage System with Purely Sequential Adjacency List Scans.
CoRR, 2019

Gyro: A Modular Scale-Out Layer for Single-Server DBMSs.
Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

2018
Scaling Out Acid Applications with Operation Partitioning.
CoRR, 2018

P-Store: An Elastic Database System with Predictive Provisioning.
Proceedings of the 2018 International Conference on Management of Data, 2018

2017
Load Balancing for Skewed Streams on Heterogeneous Cluster.
CoRR, 2017

Graph Data Mining with Arabesque.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

QFrag: distributed graph search via subgraph isomorphism.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016
Clay: Fine-Grained Adaptive Partitioning for General Database Schemas.
Proc. VLDB Endow., 2016

When two choices are not enough: Balancing at scale in Distributed Stream Processing.
Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

2015
Arabesque: A System for Distributed Graph Mining - Extended version.
CoRR, 2015

Partial Key Grouping: Load-Balanced Partitioning of Distributed Streams.
CoRR, 2015

Arabesque: a system for distributed graph mining.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Scalable Error Isolation for Distributed Systems.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

The power of both choices: Practical load balancing for distributed stream processing engines.
Proceedings of the 31st IEEE International Conference on Data Engineering, 2015

2014
E-Store: Fine-Grained Elastic Partitioning for Distributed Transaction Processing.
Proc. VLDB Endow., 2014

Accordion: Elastic Scalability for Database Systems Supporting Distributed Transactions.
Proc. VLDB Endow., 2014

2013
Piggybacking on Social Networks.
Proc. VLDB Endow., 2013

On Barriers and the Gap between Active and Passive Replication (Full Version).
CoRR, 2013

On Barriers and the Gap between Active and Passive Replication.
Proceedings of the Distributed Computing - 27th International Symposium, 2013

Efficient Verification of Distributed Protocols Using Stateful Model Checking.
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Towards transparent hardening of distributed systems.
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013

2012
Brief Announcement: Consensus and Efficient Passive Replication.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Practical Hardening of Crash-Tolerant Systems.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Shepherding social feed generation with Sheep.
Proceedings of the Fifth Workshop on Social Network Systems, 2012

Social piggybacking: leveraging common friends to generate event streams.
Proceedings of the Fifth Workshop on Social Network Systems, 2012

2011
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems.
IEEE Trans. Dependable Secur. Comput., 2011

Leader Election for Replicated Services Using Application Scores.
Proceedings of the Middleware 2011, 2011

Supporting domain-specific state space reductions through local partial-order reduction.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Zab: High-performance broadcast for primary-backup systems.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Efficient model checking of fault-tolerant distributed protocols.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010
Efficient and low-cost fault tolerance for web-scale systems.
PhD thesis, 2010

Eventually linearizable shared objects.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Weak consistency as a last resort.
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

Effiziente Fehlertoleranz für Web-Basierte Systeme.
Proceedings of the Ausgezeichnete Informatikdissertationen 2010, 2010

On Efficient Models for Model Checking Message-Passing Distributed Protocols.
Proceedings of the Formal Techniques for Distributed Systems, 2010

HP: Hybrid Paxos for WANs.
Proceedings of the Eighth European Dependable Computing Conference, 2010

Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Fault Characterization and Diagnosis in Distributed Systems.
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2009
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Efficient Robust Storage Using Secret Tokens.
Proceedings of the Stabilization, 2009

Abortable Fork-Linearizable Storage.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.
Proceedings of the Formal Methods and Software Engineering, 2009

2008
Reducing the costs of large-scale BFT replication.
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008

2007
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.
IEEE Trans. Dependable Secur. Comput., 2007

The Fail-Heterogeneous Architectural Model.
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2001
Explicit and Incidental Facial Expression Processing: An fMRI Study.
NeuroImage, 2001


  Loading...