| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood |
Provable Security: How Feasible Is It?  |
HotOS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christopher J. Rossbach, Jon Currey, Emmett Witchel |
Operating Systems Must Support GPU Abstractions. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Patrick G. Bridges, Donour Sizemore, Scott Levy |
Exploiting MISD Performance Opportunities in Multi-core Systems. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Geoffrey Challen, Mark Hempstead |
The Case for Power-Agile Computing. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jayanthkumar Kannan, Byung-Gon Chun |
Making Programs Forget: Enforcing Lifetime for Sensitive Data. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Dietz, Charalampos Papamanthou |
MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vijay Vasudevan, David G. Andersen, Michael Kaminsky |
The Case for VOS: The Vector Operating System. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Wetherall, David R. Choffnes, Ben Greenstein, Seungyeop Han, Peter Hornyack, Jaeyeon Jung, Stuart E. Schechter, Xiao Sophia Wang |
Privacy Revelations for Web and Mobile Apps. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sherif Akoush, Ripduman Sohan, Andrew C. Rice, Andrew W. Moore 0002, Andy Hopper |
Free Lunch: Exploiting Renewable Energy for Computing. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Chu, Aman Kansal, Jie Liu 0001, Feng Zhao 0001 |
Mobile Apps: It's Time to Move Up to CondOS. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stephen M. Rumble, Diego Ongaro, Ryan Stutsman, Mendel Rosenblum, John K. Ousterhout |
It's Time for Low Latency. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang |
Optimizing Data Partitioning for Data-Parallel Computing. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Oren Laadan, Chia-che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Jason Nieh |
Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andrew J. Blumberg |
Toward Practical and Unconditional Verification of Remote Computations. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | David H. Ackley, Daniel C. Cannon |
Pursue Robust Indefinite Scalability. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Katelin Bailey, Luis Ceze, Steven D. Gribble, Henry M. Levy |
Operating System Implications of Fast, Cheap, Non-Volatile Memory. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Derek Gordon Murray, Steven Hand 0001 |
Non-Deterministic Parallelism Considered Useful. |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski |
What If You Could Actually Trust Your Kernel? |
HotOS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Donald E. Porter, Emmett Witchel |
Operating Systems Should Provide Transactions. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mohit Saxena, Michael M. Swift |
FlashVM: Revisiting the Virtual Memory Hierarchy. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi |
FLUXO: A Simple Service Compiler. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Colin Dixon, Arvind Krishnamurthy, Thomas E. Anderson |
An End to the Middle. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Margo I. Seltzer, Nicholas Murphy |
Hierarchical File Systems Are Dead. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Prabal Dutta, David E. Culler |
Mobility Changes Everything in Low-Power Wireless Sensornets. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lionel Litty, H. Andrés Lagar-Cavilla, David Lie |
Computer Meteorology: Monitoring Compute Clouds. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bingsheng He, Mao Yang, Zhenyu Guo, Rishan Chen, Wei Lin 0016, Bing Su, Hongyi Wang, Lidong Zhou |
Wave Computing in the Cloud. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Maysam Yabandeh, Nedeljko Vasic, Dejan Kostic, Viktor Kuncak |
Simplifying Distributed System Development. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ross McIlroy, Joseph S. Sventek |
Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael A. Kozuch, Michael Kaminsky, Michael P. Ryan |
Migration without Virtualization. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Steven Y. Ko, Imranul Hoque, Brian Cho, Indranil Gupta |
On Availability of Intermediate Data in Cloud Computations. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Shivnath Babu, Nedyalko Borisov, Songyun Duan, Herodotos Herodotou, Vamsidhar Thummala |
Automated Experiment-Driven Management of (Database) Systems. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Armando Fox (eds.) |
Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, May 18-20, 2009, Monte Verità, Switzerland |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marcos Kawazoe Aguilera, Michael Walfish |
No Time for Asynchrony. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Silas Boyd-Wickizer, Robert Tappan Morris, M. Frans Kaashoek |
Reinventing Scheduling for Multicore Systems. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jon Oberheide, Evan Cooke, Farnam Jahanian |
If It Ain't Broke, Don't Fix It: Challenges and New Directions for Inferring the Impact of Software Patches. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Byung-Gon Chun, Petros Maniatis |
Augmented Smartphone Applications Through Clone Cloud Execution. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jason Waterman, Geoffrey Werner Challen, Matt Welsh |
Peloton: Coordinated Resource Management for Sensor Networks. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jeff Arnold, Tim Abbott, Waseem Daher, Gregory Price, Nelson Elhage, Geoffrey Thomas, Anders Kaseorg |
Security Impact Ratings Considered Harmful. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey C. Mogul, Eduardo Argollo, Mehul A. Shah, Paolo Faraboschi |
Operating System Support for NVM+DRAM Hybrid Main Memory. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrew Baumann, Simon Peter 0001, Adrian Schüpbach, Akhilesh Singhania, Timothy Roscoe, Paul Barham 0001, Rebecca Isaacs |
Your computer is already a distributed system. Why isn't your OS? |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Vijay Vasudevan, Jason Franklin, David G. Andersen, Amar Phanishayee, Lawrence Tan, Michael Kaminsky, Iulian Moraru |
FAWNdamentally Power-efficient Clusters. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Isard, Andrew Birrell |
Automatic Mutual Exclusion. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lin Tan 0001, Ding Yuan 0004, Yuanyuan Zhou 0001 |
HotComments: How to Make Program Comments More Useful? |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha |
Microdrivers: A New Architecture for Device Drivers. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Úlfar Erlingsson, V. Benjamin Livshits, Yinglian Xie |
End-to-End Web Application Security. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Eelco Dolstra, Armijn Hemel |
Purely Functional System Configuration Management. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou |
Beyond Bug-Finding: Sound Program Analysis for Linux. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Galen C. Hunt (eds.) |
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Donald E. Porter, Owen S. Hofmann, Emmett Witchel |
Is the Optimism in Optimistic Concurrency Warranted? |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser |
Towards a Practical, Verified Kernel. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernard Wong 0001, Ymir Vigfusson, Emin Gün Sirer |
Hyperspaces for Object Clustering and Approximate Matching in Peer-to-Peer Overlays. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lakshmi Ganesh, Hakim Weatherspoon, Mahesh Balakrishnan 0001, Ken Birman |
Optimizing Power Consumption in Large Scale Storage Systems. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Arati Baliga, Joe Kilian, Liviu Iftode |
A Web Based Covert File System. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mohan Rajagopalan, Brian T. Lewis, Todd A. Anderson 0001 |
Thread Scheduling for Multi-Core Platforms. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Emre Kiciman, Helen J. Wang |
Live Monitoring: Using Adaptive Instrumentation and Analysis to Debug and Maintain Web Applications. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jesse Pool, Ian Sin Kwok Wong, David Lie |
Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kimberly Keeton, Terence Kelly, Arif Merchant, Cipriano A. Santos, Janet L. Wiener, Xiaoyun Zhu, Dirk Beyer 0002 |
Don't Settle for Less Than the Best: Use Optimization to Make Decisions. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Xiao Zhang, Sandhya Dwarkadas, Girts Folkmanis, Kai Shen |
Processor Hardware Counter Statistics as a First-Class System Resource. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jon Howell, Collin Jackson, Helen J. Wang, Xiaofeng Fan |
MashupOS: Operating System Abstractions for Client Mashups. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mehul A. Shah, Mary Baker, Jeffrey C. Mogul, Ram Swaminathan |
Auditing to Keep Online Storage Services Honest. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin |
Compatibility Is Not Transparency: VMM Detection Myths and Realities. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ben Greenstein, Ramakrishna Gummadi, Jeffrey Pang, Mike Y. Chen, Tadayoshi Kohno, Srinivasan Seshan, David Wetherall |
Can Ferris Bueller Still Have His Day Off? Protecting Privacy in the Wireless Era. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Timothy Roscoe, Kevin Elphinstone, Gernot Heiser |
Hype and Virtue. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marc E. Fiuczynski, Robert Grimm 0001, Yvonne Coady, David Walker |
Patch (1) Considered Harmful. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ryan Cunningham, Eddie Kohler |
Making Events Less Slippery with eel. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | |
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, June 12-15, 2005, Santa Fe, New Mexico, USA |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lex Stein |
Stupid File Systems Are Better. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | John DeTreville |
Making System Configuration More Declarative. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Athanasios E. Papathanasiou, Michael L. Scott |
Aggressive Prefetching: An Idea Whose Time Has Come. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Shiding Lin, Aimin Pan, Zheng Zhang 0001, Rui Guo, Zhenyu Guo |
WiDS: An Integrated Toolkit for Distributed System Development. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christos T. Karamanolis, Magnus Karlsson 0002, Xiaoyun Zhu |
Designing Controllable Computer Systems. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Aaron B. Brown, Anupam Chanda, Rik Farrow, Alexandra Fedorova, Petros Maniatis, Michael L. Scott |
The Many Faces of Systems Research - and How to Evaluate Them. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Anupam Chanda, Khaled Elmeleegy, Alan L. Cox, Willy Zwaenepoel |
Causeway: Operating System Support for Controlling and Analyzing the Execution of Distributed Programs. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Moisés Goldszmidt, Ira Cohen, Armando Fox, Steve Zhang |
Three Research Challenges at the Intersection of Machine Learning, Statistical Induction, and Systems. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Feng Qin, Joseph A. Tucek, Yuanyuan Zhou 0001 |
Treating Bugs as Allergies: A Safe Method for Surviving Software Failures. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey Shneidman, Chaki Ng, David C. Parkes, Alvin AuYoung, Alex C. Snoeren, Amin Vahdat, Brent N. Chun |
Why Markets Could (But Don't Currently) Solve Resource Allocation Problems in Systems. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yvonne Coady, Russ Cox, John DeTreville, Peter Druschel, Joseph L. Hellerstein, Andrew Hume, Kimberly Keeton, Thu Nguyen, Christopher Small 0001, Lex Stein, Andrew Warfield |
Falling Off the Cliff: When Systems Go Nonlinear. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey C. Mogul |
Operating Systems Should Support Business Change. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Steven Hand 0001, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, Daniel J. Magenheimer |
Are Virtual Machine Monitors Microkernels Done Right? |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Harvey Tuch, Gerwin Klein, Gernot Heiser |
OS Verification - Now! |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tal Garfinkel, Mendel Rosenblum |
When Virtual Is Harder than Real: Security Challenges in Virtual Machine Based Computing Environments. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Eric A. Brewer, Jeremy Condit, Bill McCloskey, Feng Zhou |
Thirty Years Is Long Enough: Getting Beyond C. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Andrew Birrell, Ted Wobber |
Access Control in a World of Software Diversity. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Desnoyers, Deepak Ganesan, Huan Li 0001, Ming Li 0009, Prashant J. Shenoy |
PRESTO: A Predictive Storage Architecture for Sensor Networks. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | David E. Culler, Prabal Dutta, Cheng Tien Ee, Rodrigo Fonseca, Jonathan Hui, Philip Alexander Levis, Joseph Polastre, Scott Shenker, Ion Stoica, Gilman Tolle, Jerry Zhao |
Towards a Sensor Network Architecture: Lowering the Waistline. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Aaron B. Brown, Joseph L. Hellerstein |
Reducing the Cost of IT Operations - Is Automation Always the Answer? |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andrew Warfield, Russ Ross, Keir Fraser, Christian Limpach, Steven Hand 0001 |
Parallax: Managing Storage for a Million Machines. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Bianchini, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Fábio Oliveira |
Human-Aware Computer System Design. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Galen C. Hunt, James R. Larus, David Tarditi, Ted Wobber |
Broad New OS Research: Challenges and Opportunities. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Maxwell N. Krohn, Petros Efstathopoulos, Cliff Frey, M. Frans Kaashoek, Eddie Kohler, David Mazières, Robert Tappan Morris, Michelle Osborne, Steve Vandebogart, David Ziegler |
Make Least Privilege a Right (Not a Privilege). |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Angela B. Dalton, Carla Schlatter Ellis |
Sensing User Intention and Context for Energy Management. |
HotOS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey C. Mogul |
TCP Offload Is a Dumb Idea Whose Time Has Come. |
HotOS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Charles Blake 0001, Rodrigo Rodrigues 0001 |
High Availability, Scalable Storage, Dynamic Peer Networks: Pick Two. |
HotOS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Benjamin C. Ling, Armando Fox |
The Case for a Session State Storage Layer. |
HotOS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Robert J. Fowler, Alan L. Cox, Sameh Elnikety, Willy Zwaenepoel |
Using Performance Reflection in Systems Software. |
HotOS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Zhichen Xu, Magnus Karlsson 0002, Chunqiang Tang, Christos T. Karamanolis |
Towards a Semantic-Aware File Store. |
HotOS |
2003 |
DBLP BibTeX RDF |
|
| 1 | J. Robert von Behren, Jeremy Condit, Eric A. Brewer |
Why Events Are a Bad Idea (for High-Concurrency Servers). |
HotOS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Constantine P. Sapuntzakis, Monica S. Lam |
Virtual Appliances in the Collective: A Road to Hassle-Free Computing. |
HotOS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Gruteser, Graham Schelle, Ashish Jain, Richard Han 0001, Dirk Grunwald |
Privacy-Aware Location Sensor Networks. |
HotOS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting |
Cassyopia: Compiler Assisted System Optimization. |
HotOS |
2003 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license