Peter Alvaro

Orcid: 0000-0001-6672-240X

Affiliations:
  • University of California, Santa Cruz, CA, USA


According to our database1, Peter Alvaro authored at least 70 papers between 2007 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automatically Testing Database Systems: DBMS testing with test oracles, transaction history, and fuzzing.
ACM Queue, 2024

Research Pearl: The ROSI Operating System Interface.
CoRR, 2024

NotNets: Accelerating Microservices by Bypassing the Network.
CoRR, 2024

Split gRPC: An Isolation Architecture for RPC Software Stacks.
Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems, 2024

NotNets: Accelerating Microservices by Bypassing the Network.
Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems, 2024

2023
Research for Practice: OS Scheduling.
Commun. ACM, September, 2023

OS Scheduling: Better scheduling policies for modern computing systems.
ACM Queue, 2023

Research for Practice: Crash Consistency.
Commun. ACM, 2023

Unstick Yourself: Recoverable Byzantine Fault Tolerant Services.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

2022
The Fun in Fuzzing: The debugging technique comes into its own.
ACM Queue, 2022

Covergence: Research for Practice reboot.
ACM Queue, 2022

Crash Consistency: Keeping data safe in the presence of crashes is a fundamental problem.
ACM Queue, 2022

A Moveable Beast: Partitioning Data and Compute for Computational Storage.
CoRR, 2022

ACT now: Aggregate Comparison of Traces for Incident Localization.
CoRR, 2022

Research for practice: convergence.
Commun. ACM, 2022

Payment Channels Under Network Congestion.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

Mining microservice design patterns.
Proceedings of the 13th Symposium on Cloud Computing, SoCC 2022, 2022

2021
Twizzler: A <i>Data-centric</i> OS for Non-volatile Memory.
ACM Trans. Storage, 2021

Don't Let RPCs Constrain Your API.
Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

3MileBeach: A Tracer with Teeth.
Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020
Elle: Inferring Isolation Anomalies from Experimental Observations.
Proc. VLDB Endow., 2020

Mapping Datasets to Object Storage System.
CoRR, 2020

Keeping CALM: when distributed consistency is easy.
Commun. ACM, 2020

Twizzler: a Data-Centric OS for Non-Volatile Memory.
Proceedings of the 2020 USENIX Annual Technical Conference, 2020

2019
The Flipside: A Bit Flip Saved Is Power and Lifetime Earned.
login Usenix Mag., 2019

PARTISAN: Scaling the Distributed Actor Runtime.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

A Persistent Problem: Managing Pointers in NVM.
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

Toward Domain-Specific Solvers for Distributed Consistency.
Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

Towards Physical Design Management in Storage Systems.
Proceedings of the IEEE/ACM Fourth International Parallel Data Systems Workshop, 2019

A Tale of Two Abstractions: The Case for Object Space.
Proceedings of the 11th USENIX Workshop on Hot Topics in Storage and File Systems, 2019

Co-evolving Tracing and Fault Injection with Box of Pain.
Proceedings of the 11th USENIX Workshop on Hot Topics in Cloud Computing, 2019

Optimizing Systems for Byte-Addressable NVM by Reducing Bit Flipping.
Proceedings of the 17th USENIX Conference on File and Storage Technologies, 2019

Vote Them Out: Detecting and Eliminating Byzantine Peers.
Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019

Fixed It For You: Protocol Repair Using Lineage Graphs.
Proceedings of the 9th Biennial Conference on Innovative Data Systems Research, 2019

2018
Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems.
ACM Trans. Storage, 2018

Designing Data Structures to Minimize Bit Flips on NVM.
Proceedings of the IEEE 7th Non-Volatile Memory Systems and Applications Symposium, 2018

Cudele: An API and Framework for Programmable Consistency and Durability in a Global Namespace.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

Tintenfisch: File System Namespace Schemas and Generators.
Proceedings of the 10th USENIX Workshop on Hot Topics in Storage and File Systems, 2018

Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems.
Proceedings of the 16th USENIX Conference on File and Storage Technologies, 2018

Debugging Distributed Systems with Why-Across-Time Provenance.
Proceedings of the ACM Symposium on Cloud Computing, 2018

Does your fault-tolerant system tolerate faults?
Proceedings of the ACM Symposium on Cloud Computing, 2018

Programmable Caches with a Data Management Language and Policy Engine.
Proceedings of the 18th IEEE/ACM International Symposium on Cluster, 2018

2017
Blazes: Coordination Analysis and Placement for Distributed Programs.
ACM Trans. Database Syst., 2017

Abstracting the Geniuses Away from Failure Testing.
ACM Queue, 2017

Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples.
ACM Queue, 2017

DeclStore: Layering Is for the Faint of Heart.
Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

Growing a protocol.
Proceedings of the 9th USENIX Workshop on Hot Topics in Cloud Computing, 2017

Malacology: A Programmable Storage System.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

GeneralStore: Declarative Programmable Storage.
Proceedings of the 8th Biennial Conference on Innovative Data Systems Research, 2017

2016
Putting logic-based distributed systems on stable grounds.
Theory Pract. Log. Program., 2016

Automating Failure Testing Research at Internet Scale.
Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

2015
Data-centric Programming for Distributed Systems.
PhD thesis, 2015

Lineage-driven Fault Injection.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Inner CALM: Concurrency control protocols through the looking glass.
Proceedings of the Seventh Biennial Conference on Innovative Data Systems Research, 2015

2014
Edelweiss: Automatic Storage Reclamation for Distributed Programming.
Proc. VLDB Endow., 2014

Blazes: Coordination analysis for distributed programs.
Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

2013
Consistency without borders.
Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2012
BloomUnit: declarative testing for distributed programs.
Proceedings of the Fifth International Workshop on Testing Database Systems, 2012

Confluence Analysis for Distributed Programs: A Model-Theoretic Approach.
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

Logic and lattices for distributed programming.
Proceedings of the ACM Symposium on Cloud Computing, SOCC '12, 2012

Distributed programming and consistency: principles and practice.
Proceedings of the ACM Symposium on Cloud Computing, SOCC '12, 2012

2011
FATE and DESTINI: A Framework for Cloud Recovery Testing.
Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation, 2011

Consistency Analysis in Bloom: a CALM and Collected Approach.
Proceedings of the Fifth Biennial Conference on Innovative Data Systems Research, 2011

2010
Knuckles: bringing the database to the data.
Int. J. Comput. Sci. Eng., 2010

Online aggregation and continuous query support in MapReduce.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

MapReduce Online.
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Boom analytics: exploring data-centric, declarative programming for the cloud.
Proceedings of the European Conference on Computer Systems, 2010

Dedalus: Datalog in Time and Space.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

2009
I do declare: consensus in a logic language.
ACM SIGOPS Oper. Syst. Rev., 2009

2007
Towards Scalable Architectures for Clickstream Data Warehousing.
Proceedings of the Databases in Networked Information Systems, 5th International Workshop, 2007


  Loading...