The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SOSP"( http://dblp.L3S.de/Venues/SOSP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/sosp

Publication years (Num. hits)
1971 (23) 1973 (21) 1975 (26) 1977 (21) 1979 (23) 1981 (23) 1983 (16) 1985 (19) 1987 (19) 1989 (20) 1991 (18) 1993 (21) 1995 (30) 1997 (23) 1999 (19) 2001 (17) 2003 (23) 2005 (23) 2007 (26) 2009 (24) 2011 (29)
Publication types (Num. hits)
inproceedings(459) proceedings(5)
Venues (Conferences, Journals, ...)
SOSP(464)
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
1James Mickens, Mohan Dhawan Atlantis: robust, extensible execution environments for web applications. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Úlfar Erlingsson, Marcus Peinado, Simon Peter, Mihai Budiu Fay: extensible distributed tracing from kernels to clusters. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jeremy Andrus, Christoffer Dall, Alexander Van't Hof, Oren Laadan, Jason Nieh Cells: a virtual mobile smartphone architecture. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Oren Laadan, Nicolas Viennot, Chia-che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh Pervasive detection of process races in deployed systems. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tongping Liu, Charlie Curtsinger, Emery D. Berger Dthreads: efficient deterministic multithreading. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Diego Ongaro, Stephen M. Rumble, Ryan Stutsman, John K. Ousterhout, Mendel Rosenblum Fast crash recovery in RAMCloud. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yanpei Chen, Kiran Srinivasan, Garth R. Goodson, Randy H. Katz Design implications for enterprise storage systems via multi-dimensional trace analysis. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang Practical software model checking via dynamic interface reduction. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lisa Glendenning, Ivan Beschastnikh, Arvind Krishnamurthy, Thomas E. Anderson Scalable consistency in Scatter. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Raluca A. Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan CryptDB: protecting confidentiality with encrypted query processing. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos Kawazoe Aguilera, Michael Walfish Detecting failures in distributed systems with the Falcon spy network. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Emin 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. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ted Wobber, Peter Druschel (eds.) Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011, Cascais, Portugal, October 23-26, 2011 Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  BibTeX  RDF
1Yair Sovran, Russell Power, Marcos K. Aguilera, Jinyang Li Transactional storage for geo-replicated systems. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Brad 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. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang Efficient deterministic multithreading through schedule relaxation. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, David G. Andersen Don't settle for eventual: scalable causal consistency for wide-area storage with COPS. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zuoning Yin, Xiao Ma, Jing Zheng, Yuanyuan Zhou, Lakshmi N. Bairavasundaram, Shankar Pasupathy An empirical study on configuration errors in commercial and open source systems. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek Software fault isolation with API integrity and multi-principal modules. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Atul Adya, Gregory Cooper, Daniel Myers, Michael Piatek Thialfi: a client notification service for internet-scale applications. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ramesh Chandra, Taesoo Kim, Meelap Shah, Neha Narula, Nickolai Zeldovich Intrusion recovery for database-backed web applications. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick 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. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hyeontaek Lim, Bin Fan, David G. Andersen, Michael Kaminsky SILT: a memory-efficient, high-performance key-value store. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael P. Mesnier, Feng Chen, Tian Luo, Jason B. Akers Differentiated storage services. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, Micah Sherr Secure network provenance. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christopher J. Rossbach, Jon Currey, Mark Silberstein, Baishakhi Ray, Emmett Witchel PTask: operating system abstractions to manage GPUs as compute devices. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tyler 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. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn, Satish Narayanasamy Detecting and surviving data races using complementary schedules. Search on Bibsonomy SOSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black Fast byte-granularity software fault isolation. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF device drivers, isolation
1Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang 0009, Lorenzo Alvisi, Michael Dahlin, Taylor Riche Upright cluster services. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cluster services, reliability, byzantine fault tolerance
1Gautam Altekar, Ion Stoica ODR: output-deterministic replay for multicore debugging. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF debugging, multicore, inference, deterministic replay
1Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, Andrew Goldberg Quincy: fair scheduling for distributed computing clusters. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cluster scheduling, dryad, network flow scheduling, mapreduce, fair scheduling
1David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan FAWN: a fast array of wimpy nodes. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF performance, design, energy efficiency, measurement, cluster computing, flash
1Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser Automatic device driver synthesis with termite. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF domain-specific languages, device drivers, software synthesis, two-player games
1Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee Better I/O through byte-addressable, persistent memory. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF performance, file systems, phase change memory
1John Dunagan, Alice X. Zheng, Daniel R. Simon Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF identity snowball, machine learning, support vector machine, authentication, access control, combinatorial optimization, attack graph, sparsest cut
1Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu PRES: probabilistic replay with execution sketching on multiprocessors. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF replay, concurrency bug
1Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Levis, John Regehr Surviving sensor network software faults. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF deputy, reboot, wireless sensor networks, reliability, kernel, tinyos, nesc
1Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt Helios: heterogeneous multiprocessing with satellite kernels. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operating systems, heterogeneous computing
1Mike Mammarella, Shant Hovsepian, Eddie Kohler Modular data storage with Anvil. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software architecture, databases, modular design
1Jeanna 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 Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  BibTeX  RDF
1Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, Emmett Witchel Operating systems transactions. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF txos, operating systems, transactions, transactional memory, race conditions
1Yuan Yu, Pradeep Kumar Gunda, Michael Isard Distributed aggregation for data-parallel computing: interfaces and implementations. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrency, cloud computing, distributed programming
1Asim Kadav, Matthew J. Renzelmann, Michael M. Swift Tolerating hardware device failures in software. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reliability, debugging, code generation, recovery, device drivers
1Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers Fabric: a platform for secure distributed computation and storage. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF security, distributed systems, transactions, information flow
1Andrew 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. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF scalability, message passing, multicore processors
1Wei Xu, Ling Huang, Armando Fox, David A. Patterson, Michael I. Jordan Detecting large-scale system problems by mining console logs. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF console log analysis, monitoring, tracing, statistical learning, source code analysis, pca, problem detection
1Mihai 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. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software router, parallelism, multicore, programmability
1Gerwin 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. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF l4, sel4, microkernel, isabelle/hol
1Jeff 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. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF self healing
1Kirk 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. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF blue screen of death, minidump, statistics-based debugging, classifying, labeling, bucketing, error reports
1Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek Improving application security with data flow assertions. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF xss, security, privacy, web, python, php, sql injection
1Shan 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. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF variable correlation, concurrency bug, bug detection
1Thomas 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 Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  BibTeX  RDF
1Lin Tan, Ding Yuan, Gopal Krishna, Yuanyuan Zhou /*icomment: bugs or bad comments?*/. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF comment analysis, natural language processing for software engineering, programming rules and static analysis
1Oren Laadan, Ricardo A. Baratto, Dan B. Phung, Shaya Potter, Jason Nieh DejaView: a personal virtual computer recorder. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF virtualization, desktop search
1Christopher Frost, Mike Mammarella, Eddie Kohler, Andrew de los Reyes, Shant Hovsepian, Andrew Matsuoka, Lei Zhang Generalized file system dependencies. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF soft updates, dependencies, file systems, journaling
1Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou Triage: diagnosing production run failures at the user's site. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF onsite, debugging, diagnosis
1Christopher 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. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF MetaTM, TxLinux, synchronization, operating systems, transactional memory, optimistic concurrency
1Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng Secure web application via automatic partitioning. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compilers, information flow, security policies
1Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris Information flow control for standard OS abstractions. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF DIFC, decentralized information flow control, endpoints, system call interposition, web services, reference monitor
1Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF code attestation, memory virtualization, hypervisor, code injection attacks, preventing, code integrity
1Ramakrishna Kotla, Lorenzo Alvisi, Michael Dahlin, Allen Clement, Edmund L. Wong Zyzzyva: speculative byzantine fault tolerance. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF output commit, replication, speculative execution, byzantine fault tolerance
1Ya-Yunn Su, Mona Attariyan, Jason Flinn AutoBash: improving configuration management with operating system causality analysis. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF configuration management, causality, speculative execution
1Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF databases, byzantine fault tolerance, state machine replication
1Marcos Kawazoe Aguilera, Arif Merchant, Mehul A. Shah, Alistair C. Veitch, Christos T. Karamanolis Sinfonia: a new paradigm for building scalable distributed systems. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fault tolerance, distributed systems, scalability, transactions, shared memory, two-phase commit
1Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz Attested append-only memory: making adversaries stick to their word. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF attested append-only memory, equivocation, replicated state machines, shared storage, byzantine-fault tolerance
1Haryadi S. Gunawi, Vijayan Prabhakaran, Swetha Krishnan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau Improving file system reliability with I/O shepherding. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF I/O shepherding, fault tolerance, reliability, storage
1Olivier Crameri, Nikola Knezevic, Dejan Kostic, Ricardo Bianchini, Willy Zwaenepoel Staged deployment in mirage, an integrated software upgrade testing and distribution system. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF clustering of machines, staged software upgrade deployment, upgrade testing
1Ripal Nathuji, Karsten Schwan VirtualPower: coordinated power management in virtualized enterprise systems. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF virtualization, power management
1Giuseppe 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. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF performance, reliability, scalability
1Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David E. Culler, David Gay, Philip Levis Integrating concurrency control and energy management in device drivers. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF device driver architecture, concurrency, energy, tinyOS
1Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado Bouncer: securing software by blocking bad input. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF precondition slicing, symbolic execution
1Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Jackson Protection and communication abstractions for web browsers in MashupOS. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-principal OS, security, communications, web, abstractions, protection, browser, same-origin policy
1James Hendricks, Gregory R. Ganger, Michael K. Reiter Low-overhead byzantine fault-tolerant storage. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF byzantine fault-tolerant storage
1Emre Kiciman, V. Benjamin Livshits AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software instrumentation, web applications, software monitoring
1John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve Secure virtual architecture: a safe execution environment for commodity operating systems. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
1Andreas Haeberlen, Petr Kouznetsov, Peter Druschel PeerReview: practical accountability for distributed systems. Search on Bibsonomy SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF distributed systems, fault detection, accountability, byzantine faults
1Andrew Herbert, Kenneth P. Birman (eds.) Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, October 23-26, 2005 Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  BibTeX  RDF
1Craig A. N. Soules, Gregory R. Ganger Connections: using context to enhance file search. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF file system search, successor models, context
1Edmund B. Nightingale, Peter M. Chen, Jason Flinn Speculative execution in a distributed file system. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF causality, speculative execution, distributed file systems
1Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie Fault-scalable Byzantine fault-tolerant services. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fault-scalability, replicated state machines, services, quorums, byzantine fault-tolerance
1Andrew S. Tanenbaum Keynote speech. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham Vigilante: end-to-end containment of internet worms. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF self-certifying alerts, data flow analysis, control flow analysis, worm containment
1Arvind 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. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamic root of trust, self-check-summing code, software-based code attestation, verifiable code execution, rootkit detection
1Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement, Michael Dahlin, Jean-Philippe Martin, Carl Porth BAR fault tolerance for cooperative services. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF peer to peer, game theory, byzantine fault tolerance, reliable systems
1Ashvin Goel, Kenneth Po, Kamran Farhadi, Zheng Li, Eyal de Lara The taser intrusion recovery system. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF intrusion recovery, file systems, snapshots, intrusion analysis
1Kenneth P. Birman Opening remarks. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou Rx: treating bugs as allergies - a safe method to survive software failures. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF reliability, availability, bug, software failure
1Lars Eggert, Joseph D. Touch Idletime scheduling with preemption intervals. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF background processing, idletime scheduling, network scheduler, preemption interval, disk scheduler, resource scheduler, queuing
1Michael 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. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF honeyfarm, malware, honeypot, virtual machine monitor, copy-on-write
1Ashlesha Joshi, Samuel T. King, George W. Dunlap, Peter M. Chen Detecting past and present intrusions through vulnerability-specific predicates. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF IntroVirt, virtual-machine introspection, virtual-machine replay, vulnerability-specific predicates, intrusion detection, semantic gap
1Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica Implementing declarative overlays. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dataflow engines, declarative overlays, executable pseudocode
1Vijayan Prabhakaran, Lakshmi N. Bairavasundaram, Nitin Agrawal, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau IRON file systems. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF IRON file systems, block corruption, fail-partial failure model, latent sector errors, fault tolerance, reliability, redundancy, storage, internal, disks
1Qingbo Zhu, Zhifeng Chen, Lin Tan, Yuanyuan Zhou, Kimberly Keeton, John Wilkes Hibernator: helping disk arrays sleep through the winter. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF storage system, energy management, disk array, performance guarantee, disk layout
1Emmett Witchel, Junghwan Rhee, Krste Asanovic Mondrix: memory isolation for linux using mondriaan memory protection. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fine-grained memory protection
1Ricardo A. Baratto, Leonard N. Kim, Jason Nieh THINC: a virtual display architecture for thin-client computing. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF remote display, mobility, virtualization, thin-client computing
1Yuan Yu, Tom Rodeheffer, Wei Chen RaceTrack: efficient detection of data race conditions via adaptive tracking. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF virtual machine instrumentation, race detection
1Ira Cohen, Steve Zhang, Moisés Goldszmidt, Julie Symons, Terence Kelly, Armando Fox Capturing, indexing, clustering, and retrieving system history. Search on Bibsonomy SOSP The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.