4 citations · 14 across the 6 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2021
Efficient Linearizability Checking for Actor-based Systems
Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan
Recent demand for distributed software had led to a surge in popularity in actor-based frameworks. However, even with the stylized message passing model of actors, writing correct…
cs.DC2020★ 3 cited
Achieving High Throughput and Elasticity in a Larger-than-Memory Store
Chinmay Kulkarni, Badrish Chandramouli, Ryan Stutsman
Millions of sensors, mobile applications and machines now generate billions of events. Specialized many-core key-value stores (KVSs) can ingest and index these events at high rates…