| 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 |
|---|
|
Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Arabesque: a system for distributed graph mining Carlos H. C. Teixeira, Alexandre J. Fonseca, Marco Serafini, Georgos Siganos, Mohammed J. Zaki, Ashraf Aboulnaga |
Arabesque: a system for distributed graph mining Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Cross-checking semantic correctness: the case of finding file system bugs Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, Taesoo Kim |
Cross-checking semantic correctness: the case of finding file system bugs Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Anirudh Badam, Ranveer Chandra, Jon Dutra, Anthony Ferrese, Steve Hodges, Pan Hu, Julia Meinershagen, Thomas Moscibroda, Bodhi Priyantha, Evangelia D. Skiani |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Pivot tracing: dynamic causal monitoring for distributed systems Jonathan Mace, Ryan Roelke, Rodrigo Fonseca |
Pivot tracing: dynamic causal monitoring for distributed systems Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Using Crash Hoare logic for certifying the FSCQ file system Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
Using Crash Hoare logic for certifying the FSCQ file system Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Fast in-memory transaction processing using RDMA and HTM Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen, Haibo Chen |
Fast in-memory transaction processing using RDMA and HTM Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Yesquel: scalable sql storage for web applications Marcos K. Aguilera, Joshua B. Leners, Michael Walfish |
Yesquel: scalable sql storage for web applications Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell |
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
E2: a framework for NFV applications Shoumik Palkar, Chang Lan, Sangjin Han, Keon Jang, Aurojit Panda, Sylvia Ratnasamy, Luigi Rizzo, Scott Shenker |
E2: a framework for NFV applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Building consistent transactions with inconsistent replication Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, Dan R. K. Ports |
Building consistent transactions with inconsistent replication Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Opportunistic storage maintenance George Amvrosiadis, Angela Demke Brown, Ashvin Goel |
Opportunistic storage maintenance Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Lu Fang, Khanh Nguyen, Guoqing (Harry) Xu, Brian Demsky, Shan Lu |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Existential consistency: measuring and understanding consistency at Facebook Haonan Lu, Kaushik Veeraraghavan, Philippe Ajoux, Jim Hunt, Yee Jiun Song, Wendy Tobagus, Sanjeev Kumar, Wyatt Lloyd |
Existential consistency: measuring and understanding consistency at Facebook Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Read-log-update: a lightweight synchronization mechanism for concurrent programming Alexander Matveev, Nir Shavit, Pascal Felber, Patrick Marlier |
Read-log-update: a lightweight synchronization mechanism for concurrent programming Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Chaos: scale-out graph processing from secondary storage Amitabha Roy, Laurent Bindschaedler, Jasmina Malicevic, Willy Zwaenepoel |
Chaos: scale-out graph processing from secondary storage Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Holistic configuration management at Facebook Chunqiang Tang, Thawan Kooburat, Pradeep Venkatachalam, Akshay Chander, Zhe Wen, Aravind Narayanan, Patrick Dowell, Robert Karl |
Holistic configuration management at Facebook Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
JouleGuard: energy guarantees for approximate applications Henry Hoffmann |
JouleGuard: energy guarantees for approximate applications Details |
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
|
No compromises: distributed transactions with consistency, availability, and performance Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro |
No compromises: distributed transactions with consistency, availability, and performance Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Vuvuzela: scalable private messaging resistant to traffic analysis Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich |
Vuvuzela: scalable private messaging resistant to traffic analysis Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
High-performance ACID via modular concurrency control Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang |
High-performance ACID via modular concurrency control Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
IronFleet: proving practical distributed systems correct Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill |
IronFleet: proving practical distributed systems correct Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Suli Yang, Tyler Harter, Nishant Agrawal, Salini Selvaraj Kowsalya, Anand Krishnamurthy, Samer Al-Kiswany, Rini T. Kaushik, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Coz: finding code that counts with causal profiling Charlie Curtsinger, Emery D. Berger |
Coz: finding code that counts with causal profiling Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
How to get more value from your file system directory cache Chia-che Tsai, Yang Zhan, Jayashree Reddy, Yizheng Jiao, Tao Zhang, Donald E. Porter |
How to get more value from your file system directory cache Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Failure sketching: a technique for automated root cause diagnosis of in-production failures Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea |
Failure sketching: a technique for automated root cause diagnosis of in-production failures Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Parallelizing user-defined aggregations using symbolic execution Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz |
Parallelizing user-defined aggregations using symbolic execution Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, Eran Shlomo |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Implementing linearizability at large scale and low latency Collin Lee, Seo Jin Park, Ankita Kejriwal, Satoshi Matsushita, John K. Ousterhout |
Implementing linearizability at large scale and low latency Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Matthew Lentz, James Litton, Bobby Bhattacharjee |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|