publications
2023
-
GSplit: Scaling Graph Neural Network Training on Large Graphs via Split-ParallelismarXiv preprint arXiv:2303.13775, 2023
2022
-
Tuning the Tail Latency of Distributed Queries Using ReplicationarXiv preprint arXiv:2212.10387, 2022
2021
-
Scalable graph neural network training: The case for samplingACM SIGOPS Operating Systems Review, 2021
-
Flexpushdowndb: Hybrid pushdown and caching in a cloud DBMSProceedings of the VLDB Endowment, 2021
2020
-
-
PushdownDB: Accelerating a DBMS using S3 computationIn 2020 IEEE 36th International Conference on Data Engineering (ICDE), 2020
-
Do the best cloud configurations grow on trees? an experimental evaluation of black box algorithms for optimizing cloud workloadsProceedings of the VLDB Endowment, 2020
2019
-
-
Gyro: A Modular Scale-Out Layer for Single-Server DBMSsIn 2019 38th Symposium on Reliable Distributed Systems (SRDS), 2019
2018
-
P-store: An elastic database system with predictive provisioningIn Proceedings of the 2018 International Conference on Management of Data, 2018
2017
-
Graph data mining with arabesqueIn Proceedings of the 2017 ACM International Conference on Management of Data, 2017
-
Load balancing for skewed streams on heterogeneous clusterarXiv preprint arXiv:1705.09073, 2017
-
Qfrag: Distributed graph search via subgraph isomorphismIn proceedings of the 2017 symposium on cloud computing, 2017
2016
-
When two choices are not enough: Balancing at scale in distributed stream processingIn 2016 IEEE 32nd International Conference on Data Engineering (ICDE), 2016
-
Clay: fine-grained adaptive partitioning for general database schemasProceedings of the VLDB Endowment, 2016
2015
-
Scalable error isolation for distributed systemsIn 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), 2015
-
The power of both choices: Practical load balancing for distributed stream processing enginesIn 2015 IEEE 31st International Conference on Data Engineering, 2015
2014
-
Accordion: Elastic scalability for database systems supporting distributed transactionsProceedings of the VLDB Endowment, 2014
-
E-store: Fine-grained elastic partitioning for distributed transaction processing systemsProceedings of the VLDB Endowment, 2014
2013
-
Piggybacking on social networksIn VLDB 2013-39th International Conference on Very Large Databases, 2013
-
Efficient verification of distributed protocols using stateful model checkingIn 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, 2013
-
On barriers and the gap between active and passive replicationIn International Symposium on Distributed Computing, 2013
2012
-
Practical hardening of crash-tolerant systemsIn 2012 USENIX Annual Technical Conference (USENIX ATC 12), 2012
2011
-
To crash or not to crash: Efficient modeling of fail-stop faultsIn Invited paper, Proc. of Workshop on Logical Aspects of Fault-Tolerance (LAFT, in assoc. with LICS), 2011
-
Leader election for replicated services using application scoresIn Middleware 2011: ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings 12, 2011
-
Application-level diagnostic and membership protocols for generic time-triggered systemsIEEE Transactions on Dependable and Secure Computing, 2011
-
Zab: High-performance broadcast for primary-backup systemsIn 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), 2011
-
Efficient model checking of fault-tolerant distributed protocolsIn 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), 2011
-
Supporting domain-specific state space reductions through local partial-order reductionIn 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
2010
-
-
On efficient models for model checking message-passing distributed protocolsIn International Conference on Formal Methods for Open Object-Based Distributed Systems, 2010
-
Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicasIn 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 2010
-
Eventually linearizable shared objectsIn Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, 2010
-
Weak consistency as a last resortIn Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010
2009
-
Abortable fork-linearizable storageIn Principles of Distributed Systems: 13th International Conference, OPODIS 2009, Nı̂mes, France, December 15-18, 2009. Proceedings 13, 2009
-
Efficient robust storage using secret tokensIn Stabilization, Safety, and Security of Distributed Systems: 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings 11, 2009
-
Role-based symmetry reduction of fault-tolerant distributed protocols with language supportIn International Conference on Formal Engineering Methods, 2009
2008
-
Malicious Fault Characterization Exploiting Honeypot DataIn Proc. of the 7th European Dependable Computing Conference (EDCC 2008), 2008
-
Dependable and cost-effective architecture for X-by-wire systems with membership middlewareIn Other32nd FISITA World Automotive Congress 2008, 2008
-
Reducing the costs of large-scale BFT replicationIn Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008
2007
-
A tunable add-on diagnostic protocol for time-triggered systemsIn 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’07), 2007
-
The fail-heterogeneous architectural modelIn 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007), 2007
-
On-line diagnosis and recovery: On the choice and impact of tuning parametersIEEE Transactions on dependable and secure computing, 2007
-
Sustaining Property Verification of Synchronous Dependable Protocols over ImplementationIn 10th IEEE High Assurance Systems Engineering Symposium (HASE’07), 2007