Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJanuary 2016
Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 49, Issue 2Pages 37–43https://doi.org/10.1145/2883591.2883600Transient hardware faults in computer systems have become widespread as shrinking structures and low supply voltages reduce the amount of energy needed to trigger a fault. This paper describes the latest improvements of a software-based fault-tolerance ...
- review-articleJanuary 2013
Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012)
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 47, Issue 1Pages 55–62https://doi.org/10.1145/2433140.2433152The Fourth Workshop on Hot Topics in Software Upgrades (HotSWUp 2012) was held on June 3, 2012 in Zurich, Switzerland. The workshop was co-located with ICSE 2012. The goal of HotSWUp is to identify, through interdisciplinary collaboration, cutting-edge ...
- review-articleFebruary 2012
Report on the third workshop on hot topics in software upgrades (HotSWUp'11)
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 46, Issue 1Pages 93–99https://doi.org/10.1145/2146382.2146399Report on the third workshop on hot topics in software upgrades (HotSWUp'11).
The workshop combined presentations of peer-reviewed research papers with a keynote speech on the practical issues related to performing large-scale upgrades. The audience ...
- research-articleFebruary 2011
Optimizing a shared virtual memory system for a heterogeneous CPU-accelerator platform
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 45, Issue 1Pages 92–100https://doi.org/10.1145/1945023.1945035The client computing platform is moving towards a heterogeneous architecture that combines scalar-oriented CPU cores and throughput-oriented accelerator cores. Recognizing that existing programming models for such heterogeneous platforms are still ...
- review-articleDecember 2010
Report on the second ACM workshop on hot topics in software upgrades (HotSWUp'09): http://www.hotswup.org/2009/
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 44, Issue 4Pages 146–152https://doi.org/10.1145/1899928.1899948The Second ACM SIGPLAN Workshop on Hot Topics in Software Upgrades (HotSWUp'09) was held on 25 October 2009 in Orlando, FL. The workshop was co-located with OOPSLA 2009 and was sponsored by ACM SIGPLAN. Twenty researchers and practitioners, from the ...
-
- research-articleApril 2008
Documenting and automating collateral evolutions in linux device drivers
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 42, Issue 4Pages 247–260https://doi.org/10.1145/1357010.1352618The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolution in Linux device drivers: for every change that affects an API, all ...
Also Published in:
Eurosys '08: Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008: ISBN 9781605580135 - research-articleApril 2008
Controlled, systematic, and efficient code replacement for running java programs
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 42, Issue 4Pages 233–246https://doi.org/10.1145/1357010.1352617In this paper we present PROSE, a system that performs reversible and systematic changes to running Java applications without requiring them to be shut down. PROSE is motivated by scenarios such as hotfixes, online program instrumentation and debugging, ...
Also Published in:
Eurosys '08: Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008: ISBN 9781605580135 - research-articleMarch 2008
Optimistic parallelism benefits from data partitioning
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 42, Issue 2Pages 233–243https://doi.org/10.1145/1353535.1346311Recent studies of irregular applications such as finite-element mesh generators and data-clustering codes have shown that these applications have a generalized data parallelism arising from the use of iterative algorithms that perform computations on ...
Also Published in:
ASPLOS XIII: Proceedings of the 13th international conference on Architectural support for programming languages and operating systems: ISBN 9781595939586 - research-articleMarch 2008
How low can you go?: recommendations for hardware-supported minimal TCB code execution
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 42, Issue 2Pages 14–25https://doi.org/10.1145/1353535.1346285We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although this new technology represents a step in the right direction, significant ...
Also Published in:
ASPLOS XIII: Proceedings of the 13th international conference on Architectural support for programming languages and operating systems: ISBN 9781595939586 - articleOctober 2007
Secure web applications via automatic partitioning
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 41, Issue 6Pages 31–44https://doi.org/10.1145/1323293.1294265Swift is a new, principled approach to building web applications that are secure by construction. In modern web applications, some application functionality is usually implemented as client-side code written in JavaScript. Moving code and data to the ...
Also Published in:
SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles: ISBN 9781595935915 - articleJuly 2007
L4oprof: a performance-monitoring-unit-based software-profiling framework for the L4 microkernel
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 41, Issue 4Pages 69–76https://doi.org/10.1145/1278901.1278911These days, the L4 microkernel is expanding its domain towards embedded systems since it is showing a comparable performance with traditional monolithic kernels. The L4 microkernel shows a greatly different execution behavior of user applications from ...
- articleMarch 2007
Concierge: a service platform for resource-constrained devices
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 41, Issue 3Pages 245–258https://doi.org/10.1145/1272998.1273022As mobile and embedded devices become widespread, the management and configuration of the software in the devices is increasingly turning into a critical issue. OSGi is a business standard for the life cycle management of Java software components. It is ...
Also Published in:
EuroSys '07: Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007: ISBN 9781595936363 - articleMarch 2007
Macroprogramming heterogeneous sensor networks using cosmos
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 41, Issue 3Pages 159–172https://doi.org/10.1145/1272998.1273014In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming specifies aggregate system behavior, as opposed to device-specific programs that code distributed behavior using explicit ...
Also Published in:
EuroSys '07: Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007: ISBN 9781595936363 - articleOctober 2006
Combinatorial sketching for finite programs
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 40, Issue 5Pages 404–415https://doi.org/10.1145/1168917.1168907Sketching is a software synthesis approach where the programmer develops a partial implementation - a sketch - and a separate specification of the desired functionality. The synthesizer then completes the sketch to behave like the specification. The ...
Also Published in:
ASPLOS XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems: ISBN 1595934510 - articleOctober 2006
Exploiting coarse-grained task, data, and pipeline parallelism in stream programs
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 40, Issue 5Pages 151–162https://doi.org/10.1145/1168917.1168877As multicore architectures enter the mainstream, there is a pressing demand for high-level programming models that can effectively map to them. Stream programming offers an attractive way to expose coarse-grained parallelism, as streaming applications (...
Also Published in:
ASPLOS XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems: ISBN 1595934510 - articleApril 2006
A quantitative analysis of aspects in the eCos kernel
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 40, Issue 4Pages 191–204https://doi.org/10.1145/1218063.1217954Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of Aspect-Oriented Programming (AOP) for the development of operating system kernels is still highly in dispute. While the AOP ...
Also Published in:
EuroSys '06: Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006: ISBN 1595933220 - articleApril 2006
Language support for fast and reliable message-based communication in singularity OS
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 40, Issue 4Pages 177–190https://doi.org/10.1145/1218063.1217953Message-based communication offers the potential benefits of providing stronger specification and cleaner separation between components. Compared with shared-memory interactions, message passing has the potential disadvantages of more expensive data ...
Also Published in:
EuroSys '06: Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006: ISBN 1595933220 - articleNovember 2000
Effective null pointer check elimination utilizing hardware trap
ACM SIGOPS Operating Systems Review (SIGOPS), Volume 34, Issue 5Pages 139–149https://doi.org/10.1145/384264.379234We present a new algorithm for eliminating null pointer checks from programs written in Java™. Our new algorithm is split into two phases. In the first phase, it moves null checks backward, and it is iterated for a few times with other ...
Also Published in:
ASPLOS IX: Proceedings of the ninth international conference on Architectural support for programming languages and operating systems: ISBN 1581133170