|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 398 occurrences of 272 keywords
|
|
|
|
|
Results
Found 779 publication records. Showing 779 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Omid Alipourfard, Jiaqi Gao, Jérémie Koenig, Chris Harshaw, Amin Vahdat, Minlan Yu |
Risk based planning of network changes in evolving data centers.  |
SOSP  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Se Kwon Lee, Jayashree Mohan, Sanidhya Kashyap, Taesoo Kim, Vijay Chidambaram |
Recipe: converting concurrent DRAM indexes to persistent-memory indexes. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqing Harry Xu, Margus Veanes, Michael Barnett 0001, Madan Musuvathi, Todd Mytkowicz, Ben Zorn 0001, Huan He, Haibo Lin |
Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang 0005 |
Scaling symbolic evaluation for automated verification of systems code with Serval. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb |
Fast and secure global payments with Stellar. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Abutalib Aghayev, Sage A. Weil, Michael Kuchnik, Mark Nelson 0002, Gregory R. Ganger, George Amvrosiadis |
File systems unfit as distributed storage backends: lessons from 10 years of Ceph evolution. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Brecht, Carey Williamson (eds.) |
Proceedings of the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019. |
SOSP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
Verifying concurrent, crash-safe systems with Perennial. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Yang, Mingxing Zhang, Kang Chen, Xiaosong Ma, Yang Bai, Yong Jiang 0001 |
KnightKing: a fast distributed graph random walk engine. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Mawhirter, Bo Wu 0002 |
AutoMine: harmonizing high-level abstraction and high performance for graph mining. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Haichen Shen, Lequn Chen, Yuchen Jin, Liangyu Zhao, Bingyu Kong, Matthai Philipose, Arvind Krishnamurthy, Ravi Sundaram |
Nexus: a GPU cluster engine for accelerating DNN-based video analysis. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangpu Li, Shan Lu 0001, Madanlal Musuvathi, Suman Nath, Rohan Padhye |
Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohan Kadekodi, Se Kwon Lee, Sanidhya Kashyap, Taesoo Kim, Aasheesh Kolli, Vijay Chidambaram |
SplitFS: reducing software overhead in file systems for persistent memory. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanidhya Kashyap, Irina Calciu, Xiaohe Cheng, Changwoo Min, Taesoo Kim |
Scalable and practical locking with shuffling. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanghua Peng, Yibo Zhu, Yangrui Chen, Yixin Bao, Bairen Yi, Chang Lan, Chuan Wu 0001, Chuanxiong Guo |
A generic communication scheduler for distributed DNN training acceleration. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongle Zhang, Kirk Rodrigues, Yu Luo 0006, Michael Stumm, Ding Yuan 0004 |
The inflection point hypothesis: a principled debugging approach for locating the root cause of a failure. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Navasca, Cheng Cai, Khanh Nguyen 0001, Brian Demsky, Shan Lu 0001, Miryung Kim, Guoqing Harry Xu |
Gerenuk: thin computation over big native data using speculative program transformation. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Seulbae Kim, Meng Xu 0001, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu 0002, Taesoo Kim |
Finding semantic bugs in file systems with an extensible fuzzing framework. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Edo Roth, Daniel Noble, Brett Hemenway Falk, Andreas Haeberlen |
Honeycrisp: large-scale differentially private aggregation without a trusted core. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chou, Tianyin Xu, Kaushik Veeraraghavan, Andrew Newell, Sonia Margulis, Lin Xiao, Pol Mauri Ruiz, Justin Meza, Kiryong Ha, Shruti Padmanabha, Kevin Cole, Dmitri Perelman |
Taiji: managing global user traffic for large-scale internet services at the edge. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihao Jia, Oded Padon, James Thomas 0003, Todd Warszawski, Matei Zaharia, Alex Aiken |
TASO: optimizing deep learning computation with automatic generation of graph substitutions. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lazar, Yossi Gilad, Nickolai Zeldovich |
Yodel: strong metadata security for voice calls. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Baptiste Lepers, Oana Balmau, Karan Gupta, Willy Zwaenepoel |
KVell: the design and implementation of a fast persistent key-value store. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Marty, Marc de Kruijf, Jacob Adriaens, Christopher Alfeld, Sean Bauer, Carlo Contavalli, Michael Dalton, Nandita Dukkipati, William C. Evans, Steve D. Gribble, Nicholas Kidd, Roman Kononov, Gautam Kumar 0001, Carl Mauer, Emily Musick, Lena E. Olson, Erik Rubow, Michael Ryan, Kevin Springborn, Paul Turner, Valas Valancius, Xi Wang, Amin Vahdat |
Snap: a microkernel approach to host networking. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah |
I4: incremental inference of inductive invariants for verification of distributed protocols. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mo Zou, Haoran Ding, Dong Du 0003, Ming Fu, Ronghui Gu, Haibo Chen 0001 |
Using concurrent relational logic with helpers for verifying the AtomFS file system. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingkai Dong 0002, Heng Bu, Jifei Yi, Benchao Dong, Haibo Chen 0001 |
Performance and protection in the ZoFS user-space NVM file system. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoumik Palkar, Matei Zaharia |
Optimizing data-intensive computations in existing libraries with split annotations. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianzheng Dou, Peter M. Chen, Jason Flinn |
ShortCut: accelerating mostly-deterministic code regions. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Lind, Oded Naor, Ittay Eyal, Florian Kelbert, Emin Gün Sirer, Peter R. Pietzuch |
Teechain: a secure payment network with asynchronous blockchain access. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang (Jenny) Ren, Kirk Rodrigues, Luyuan Chen, Juan Camilo Vega, Michael Stumm, Ding Yuan 0004 |
An analysis of performance evolution of Linux's core operations. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Tappan Morris, Nickolai Zeldovich |
Notary: a device for secure transaction approval. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Lu 0009, Chen Liu, Lian Li 0002, Xiaobing Feng 0002, Feng Tan, Jun Yang, Liang You |
CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Lécuyer, Riley Spahn, Kiran Vodrahalli, Roxana Geambasu, Daniel Hsu 0001 |
Privacy accounting and quality control in the sage differentially private ML platform. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack Kosaian, K. V. Rashmi, Shivaram Venkataraman |
Parity models: erasure-coded resilience for prediction serving systems. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Wang, John Liagouris, Robert Nishihara, Philipp Moritz, Ujval Misra, Alexey Tumanov, Ion Stoica |
Lineage stash: fault tolerance off the critical path. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Remzi Can Aksoy, Manos Kapritsos |
Aegean: replication beyond the client-server model. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Narayanan, Aaron Harlap, Amar Phanishayee, Vivek Seshadri, Nikhil R. Devanur, Gregory R. Ganger, Phillip B. Gibbons, Matei Zaharia |
PipeDream: generalized pipeline parallelism for DNN training. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea |
Verifying software network functions with no verification expertise. |
SOSP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, Nickolai Zeldovich |
Stadium: A Distributed Metadata-Private Messaging System. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shivaram Venkataraman, Aurojit Panda, Kay Ousterhout, Michael Armbrust, Ali Ghodsi 0002, Michael J. Franklin, Benjamin Recht, Ion Stoica |
Drizzle: Fast and Adaptable Stream Processing at Scale. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Shalev, Idit Keidar, Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda |
WatchIT: Who Watches Your IT Guy? |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, Yongqiang Xiong, Andrew Putnam, Enhong Chen, Lintao Zhang |
KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Zhao, Kirk Rodrigues, Yu Luo 0006, Michael Stumm, Ding Yuan 0004, Yuanyuan Zhou 0001 |
Log20: Fully Automated Optimal Placement of Log Printing Statements under Specified Overhead Threshold. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongqiang Harry Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan |
CrystalNet: Faithfully Emulating Large Production Networks. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier |
NEVE: Nested Virtualization Extensions for ARM. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Jin 0008, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica |
NetCache: Balancing Key-Value Stores with Fast In-Network Caching. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nitin Agrawal 0001, Ashish Vulimiri |
Low-Latency Analytics on Colossal Data Streams with SummaryStore. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Filipe Manco, Costin Lupu, Florian Schmidt 0002, Jose Mendes, Simon Kuenzer, Sumit Sati, Kenichi Yasukata, Costin Raiciu, Felipe Huici |
My VM is Lighter (and Safer) than your Container. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kay Ousterhout, Christopher Canel, Sylvia Ratnasamy, Scott Shenker |
Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Oliverio, Kaveh Razavi, Herbert Bos, Cristiano Giuffrida |
Secure Page Fusion with VUsion: https: //www.vusec.net/projects/VUsion. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Xu 0012, Lu Zhang, Amir Saman Memaripour, Akshatha Gangadharaiah, Amit Borase, Tamires Brito Da Silva, Steven Swanson, Andy Rudoff |
NOVA-Fortis: A Fault-Tolerant Non-Volatile Main Memory File System. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Alexander Levis |
Multiprogramming a 64kB Computer Safely and Efficiently. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Yeh Tsai, Yiying Zhang 0005 |
LITE Kernel RDMA Support for Datacenter Applications. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunhao Zhang, Rong Chen 0001, Haibo Chen 0001 |
Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | George Prekas, Marios Kogias, Edouard Bugnion |
ZygOS: Achieving Low Tail Latency for Microsecond-scale Networked Tasks. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28-31, 2017 |
SOSP |
2017 |
DBLP BibTeX RDF |
|
| 1 | Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana |
DeepXplore: Automated Whitebox Testing of Deep Learning Systems. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pandian Raju, Rohan Kadekodi, Vijay Chidambaram, Ittai Abraham |
PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Cortez, Anand Bonde, Alexandre Muzio, Mark Russinovich, Marcus Fontoura, Ricardo Bianchini |
Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jialin Li 0001, Ellis Michael, Dan R. K. Ports |
Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak |
Optimizing Big-Data Queries Using Program Synthesis. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld |
Prochlo: Strong Privacy for Analytics in the Crowd. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Srivatsa S. Bhat, Rasha Eqbal, Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich |
Scaling a file system to many cores using an operation log. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Huang, Petchean Ang, Peter Knowles, Tomasz Nykiel, Iaroslav Tverdokhlib, Amit Yajurvedi, Paul Dapolito IV, Xifan Yan, Maxim Bykov, Chuen Liang, Mohit Talwar, Abhishek Mathur, Sachin Kulkarni, Matthew Burke 0001, Wyatt Lloyd |
SVE: Distributed Video Processing at Facebook Scale. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingzhe Hao, Huaicheng Li, Michael Hao Tong, Chrisma Pakha, Riza O. Suminto, Cesar A. Stuardo, Andrew A. Chien, Haryadi S. Gunawi |
MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chinmay Kulkarni 0002, Aniraj Kesavan, Tian Zhang 0005, Robert Ricci, Ryan Stutsman |
Rocksteady: Fast Migration for Low-latency In-memory Storage. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Haogang Chen 0001, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
Verifying a high-performance crash-safe file system using a tree specification. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang 0001, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang 0005 |
Hyperkernel: Push-Button Verification of an OS Kernel. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongle Zhang, Serguei Makarov, Xiang Ren 0003, David Lion, Ding Yuan 0004 |
Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining Approach. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, Hongqiang Harry Liu |
Automatically Repairing Network Control Planes Using an Abstract Representation. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich |
Algorand: Scaling Byzantine Agreements for Cryptocurrencies. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sepideh Roghanchi, Jakob Eriksson, Nilanjana Basu |
ffwd: delegation is (much) faster than you think. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Kaldor, Jonathan Mace, Michal Bejda, Edison Gao, Wiktor Kuropatwa, Joe O'Neill, Kian Win Ong, Bill Schaller, Pingjia Shan, Brendan Viscomi, Vinod Venkataraman, Kaushik Veeraraghavan, Yee Jiun Song |
Canopy: An End-to-End Performance Tracing And Analysis System. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno |
Komodo: Using verification to disentangle secure-enclave hardware from software. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu 0007 |
Lazy Diagnosis of In-Production Concurrency Bugs. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng Tan 0005, Lingfan Yu, Joshua B. Leners, Michael Walfish |
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter 0001, Emmett Witchel, Thomas E. Anderson |
Strata: A Cross Media File System. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford |
Atom: Horizontally Scaling Strong Anonymity. |
SOSP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang |
Paxos made transparent. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingda Wei, Jiaxin Shi, Yanzhe Chen, Rong Chen 0001, Haibo Chen 0001 |
Fast in-memory transaction processing using RDMA and HTM. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea |
Failure sketching: a technique for automated root cause diagnosis of in-production failures. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoumik Palkar, Chang Lan, Sangjin Han, Keon Jang, Aurojit Panda, Sylvia Ratnasamy, Luigi Rizzo, Scott Shenker |
E2: a framework for NFV applications. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz |
Parallelizing user-defined aggregations using symbolic execution. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Collin Lee, Seo Jin Park, Ankita Kejriwal, Satoshi Matsushita, John K. Ousterhout |
Implementing linearizability at large scale and low latency. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, Taesoo Kim |
Cross-checking semantic correctness: the case of finding file system bugs. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Hoffmann |
JouleGuard: energy guarantees for approximate applications. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Anirudh Badam, Ranveer Chandra, Jon Dutra, Anthony Ferrese, Steve Hodges 0001, Pan Hu 0003, Julia Meinershagen, Thomas Moscibroda, Bodhi Priyantha, Evangelia D. Skiani |
Software defined batteries. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos K. Aguilera, Joshua B. Leners, Michael Walfish |
Yesquel: scalable sql storage for web applications. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Amitabha Roy 0002, Laurent Bindschaedler, Jasmina Malicevic, Willy Zwaenepoel |
Chaos: scale-out graph processing from secondary storage. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chia-che Tsai, Yang Zhan 0001, Jayashree Reddy, Yizheng Jiao, Tao Zhang 0045, Donald E. Porter |
How to get more value from your file system directory cache. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Fang 0003, Khanh Nguyen 0001, Guoqing Xu 0001, Brian Demsky, Shan Lu 0001 |
Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill |
IronFleet: proving practical distributed systems correct. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos H. C. Teixeira, Alexandre J. Fonseca, Marco Serafini, Georgos Siganos, Mohammed J. Zaki, Ashraf Aboulnaga |
Arabesque: a system for distributed graph mining. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Mace, Ryan Roelke, Rodrigo Fonseca |
Pivot tracing: dynamic causal monitoring for distributed systems. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Split-level I/O scheduling. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Matveev, Nir Shavit, Pascal Felber, Patrick Marlier |
Read-log-update: a lightweight synchronization mechanism for concurrent programming. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene Zhang, Naveen Kr. Sharma, Adriana Szekeres, Arvind Krishnamurthy, Dan R. K. Ports |
Building consistent transactions with inconsistent replication. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Lentz, James Litton, Bobby Bhattacharjee |
Drowsy power management. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 779 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license