Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sosp/sosp2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/sosp/AgrawalV17,
author = {Nitin Agrawal and
Ashish Vulimiri},
title = {Low-Latency Analytics on Colossal Data Streams with SummaryStore},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {647--664},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132758},
doi = {10.1145/3132747.3132758},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/AgrawalV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BhatECKZ17,
author = {Srivatsa S. Bhat and
Rasha Eqbal and
Austin T. Clements and
M. Frans Kaashoek and
Nickolai Zeldovich},
title = {Scaling a file system to many cores using an operation log},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {69--86},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132779},
doi = {10.1145/3132747.3132779},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BhatECKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BittauEMMRLRKTS17,
author = {Andrea Bittau and
{\'{U}}lfar Erlingsson and
Petros Maniatis and
Ilya Mironov and
Ananth Raghunathan and
David Lie and
Mitch Rudominer and
Ushasree Kode and
Julien Tinn{\'{e}}s and
Bernhard Seefeld},
title = {Prochlo: Strong Privacy for Analytics in the Crowd},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {441--459},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132769},
doi = {10.1145/3132747.3132769},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BittauEMMRLRKTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ChenCKWICKZ17,
author = {Haogang Chen and
Tej Chajed and
Alex Konradi and
Stephanie Wang and
Atalay Mert Ileri and
Adam Chlipala and
M. Frans Kaashoek and
Nickolai Zeldovich},
title = {Verifying a high-performance crash-safe file system using a tree specification},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {270--286},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132776},
doi = {10.1145/3132747.3132776},
timestamp = {Tue, 16 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/ChenCKWICKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CortezBMRFB17,
author = {Eli Cortez and
Anand Bonde and
Alexandre Muzio and
Mark Russinovich and
Marcus Fontoura and
Ricardo Bianchini},
title = {Resource Central: Understanding and Predicting Workloads for Improved
Resource Management in Large Cloud Platforms},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {153--167},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132772},
doi = {10.1145/3132747.3132772},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CortezBMRFB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/FerraiuoloBHP17,
author = {Andrew Ferraiuolo and
Andrew Baumann and
Chris Hawblitzel and
Bryan Parno},
title = {Komodo: Using verification to disentangle secure-enclave hardware
from software},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {287--305},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132782},
doi = {10.1145/3132747.3132782},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/FerraiuoloBHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Gember-Jacobson17,
author = {Aaron Gember{-}Jacobson and
Aditya Akella and
Ratul Mahajan and
Hongqiang Harry Liu},
title = {Automatically Repairing Network Control Planes Using an Abstract Representation},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {359--373},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132753},
doi = {10.1145/3132747.3132753},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Gember-Jacobson17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/GiladHMVZ17,
author = {Yossi Gilad and
Rotem Hemo and
Silvio Micali and
Georgios Vlachos and
Nickolai Zeldovich},
title = {Algorand: Scaling Byzantine Agreements for Cryptocurrencies},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {51--68},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132757},
doi = {10.1145/3132747.3132757},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/GiladHMVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HaoLTPSSCG17,
author = {Mingzhe Hao and
Huaicheng Li and
Michael Hao Tong and
Chrisma Pakha and
Riza O. Suminto and
Cesar A. Stuardo and
Andrew A. Chien and
Haryadi S. Gunawi},
title = {MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting
SLO-Aware {OS} Interface},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {168--183},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132774},
doi = {10.1145/3132747.3132774},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/HaoLTPSSCG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HuangAKNTYDYBLT17,
author = {Qi Huang and
Petchean Ang and
Peter Knowles and
Tomasz Nykiel and
Iaroslav Tverdokhlib and
Amit Yajurvedi and
Paul Dapolito IV and
Xifan Yan and
Maxim Bykov and
Chuen Liang and
Mohit Talwar and
Abhishek Mathur and
Sachin Kulkarni and
Matthew Burke and
Wyatt Lloyd},
title = {{SVE:} Distributed Video Processing at Facebook Scale},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {87--103},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132775},
doi = {10.1145/3132747.3132775},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/HuangAKNTYDYBLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/JinLZSLFKS17,
author = {Xin Jin and
Xiaozhou Li and
Haoyu Zhang and
Robert Soul{\'{e}} and
Jeongkeun Lee and
Nate Foster and
Changhoon Kim and
Ion Stoica},
title = {NetCache: Balancing Key-Value Stores with Fast In-Network Caching},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {121--136},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132764},
doi = {10.1145/3132747.3132764},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/JinLZSLFKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KaldorMBGKOOSSV17,
author = {Jonathan Kaldor and
Jonathan Mace and
Michal Bejda and
Edison Gao and
Wiktor Kuropatwa and
Joe O'Neill and
Kian Win Ong and
Bill Schaller and
Pingjia Shan and
Brendan Viscomi and
Vinod Venkataraman and
Kaushik Veeraraghavan and
Yee Jiun Song},
title = {Canopy: An End-to-End Performance Tracing And Analysis System},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {34--50},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132749},
doi = {10.1145/3132747.3132749},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KaldorMBGKOOSSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KasikciCGN17,
author = {Baris Kasikci and
Weidong Cui and
Xinyang Ge and
Ben Niu},
title = {Lazy Diagnosis of In-Production Concurrency Bugs},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {582--598},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132767},
doi = {10.1145/3132747.3132767},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KasikciCGN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KulkarniKZRS17,
author = {Chinmay Kulkarni and
Aniraj Kesavan and
Tian Zhang and
Robert Ricci and
Ryan Stutsman},
title = {Rocksteady: Fast Migration for Low-latency In-memory Storage},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {390--405},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132784},
doi = {10.1145/3132747.3132784},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/KulkarniKZRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KwonCDF17,
author = {Albert Kwon and
Henry Corrigan{-}Gibbs and
Srinivas Devadas and
Bryan Ford},
title = {Atom: Horizontally Scaling Strong Anonymity},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {406--422},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132755},
doi = {10.1145/3132747.3132755},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KwonCDF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KwonFHPWA17,
author = {Youngjin Kwon and
Henrique Fingler and
Tyler Hunt and
Simon Peter and
Emmett Witchel and
Thomas E. Anderson},
title = {Strata: {A} Cross Media File System},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {460--477},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132770},
doi = {10.1145/3132747.3132770},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KwonFHPWA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LevyCGGPDL17,
author = {Amit Levy and
Bradford Campbell and
Branden Ghena and
Daniel B. Giffin and
Pat Pannuto and
Prabal Dutta and
Philip Alexander Levis},
title = {Multiprogramming a 64kB Computer Safely and Efficiently},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {234--251},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132786},
doi = {10.1145/3132747.3132786},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/LevyCGGPDL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LiMP17,
author = {Jialin Li and
Ellis Michael and
Dan R. K. Ports},
title = {Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency
Control},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {104--120},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132751},
doi = {10.1145/3132747.3132751},
timestamp = {Thu, 22 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/LiMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LiRXLXPCZ17,
author = {Bojie Li and
Zhenyuan Ruan and
Wencong Xiao and
Yuanwei Lu and
Yongqiang Xiong and
Andrew Putnam and
Enhong Chen and
Lintao Zhang},
title = {KV-Direct: High-Performance In-Memory Key-Value Store with Programmable
{NIC}},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {137--152},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132756},
doi = {10.1145/3132747.3132756},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/LiRXLXPCZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LimDLNZ17,
author = {Jin Tack Lim and
Christoffer Dall and
Shih{-}Wei Li and
Jason Nieh and
Marc Zyngier},
title = {{NEVE:} Nested Virtualization Extensions for {ARM}},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {201--217},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132754},
doi = {10.1145/3132747.3132754},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/LimDLNZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LiuZPCTLRLY17,
author = {Hongqiang Harry Liu and
Yibo Zhu and
Jitu Padhye and
Jiaxin Cao and
Sri Tallapragada and
Nuno P. Lopes and
Andrey Rybalchenko and
Guohan Lu and
Lihua Yuan},
title = {CrystalNet: Faithfully Emulating Large Production Networks},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {599--613},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132759},
doi = {10.1145/3132747.3132759},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/LiuZPCTLRLY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/MancoLSMKSYRH17,
author = {Filipe Manco and
Costin Lupu and
Florian Schmidt and
Jose Mendes and
Simon Kuenzer and
Sumit Sati and
Kenichi Yasukata and
Costin Raiciu and
Felipe Huici},
title = {My {VM} is Lighter (and Safer) than your Container},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {218--233},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132763},
doi = {10.1145/3132747.3132763},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/MancoLSMKSYRH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/NelsonSZJBTW17,
author = {Luke Nelson and
Helgi Sigurbjarnarson and
Kaiyuan Zhang and
Dylan Johnson and
James Bornholt and
Emina Torlak and
Xi Wang},
title = {Hyperkernel: Push-Button Verification of an {OS} Kernel},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {252--269},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132748},
doi = {10.1145/3132747.3132748},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/NelsonSZJBTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/OliverioRBG17,
author = {Marco Oliverio and
Kaveh Razavi and
Herbert Bos and
Cristiano Giuffrida},
title = {Secure Page Fusion with VUsion: https: //www.vusec.net/projects/VUsion},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {531--545},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132781},
doi = {10.1145/3132747.3132781},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/OliverioRBG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/OusterhoutCRS17,
author = {Kay Ousterhout and
Christopher Canel and
Sylvia Ratnasamy and
Scott Shenker},
title = {Monotasks: Architecting for Performance Clarity in Data Analytics
Frameworks},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {184--200},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132766},
doi = {10.1145/3132747.3132766},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/OusterhoutCRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/PeiCYJ17,
author = {Kexin Pei and
Yinzhi Cao and
Junfeng Yang and
Suman Jana},
title = {DeepXplore: Automated Whitebox Testing of Deep Learning Systems},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {1--18},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132785},
doi = {10.1145/3132747.3132785},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/PeiCYJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/PrekasKB17,
author = {George Prekas and
Marios Kogias and
Edouard Bugnion},
title = {ZygOS: Achieving Low Tail Latency for Microsecond-scale Networked
Tasks},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {325--341},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132780},
doi = {10.1145/3132747.3132780},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/PrekasKB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/RajuKCA17,
author = {Pandian Raju and
Rohan Kadekodi and
Vijay Chidambaram and
Ittai Abraham},
title = {PebblesDB: Building Key-Value Stores using Fragmented Log-Structured
Merge Trees},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {497--514},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132765},
doi = {10.1145/3132747.3132765},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/RajuKCA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/RoghanchiEB17,
author = {Sepideh Roghanchi and
Jakob Eriksson and
Nilanjana Basu},
title = {ffwd: delegation is (much) faster than you think},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {342--358},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132771},
doi = {10.1145/3132747.3132771},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/RoghanchiEB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SchlaipferRLS17,
author = {Matthias Schlaipfer and
Kaushik Rajan and
Akash Lal and
Malavika Samak},
title = {Optimizing Big-Data Queries Using Program Synthesis},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {631--646},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132773},
doi = {10.1145/3132747.3132773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SchlaipferRLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ShalevKWMB17,
author = {Noam Shalev and
Idit Keidar and
Yaron Weinsberg and
Yosef Moatti and
Elad Ben{-}Yehuda},
title = {WatchIT: Who Watches Your {IT} Guy?},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {515--530},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132752},
doi = {10.1145/3132747.3132752},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ShalevKWMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/TanYLW17,
author = {Cheng Tan and
Lingfan Yu and
Joshua B. Leners and
Michael Walfish},
title = {The Efficient Server Audit Problem, Deduplicated Re-execution, and
the Web},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {546--564},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132760},
doi = {10.1145/3132747.3132760},
timestamp = {Sun, 26 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/TanYLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/TsaiZ17,
author = {Shin{-}Yeh Tsai and
Yiying Zhang},
title = {{LITE} Kernel {RDMA} Support for Datacenter Applications},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {306--324},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132762},
doi = {10.1145/3132747.3132762},
timestamp = {Wed, 05 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/TsaiZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/TyagiGLZZ17,
author = {Nirvan Tyagi and
Yossi Gilad and
Derek Leung and
Matei Zaharia and
Nickolai Zeldovich},
title = {Stadium: {A} Distributed Metadata-Private Messaging System},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {423--440},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132783},
doi = {10.1145/3132747.3132783},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/TyagiGLZZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/VenkataramanPOA17,
author = {Shivaram Venkataraman and
Aurojit Panda and
Kay Ousterhout and
Michael Armbrust and
Ali Ghodsi and
Michael J. Franklin and
Benjamin Recht and
Ion Stoica},
title = {Drizzle: Fast and Adaptable Stream Processing at Scale},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {374--389},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132750},
doi = {10.1145/3132747.3132750},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/VenkataramanPOA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/XuZMGBSSR17,
author = {Jian Xu and
Lu Zhang and
Amir Saman Memaripour and
Akshatha Gangadharaiah and
Amit Borase and
Tamires Brito Da Silva and
Steven Swanson and
Andy Rudoff},
title = {NOVA-Fortis: {A} Fault-Tolerant Non-Volatile Main Memory File System},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {478--496},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132761},
doi = {10.1145/3132747.3132761},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/XuZMGBSSR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ZhangCC17,
author = {Yunhao Zhang and
Rong Chen and
Haibo Chen},
title = {Sub-millisecond Stateful Stream Querying over Fast-evolving Linked
Data},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {614--630},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132777},
doi = {10.1145/3132747.3132777},
timestamp = {Thu, 19 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ZhangCC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ZhangMRLY17,
author = {Yongle Zhang and
Serguei Makarov and
Xiang Ren and
David Lion and
Ding Yuan},
title = {Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems
using the Event Chaining Approach},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {19--33},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132768},
doi = {10.1145/3132747.3132768},
timestamp = {Fri, 04 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ZhangMRLY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ZhaoRLSYZ17,
author = {Xu Zhao and
Kirk Rodrigues and
Yu Luo and
Michael Stumm and
Ding Yuan and
Yuanyuan Zhou},
title = {Log20: Fully Automated Optimal Placement of Log Printing Statements
under Specified Overhead Threshold},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {565--581},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132778},
doi = {10.1145/3132747.3132778},
timestamp = {Wed, 27 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ZhaoRLSYZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2017,
title = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3132747},
isbn = {978-1-4503-5085-3},
timestamp = {Thu, 19 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-04 18:36 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
