|
|
|
|
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 | Haogang Chen 0001, Daniel Ziegler 0002, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
Using Crash Hoare logic for certifying the FSCQ file system.  |
SOSP  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlie Curtsinger, Emery D. Berger |
Coz: finding code that counts with causal profiling. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan L. Miller, Steven Hand 0001 (eds.) |
Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015 |
SOSP |
2015 |
DBLP BibTeX RDF |
|
| 1 | Chao Xie, Chunzhi Su, Cody Littley, Lorenzo Alvisi, Manos Kapritsos, Yang Wang 0009 |
High-performance ACID via modular concurrency control. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich |
Vuvuzela: scalable private messaging resistant to traffic analysis. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | George Amvrosiadis, Angela Demke Brown, Ashvin Goel |
Opportunistic storage maintenance. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunqiang Tang, Thawan Kooburat, Pradeep Venkatachalam, Akshay Chander, Zhe Wen, Aravind Narayanan, Patrick Dowell, Robert Karl |
Holistic configuration management at Facebook. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro 0001 |
No compromises: distributed transactions with consistency, availability, and performance. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadav Amit, Dan Tsafrir, Assaf Schuster, Ahmad Ayoub, Eran Shlomo |
Virtual CPU validation. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Danciu, Andreas Brunnert, Helmut Krcmar |
Towards Performance Awareness in Java EE Development Environments. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Christian Wulf, Nils Christian Ehmke, Wilhelm Hasselbring |
Toward a Generic and Concurrency-Aware Pipes & Filters Framework. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Felix Willnecker, Andreas Brunnert, Helmut Krcmar |
Predicting Energy Consumption by Extending the Palladio Component Model. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Christian Klaussner, Sebastian Lehrig |
Using Java EE ProtoCom for SAP HANA Cloud. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Misha Strittmatter, Michael Langhammer |
Identifying Semantically Cohesive Modules within the Palladio Meta-Model. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marigianna Skouradaki, Vincenzo Ferme, Cesare Pautasso, Dieter Roller 0001, Frank Leymann |
Benchmarking Workflow Management Systems. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Steffen Becker 0001, Wilhelm Hasselbring, André van Hoorn, Samuel Kounev, Ralf H. Reussner (eds.) |
Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014 |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | |
Preface. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Dusan Okanovic, Milan Vidakovic |
Evaluation of Alternative Instrumentation Frameworks. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Lehrig, Matthias Becker 0001 |
Approaching the Cloud: Using Palladio for Scalability, Elasticity, and Efficiency Analyses. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Andreas Brunnert, Stefan Neubig, Helmut Krcmar |
Evaluating the Prediction Accuracy of Generated Performance Models in Up- and Downscaling Scenarios. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Jóakim von Kistowski, Nikolas Herbst, Samuel Kounev |
Using and Extending LIMBO for the Descriptive Modeling of Arrival Behaviors. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Christian Stier, Henning Groenda, Anne Koziolek |
Towards Modeling and Analysis of Power Consumption of Self-Adaptive Software Systems in Palladio. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Werner Dirlewanger |
The DIN/ISO Definition and a Measurement Procedure of SW-Efficiency. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Jan Waller, Florian Fittkau, Wilhelm Hasselbring |
Application Performance Monitoring: Trade-Off between Overhead Reduction and Maintainability. |
SoSP |
2014 |
DBLP BibTeX RDF |
|
| 1 | 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. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Piyus Kedia, Sorav Bansal |
Fast dynamic binary translation for the kernel. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish |
Verifying computations with state. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahesh Balakrishnan 0001, Dahlia Malkhi, Ted Wobber, Ming Wu 0007, Vijayan Prabhakaran, Michael Wei, John D. Davis, Sriram Rao, Tao Zou 0002, Aviad Zuck |
Tango: distributed data structures over a shared log. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald Nguyen, Andrew Lenharth, Keshav Pingali |
A lightweight infrastructure for graph analytics. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kay Ousterhout, Patrick Wendell, Matei Zaharia, Ion Stoica |
Sparrow: distributed, low latency scheduling. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, Samuel Madden 0001 |
Speedy transactions in multicore in-memory databases. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Rossbach, Yuan Yu, Jon Currey, Jean-Philippe Martin, Dennis Fetterly |
Dandelion: a compiler and runtime for heterogeneous systems. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Optimistic crash consistency. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Wang 0005, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama |
Towards optimization-safe systems: analyzing the impact of undefined behavior. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Baris Kasikci, Cristian Zamfir, George Candea |
RaceMob: crowdsourced data race detection. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Gordon Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham 0001, Martín Abadi |
Naiad: a timely dataflow system. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Amitabha Roy 0002, Ivo Mihailovic, Willy Zwaenepoel |
X-Stream: edge-centric graph processing using streaming partitions. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kaminsky, Mike Dahlin (eds.) |
ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013 |
SOSP |
2013 |
DBLP BibTeX RDF |
|
| 1 | Iulian Moraru, David G. Andersen, Michael Kaminsky |
There is more consensus in Egalitarian parliaments. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianyin Xu, Jiaqi Zhang, Peng Huang 0005, Jing Zheng, Tianwei Sheng, Ding Yuan 0004, Yuanyuan Zhou 0001, Shankar Pasupathy |
Do not blame users for misconfigurations. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan 0001, Marcos K. Aguilera, Hussam Abu-Libdeh |
Consistency-based service level agreements for cloud storage. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matei Zaharia, Tathagata Das, Haoyuan Li 0001, Timothy Hunter, Scott Shenker, Ion Stoica |
Discretized streams: fault-tolerant streaming computation at scale. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Elphinstone, Gernot Heiser |
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert Tappan Morris, Eddie Kohler |
The scalable commutativity rule: designing scalable software for multicore processors. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Wu 0003, Michael Butkiewicz, Dorian Jean Perkins, Ethan Katz-Bassett, Harsha V. Madhyastha |
SPANStore: cost-effective geo-replicated storage spanning multiple cloud services. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramesh Chandra, Taesoo Kim, Nickolai Zeldovich |
Asynchronous intrusion recovery for interconnected web services. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali José Mashtizadeh, Andrea Bittau, Yifeng Frank Huang, David Mazières |
Replication, history, and grafting in the Ori file system. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel Coburn, Trevor Bunker, Meir Schwarz, Rajesh Gupta 0001, Steven Swanson |
From ARIES to MARS: transaction support for next-generation, solid-state drives. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lenin Ravindranath, Jitendra Padhye, Ratul Mahajan, Hari Balakrishnan |
Timecard: controlling user-perceived delays in server-based mobile applications. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruslan Nikolaev 0001, Godmar Back |
VirtuOS: an operating system with kernel virtualization. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor David, Rachid Guerraoui, Vasileios Trigonakis |
Everything you always wanted to know about synchronization but were afraid to ask. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Zhang, Russell Power, Siyuan Zhou, Yair Sovran, Marcos K. Aguilera, Jinyang Li 0001 |
Transaction chains: achieving serializability with low latency in geo-distributed storage systems. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Zev Weiss, Tyler Harter, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
ROOT: replaying multithreaded traces with resource-oriented ordering. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li |
An analysis of Facebook photo caching. |
SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Huayang Guo, Ming Wu 0007, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang |
Practical software model checking via dynamic interface reduction. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raluca A. Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan |
CryptDB: protecting confidentiality with encrypted query processing. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ted Wobber, Peter Druschel (eds.) |
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011, Cascais, Portugal, October 23-26, 2011 |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Andrus, Christoffer Dall, Alexander Van't Hof, Oren Laadan, Jason Nieh |
Cells: a virtual mobile smartphone architecture. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tongping Liu, Charlie Curtsinger, Emery D. Berger |
Dthreads: efficient deterministic multithreading. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanpei Chen, Kiran Srinivasan, Garth R. Goodson, Randy H. Katz |
Design implications for enterprise storage systems via multi-dimensional trace analysis. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oren Laadan, Nicolas Viennot, Chia-che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh |
Pervasive detection of process races in deployed systems. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos Kawazoe Aguilera, Michael Walfish |
Detecting failures in distributed systems with the Falcon spy network. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider |
Logical attestation: an authorization architecture for trustworthy computing. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yandong Mao, Haogang Chen 0001, Dong Zhou, Xi Wang 0005, Nickolai Zeldovich, M. Frans Kaashoek |
Software fault isolation with API integrity and multi-principal modules. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Rossbach, Jon Currey, Mark Silberstein, Baishakhi Ray, Emmett Witchel |
PTask: operating system abstractions to manage GPUs as compute devices. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramesh Chandra, Taesoo Kim, Meelap Shah, Neha Narula, Nickolai Zeldovich |
Intrusion recovery for database-backed web applications. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yair Sovran, Russell Power, Marcos K. Aguilera, Jinyang Li 0001 |
Transactional storage for geo-replicated systems. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Ongaro, Stephen M. Rumble, Ryan Stutsman, John K. Ousterhout, Mendel Rosenblum |
Fast crash recovery in RAMCloud. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Atul Adya, Gregory Cooper, Daniel Myers, Michael Piatek |
Thialfi: a client notification service for internet-scale applications. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyeontaek Lim, Bin Fan, David G. Andersen, Michael Kaminsky |
SILT: a memory-efficient, high-performance key-value store. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuoning Yin, Xiao Ma 0014, Jing Zheng, Yuanyuan Zhou 0001, Lakshmi N. Bairavasundaram, Shankar Pasupathy |
An empirical study on configuration errors in commercial and open source systems. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brad Calder, Ju Wang 0010, Aaron Ogus, Niranjan Nilakantan, Arild Skjolsvold, Sam McKelvie, Yikang Xu, Shashwat Srivastav, Jiesheng Wu, Huseyin Simitci, Jaidev Haridas, Chakravarthy Uddaraju, Hemal Khatri, Andrew Edwards, Vaman Bedekar, Shane Mainali, Rafay Abbasi, Arpit Agarwal, Mian Fahim ul Haq, Muhammad Ikram ul Haq, Deepali Bhardwaj, Sowmya Dayanand, Anitha Adusumilli, Marvin McNett, Sriram Sankaran, Kavitha Manivannan, Leonidas Rigas |
Windows Azure Storage: a highly available cloud storage service with strong consistency. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Glendenning, Ivan Beschastnikh, Arvind Krishnamurthy, Thomas E. Anderson |
Scalable consistency in Scatter. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James W. Mickens, Mohan Dhawan |
Atlantis: robust, extensible execution environments for web applications. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, David G. Andersen |
Don't settle for eventual: scalable causal consistency for wide-area storage with COPS. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Marcus Peinado, Simon Peter 0001, Mihai Budiu |
Fay: extensible distributed tracing from kernels to clusters. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Colp, Mihir Nanavati, Jun Zhu, William Aiello, George Coker, Tim Deegan, Peter A. Loscocco, Andrew Warfield |
Breaking up is hard to do: security and functionality in a commodity hypervisor. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengzhe Zhang, Jin Chen, Haibo Chen 0001, Binyu Zang |
CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
A file is not a file: understanding the I/O behavior of Apple desktop applications. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael P. Mesnier, Feng Chen 0005, Tian Luo, Jason B. Akers |
Differentiated storage services. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, Micah Sherr |
Secure network provenance. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang |
Efficient deterministic multithreading through schedule relaxation. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn, Satish Narayanasamy |
Detecting and surviving data races using complementary schedules. |
SOSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Yip, Xi Wang 0005, Nickolai Zeldovich, M. Frans Kaashoek |
Improving application security with data flow assertions. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
xss, security, privacy, web, python, php, sql injection |
| 1 | Soyeon Park, Yuanyuan Zhou 0001, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu 0001 |
PRES: probabilistic replay with execution sketching on multiprocessors. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
replay, concurrency bug |
| 1 | Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince R. Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt |
Debugging in the (very) large: ten years of implementation and experience. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
blue screen of death, minidump, statistics-based debugging, classifying, labeling, bucketing, error reports |
| 1 | Gautam Altekar, Ion Stoica |
ODR: output-deterministic replay for multicore debugging. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
debugging, multicore, inference, deterministic replay |
| 1 | Yuan Yu, Pradeep Kumar Gunda, Michael Isard |
Distributed aggregation for data-parallel computing: interfaces and implementations. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
concurrency, cloud computing, distributed programming |
| 1 | Asim Kadav, Matthew J. Renzelmann, Michael M. Swift |
Tolerating hardware device failures in software. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
reliability, debugging, code generation, recovery, device drivers |
| 1 | David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan |
FAWN: a fast array of wimpy nodes. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
performance, design, energy efficiency, measurement, cluster computing, flash |
| 1 | Jeff H. Perkins, Sunghun Kim 0001, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard |
Automatically patching errors in deployed software. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
self healing |
| 1 | Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang 0009, Lorenzo Alvisi, Michael Dahlin, Taylor Riché |
Upright cluster services. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
cluster services, reliability, byzantine fault tolerance |
| 1 | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
seL4: formal verification of an OS kernel. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
l4, sel4, microkernel, isabelle/hol |
| 1 | Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, Andrew V. Goldberg |
Quincy: fair scheduling for distributed computing clusters. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
cluster scheduling, dryad, network flow scheduling, mapreduce, fair scheduling |
| 1 | Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt |
Helios: heterogeneous multiprocessing with satellite kernels. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
operating systems, heterogeneous computing |
| 1 | Wei Xu 0012, Ling Huang, Armando Fox, David A. Patterson 0001, Michael I. Jordan |
Detecting large-scale system problems by mining console logs. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
console log analysis, monitoring, tracing, statistical learning, source code analysis, pca, problem detection |
| 1 | Yang Chen 0024, Omprakash Gnawali, Maria A. Kazandjieva, Philip Alexander Levis, John Regehr |
Surviving sensor network software faults. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
deputy, reboot, wireless sensor networks, reliability, kernel, tinyos, nesc |
| 1 | Jeanna Neefe Matthews, Thomas E. Anderson (eds.) |
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009 |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 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