Computer Systems (TOCS)


Search Issue
enter search term and/or author name


ACM Transactions on Computer Systems (TOCS) - Special Issue APLOS 2011, Volume 30 Issue 1, February 2012

Introduction to Special Issue APLOS 2011
Todd C. Mowry
Article No.: 1
DOI: 10.1145/2110356.2110357

The S2E Platform: Design, Implementation, and Applications
Vitaly Chipounov, Volodymyr Kuznetsov, George Candea
Article No.: 2
DOI: 10.1145/2110356.2110358

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and...

DoublePlay: Parallelizing Sequential Logging and Replay
Kaushik Veeraraghavan, Dongyoon Lee, Benjamin Wester, Jessica Ouyang, Peter M. Chen, Jason Flinn, Satish Narayanasamy
Article No.: 3
DOI: 10.1145/2110356.2110359

Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on multiprocessors is very challenging to implement efficiently because of...

Improving Software Diagnosability via Log Enhancement
Ding Yuan, Jing Zheng, Soyeon Park, Yuanyuan Zhou, Stefan Savage
Article No.: 4
DOI: 10.1145/2110356.2110360

Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of troubleshooting any complex software system, but further exacerbated by the paucity of information that is typically available...

A Declarative Language Approach to Device Configuration
Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter
Article No.: 5
DOI: 10.1145/2110356.2110361

C remains the language of choice for hardware programming (device drivers, bus configuration, etc.): it is fast, allows low-level access, and is trusted by OS developers. However, the algorithms required to configure and reconfigure hardware...