SOSP 2011 will feature 4 SSL Papers

This year’s SOSP will feature four papers from members of the Software Systems Laboratory:

Efficient Deterministic Multithreading through Schedule Relaxation

Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP ’11), October 2011

Abstract

PDF

 

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

PDF

 

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

PDF

 

Cells: A Virtual Mobile Smartphone Architecture

Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP 2011), October 2011

Abstract

PDF

 

Columbia University Department of Computer Science