October, 2011 Archive

Columbia team wins best paper award at SOSP

SOSP, a premier systems conference, single track, held once every two years, has given the best paper award to Cells: A Virtual Mobile Smartphone Architecture by Jeremy Andrus, Christoffer Dall, Alex Van’t Hof, Oren Laadan, Jason Nieh Smartphones are increasingly ubiquitous, and many users carry multiple phones to accommodate work, personal, and geographic mobility needs. The authors created Cells, a …

Read More

Cells: A Virtual Mobile Smartphone Architecture

Jeremy Andrus, Christoffer Dall, Alexander Van’t Hof, Oren Laadan, Jason Nieh Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP 2011), Cascais, Portugal, October 23-26, 2011 (Best Paper Award) Abstract Smartphones are increasingly ubiquitous, and many users carry multiple phones to accommodate work, personal, and geographic mobility needs. We present Cells, a virtualization architecture for enabling multiple virtual …

Read More

Efficient Deterministic Multithreading through Schedule Relaxation

Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP ’11), October, 2011 Abstract Deterministic multithreading (DMT) eliminates many pernicious software problems caused by nondeterminism. It works by constraining a program to repeat the same thread interleavings, or schedules, when given same input. Despite much recent research, it remains …

Read More

Pervasive Detection of Process Races in Deployed Systems

Oren Laadan, Nicolas Viennot Chia-che Tsai, and Chris Blinn, Junfeng Yang, Jason Nieh Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP ’11), October, 2011 Abstract Process races occur when multiple processes access shared operating system resources, such as files, without proper synchronization. We present the first study of real process races and the first system designed to …

Read More

Practical Software Model Checking via Dynamic Interface Reduction

Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP ’11), October, 2011 Abstract Implementation-level software model checking explores the state space of a system implementation directly to find potential software defects without requiring any specification or modeling. Despite early successes, the effectiveness of this approach remains …

Read More

Columbia University Department of Computer Science