ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at ex...
ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...
ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
This paper presents a software architecture for hardware fault tolerance based on loosely-synchronized, redundant virtual machines (LSRVM). LSRVM will provide high levels of relia...
ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
Security has been considered as an important issue in processor design. Most of the existing mechanisms address security and integrity issues caused by untrusted main memory in si...
ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
The coordination of layers in computer and software systems is one of the main challenges in designing such systems today. In this paper we consider Holistic System Design as a wa...
ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...