| Title/Authors | Title | Research Artifacts
[?] A research
artifact is any by-product of a research project that is not
directly included in the published research paper. In Computer
Science research this is often source code and data sets, but
it could also be media, documentation, inputs to proof
assistants, shell-scripts to run experiments, etc.
|
Details |
|---|
|
Asynchronous intrusion recovery for interconnected web services Ramesh Chandra, Taesoo Kim, Nickolai Zeldovich |
Asynchronous intrusion recovery for interconnected web services Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Sparrow: distributed, low latency scheduling Kay Ousterhout, Patrick Wendell, Matei Zaharia, Ion Stoica |
Sparrow: distributed, low latency scheduling Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Naiad: a timely dataflow system Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi |
Naiad: a timely dataflow system Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Vijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Details |
Author Comments:
We have made available the open-source code for the file system, and a virtual machine which has the file system and kernel compiled in.
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
ROOT: replaying multithreaded traces with resource-oriented ordering Zev Weiss, Tyler Harter, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
ROOT: replaying multithreaded traces with resource-oriented ordering Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Consistency-based service level agreements for cloud storage Douglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos K. Aguilera, Hussam Abu-Libdeh |
Consistency-based service level agreements for cloud storage Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The scalable commutativity rule: designing scalable software for multicore processors Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert Tappan Morris, Eddie Kohler |
The scalable commutativity rule: designing scalable software for multicore processors Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
IOFlow: a software-defined storage architecture Eno Thereska, Hitesh Ballani, Greg O'Shea, Thomas Karagiannis, Antony I. T. Rowstron, Tom Talpey, Richard Black, Timothy Zhu |
IOFlow: a software-defined storage architecture Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Replication, history, and grafting in the Ori file system Ali José Mashtizadeh, Andrea Bittau, Yifeng Frank Huang, David Mazières |
Replication, history, and grafting in the Ori file system Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Fast dynamic binary translation for the kernel Piyush Kedia, Sorav Bansal |
Fast dynamic binary translation for the kernel Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
X-Stream: edge-centric graph processing using streaming partitions Amitabha Roy, Ivo Mihailovic, Willy Zwaenepoel |
X-Stream: edge-centric graph processing using streaming partitions Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Everything you always wanted to know about synchronization but were afraid to ask Tudor David, Rachid Guerraoui, Vasileios Trigonakis |
Everything you always wanted to know about synchronization but were afraid to ask Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
RaceMob: crowdsourced data race detection Baris Kasikci, Cristian Zamfir, George Candea |
RaceMob: crowdsourced data race detection Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Verifying computations with state Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish |
Verifying computations with state Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Tango: distributed data structures over a shared log Mahesh Balakrishnan, Dahlia Malkhi, Ted Wobber, Ming Wu, Vijayan Prabhakaran, Michael Wei, John D. Davis, Sriram Rao, Tao Zou, Aviad Zuck |
Tango: distributed data structures over a shared log Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
VirtuOS: an operating system with kernel virtualization Ruslan Nikolaev, Godmar Back |
VirtuOS: an operating system with kernel virtualization Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Timecard: controlling user-perceived delays in server-based mobile applications Lenin Ravindranath, Jitendra Padhye, Ratul Mahajan, Hari Balakrishnan |
Timecard: controlling user-perceived delays in server-based mobile applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A lightweight infrastructure for graph analytics Donald Nguyen, Andrew Lenharth, Keshav Pingali |
A lightweight infrastructure for graph analytics Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
An analysis of Facebook photo caching Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li |
An analysis of Facebook photo caching Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
From ARIES to MARS: transaction support for next-generation, solid-state drives Joel Coburn, Trevor Bunker, Meir Schwarz, Rajesh Gupta, Steven Swanson |
From ARIES to MARS: transaction support for next-generation, solid-state drives Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
SPANStore: cost-effective geo-replicated storage spanning multiple cloud services Zhe Wu, Michael Butkiewicz, Dorian Perkins, Ethan Katz-Bassett, Harsha V. Madhyastha |
SPANStore: cost-effective geo-replicated storage spanning multiple cloud services Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Transaction chains: achieving serializability with low latency in geo-distributed storage systems Yang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera, Jinyang Li |
Transaction chains: achieving serializability with low latency in geo-distributed storage systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Do not blame users for misconfigurations Tianyin Xu, Jiaqi Zhang, Peng Huang, Jing Zheng, Tianwei Sheng, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy |
Do not blame users for misconfigurations Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? Kevin Elphinstone, Gernot Heiser |
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Parrot: a practical runtime for deterministic, stable, and reliable threads Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant |
Parrot: a practical runtime for deterministic, stable, and reliable threads Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Speedy transactions in multicore in-memory databases Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden |
Speedy transactions in multicore in-memory databases Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Discretized streams: fault-tolerant streaming computation at scale Matei Zaharia, Tathagata Das, Haoyuan Li, Timothy Hunter, Scott Shenker, Ion Stoica |
Discretized streams: fault-tolerant streaming computation at scale Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
There is more consensus in Egalitarian parliaments Iulian Moraru, David G. Andersen, Michael Kaminsky |
There is more consensus in Egalitarian parliaments Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Towards optimization-safe systems: analyzing the impact of undefined behavior Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama |
Towards optimization-safe systems: analyzing the impact of undefined behavior Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Dandelion: a compiler and runtime for heterogeneous systems Christopher J. Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin, Dennis Fetterly |
Dandelion: a compiler and runtime for heterogeneous systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|