|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 398 occurrences of 272 keywords
|
|
|
|
|
Results
Found 464 publication records. Showing 464 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | James Mickens, Mohan Dhawan |
Atlantis: robust, extensible execution environments for web applications.  |
SOSP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Úlfar Erlingsson, Marcus Peinado, Simon Peter, Mihai Budiu |
Fay: extensible distributed tracing from kernels to clusters.  |
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 | 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 | Tongping Liu, Charlie Curtsinger, Emery D. Berger |
Dthreads: efficient deterministic multithreading.  |
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 | 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 | Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang |
Practical software model checking via dynamic interface reduction.  |
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 | 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 | 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 | 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 BibTeX RDF |
|
| 1 | Yair Sovran, Russell Power, Marcos K. Aguilera, Jinyang Li |
Transactional storage for geo-replicated systems.  |
SOSP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang |
CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization.  |
SOSP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brad Calder, Ju Wang, 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 | Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang |
Efficient deterministic multithreading through schedule relaxation.  |
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 | Zuoning Yin, Xiao Ma, Jing Zheng, Yuanyuan Zhou, Lakshmi N. Bairavasundaram, Shankar Pasupathy |
An empirical study on configuration errors in commercial and open source systems.  |
SOSP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
Software fault isolation with API integrity and multi-principal modules.  |
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 | Ramesh Chandra, Taesoo Kim, Meelap Shah, Neha Narula, Nickolai Zeldovich |
Intrusion recovery for database-backed web applications.  |
SOSP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Colp, Mihir Nanavati, Jun Zhu, William Aiello, George Coker, Tim Deegan, Peter Loscocco, Andrew Warfield |
Breaking up is hard to do: security and functionality in a commodity hypervisor.  |
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 | Michael P. Mesnier, Feng Chen, 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 | 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 | 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 | Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn, Satish Narayanasamy |
Detecting and surviving data races using complementary schedules.  |
SOSP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black |
Fast byte-granularity software fault isolation.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
device drivers, isolation |
| 1 | Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang 0009, Lorenzo Alvisi, Michael Dahlin, Taylor Riche |
Upright cluster services.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
cluster services, reliability, byzantine fault tolerance |
| 1 | Gautam Altekar, Ion Stoica |
ODR: output-deterministic replay for multicore debugging.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
debugging, multicore, inference, deterministic replay |
| 1 | Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, Andrew Goldberg |
Quincy: fair scheduling for distributed computing clusters.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
cluster scheduling, dryad, network flow scheduling, mapreduce, fair scheduling |
| 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 | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser |
Automatic device driver synthesis with termite.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
domain-specific languages, device drivers, software synthesis, two-player games |
| 1 | Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee |
Better I/O through byte-addressable, persistent memory.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
performance, file systems, phase change memory |
| 1 | John Dunagan, Alice X. Zheng, Daniel R. Simon |
Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
identity snowball, machine learning, support vector machine, authentication, access control, combinatorial optimization, attack graph, sparsest cut |
| 1 | Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu |
PRES: probabilistic replay with execution sketching on multiprocessors.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
replay, concurrency bug |
| 1 | Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Levis, John Regehr |
Surviving sensor network software faults.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
deputy, reboot, wireless sensor networks, reliability, kernel, tinyos, nesc |
| 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 | Mike Mammarella, Shant Hovsepian, Eddie Kohler |
Modular data storage with Anvil.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
software architecture, databases, modular design |
| 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 BibTeX RDF |
|
| 1 | Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, Emmett Witchel |
Operating systems transactions.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
txos, operating systems, transactions, transactional memory, race conditions |
| 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 | Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers |
Fabric: a platform for secure distributed computation and storage.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
security, distributed systems, transactions, information flow |
| 1 | Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Timothy L. Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania |
The multikernel: a new OS architecture for scalable multicore systems.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
scalability, message passing, multicore processors |
| 1 | Wei Xu, Ling Huang, Armando Fox, David A. Patterson, 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 | Mihai Dobrescu, Norbert Egi, Katerina J. Argyraki, Byung-Gon Chun, Kevin R. Fall, Gianluca Iannaccone, Allan Knies, Maziar Manesh, Sylvia Ratnasamy |
RouteBricks: exploiting parallelism to scale software routers.  |
SOSP  |
2009 |
DBLP DOI BibTeX RDF |
software router, parallelism, multicore, programmability |
| 1 | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David 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 | Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg 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 | Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince 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 | Alexander Yip, Xi Wang, 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 | Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou |
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
variable correlation, concurrency bug, bug detection |
| 1 | Thomas C. Bressoud, M. Frans Kaashoek (eds.) |
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007  |
SOSP  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lin Tan, Ding Yuan, Gopal Krishna, Yuanyuan Zhou |
/*icomment: bugs or bad comments?*/.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
comment analysis, natural language processing for software engineering, programming rules and static analysis |
| 1 | Oren Laadan, Ricardo A. Baratto, Dan B. Phung, Shaya Potter, Jason Nieh |
DejaView: a personal virtual computer recorder.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
virtualization, desktop search |
| 1 | Christopher Frost, Mike Mammarella, Eddie Kohler, Andrew de los Reyes, Shant Hovsepian, Andrew Matsuoka, Lei Zhang |
Generalized file system dependencies.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
soft updates, dependencies, file systems, journaling |
| 1 | Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou |
Triage: diagnosing production run failures at the user's site.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
onsite, debugging, diagnosis |
| 1 | Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Bhandari Aditya, Emmett Witchel |
TxLinux: using and managing hardware transactional memory in an operating system.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
MetaTM, TxLinux, synchronization, operating systems, transactional memory, optimistic concurrency |
| 1 | Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng |
Secure web application via automatic partitioning.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
compilers, information flow, security policies |
| 1 | Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris |
Information flow control for standard OS abstractions.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
DIFC, decentralized information flow control, endpoints, system call interposition, web services, reference monitor |
| 1 | Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig |
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
code attestation, memory virtualization, hypervisor, code injection attacks, preventing, code integrity |
| 1 | Ramakrishna Kotla, Lorenzo Alvisi, Michael Dahlin, Allen Clement, Edmund L. Wong |
Zyzzyva: speculative byzantine fault tolerance.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
output commit, replication, speculative execution, byzantine fault tolerance |
| 1 | Ya-Yunn Su, Mona Attariyan, Jason Flinn |
AutoBash: improving configuration management with operating system causality analysis.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
configuration management, causality, speculative execution |
| 1 | Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden |
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
databases, byzantine fault tolerance, state machine replication |
| 1 | Marcos Kawazoe Aguilera, Arif Merchant, Mehul A. Shah, Alistair C. Veitch, Christos T. Karamanolis |
Sinfonia: a new paradigm for building scalable distributed systems.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed systems, scalability, transactions, shared memory, two-phase commit |
| 1 | Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz |
Attested append-only memory: making adversaries stick to their word.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
attested append-only memory, equivocation, replicated state machines, shared storage, byzantine-fault tolerance |
| 1 | Haryadi S. Gunawi, Vijayan Prabhakaran, Swetha Krishnan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Improving file system reliability with I/O shepherding.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
I/O shepherding, fault tolerance, reliability, storage |
| 1 | Olivier Crameri, Nikola Knezevic, Dejan Kostic, Ricardo Bianchini, Willy Zwaenepoel |
Staged deployment in mirage, an integrated software upgrade testing and distribution system.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
clustering of machines, staged software upgrade deployment, upgrade testing |
| 1 | Ripal Nathuji, Karsten Schwan |
VirtualPower: coordinated power management in virtualized enterprise systems.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
virtualization, power management |
| 1 | Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, Werner Vogels |
Dynamo: amazon's highly available key-value store.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
performance, reliability, scalability |
| 1 | Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David E. Culler, David Gay, Philip Levis |
Integrating concurrency control and energy management in device drivers.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
device driver architecture, concurrency, energy, tinyOS |
| 1 | Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado |
Bouncer: securing software by blocking bad input.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
precondition slicing, symbolic execution |
| 1 | Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Jackson |
Protection and communication abstractions for web browsers in MashupOS.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
multi-principal OS, security, communications, web, abstractions, protection, browser, same-origin policy |
| 1 | James Hendricks, Gregory R. Ganger, Michael K. Reiter |
Low-overhead byzantine fault-tolerant storage.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
byzantine fault-tolerant storage |
| 1 | Emre Kiciman, V. Benjamin Livshits |
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
software instrumentation, web applications, software monitoring |
| 1 | John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve |
Secure virtual architecture: a safe execution environment for commodity operating systems.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language |
| 1 | Andreas Haeberlen, Petr Kouznetsov, Peter Druschel |
PeerReview: practical accountability for distributed systems.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
distributed systems, fault detection, accountability, byzantine faults |
| 1 | Andrew Herbert, Kenneth P. Birman (eds.) |
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, October 23-26, 2005  |
SOSP  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Craig A. N. Soules, Gregory R. Ganger |
Connections: using context to enhance file search.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
file system search, successor models, context |
| 1 | Edmund B. Nightingale, Peter M. Chen, Jason Flinn |
Speculative execution in a distributed file system.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
causality, speculative execution, distributed file systems |
| 1 | Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie |
Fault-scalable Byzantine fault-tolerant services.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
fault-scalability, replicated state machines, services, quorums, byzantine fault-tolerance |
| 1 | Andrew S. Tanenbaum |
Keynote speech.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham |
Vigilante: end-to-end containment of internet worms.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
self-certifying alerts, data flow analysis, control flow analysis, worm containment |
| 1 | Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perrig, Leendert van Doorn, Pradeep K. Khosla |
Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
dynamic root of trust, self-check-summing code, software-based code attestation, verifiable code execution, rootkit detection |
| 1 | Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement, Michael Dahlin, Jean-Philippe Martin, Carl Porth |
BAR fault tolerance for cooperative services.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
peer to peer, game theory, byzantine fault tolerance, reliable systems |
| 1 | Ashvin Goel, Kenneth Po, Kamran Farhadi, Zheng Li, Eyal de Lara |
The taser intrusion recovery system.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
intrusion recovery, file systems, snapshots, intrusion analysis |
| 1 | Kenneth P. Birman |
Opening remarks.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou |
Rx: treating bugs as allergies - a safe method to survive software failures.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
reliability, availability, bug, software failure |
| 1 | Lars Eggert, Joseph D. Touch |
Idletime scheduling with preemption intervals.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
background processing, idletime scheduling, network scheduler, preemption interval, disk scheduler, resource scheduler, queuing |
| 1 | Michael Vrable, Justin Ma, Jay Chen, David Moore, Erik Vandekieft, Alex C. Snoeren, Geoffrey M. Voelker, Stefan Savage |
Scalability, fidelity, and containment in the potemkin virtual honeyfarm.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
honeyfarm, malware, honeypot, virtual machine monitor, copy-on-write |
| 1 | Ashlesha Joshi, Samuel T. King, George W. Dunlap, Peter M. Chen |
Detecting past and present intrusions through vulnerability-specific predicates.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
IntroVirt, virtual-machine introspection, virtual-machine replay, vulnerability-specific predicates, intrusion detection, semantic gap |
| 1 | Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica |
Implementing declarative overlays.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
dataflow engines, declarative overlays, executable pseudocode |
| 1 | Vijayan Prabhakaran, Lakshmi N. Bairavasundaram, Nitin Agrawal, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
IRON file systems.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
IRON file systems, block corruption, fail-partial failure model, latent sector errors, fault tolerance, reliability, redundancy, storage, internal, disks |
| 1 | Qingbo Zhu, Zhifeng Chen, Lin Tan, Yuanyuan Zhou, Kimberly Keeton, John Wilkes |
Hibernator: helping disk arrays sleep through the winter.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
storage system, energy management, disk array, performance guarantee, disk layout |
| 1 | Emmett Witchel, Junghwan Rhee, Krste Asanovic |
Mondrix: memory isolation for linux using mondriaan memory protection.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
fine-grained memory protection |
| 1 | Ricardo A. Baratto, Leonard N. Kim, Jason Nieh |
THINC: a virtual display architecture for thin-client computing.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
remote display, mobility, virtualization, thin-client computing |
| 1 | Yuan Yu, Tom Rodeheffer, Wei Chen |
RaceTrack: efficient detection of data race conditions via adaptive tracking.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
virtual machine instrumentation, race detection |
| 1 | Ira Cohen, Steve Zhang, Moisés Goldszmidt, Julie Symons, Terence Kelly, Armando Fox |
Capturing, indexing, clustering, and retrieving system history.  |
SOSP  |
2005 |
DBLP DOI BibTeX RDF |
performance objectives, clustering, information retrieval, bayesian networks, signatures |
Displaying result #1 - #100 of 464 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|