Publications from 2011

Improving Virtual Appliance Management through Virtual Layered File Systems

Shaya Potter, Jason Nieh
Proceedings of the 25th Large Installation System Administration Conference (LISA '11),  December 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

 

Efficient Deterministic Multithreading through Schedule Relaxation

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

 

New Directions for Self-destructing Data

Roxana Geambasu, Tadayoshi Kohno, Arvind Krishnamurthy, Amit Levy, Henry M. Levy, Paul Gardner, Vinnie Moscaritolo
Technical Report , UW-CSE-11-08-01, University of Washington,  August 2011

Abstract

PDF

 

Regaining Control over Cloud and Mobile Data

Ph.D. Thesis, University of Washington,  August 2011

Abstract

PDF

 

Record and Transplay: Partial Checkpointing for Replay Debugging Across Heterogeneous Systems

Dinesh Subhraveti, Jason Nieh
Proceedings of the ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 2011),  June 2011

Abstract

PDF

 

Context-based Online Configuration-Error Detection

Ding Yuan, Yinglian Xie, Rina Panigrahy, Junfeng Yang, Chad Verbowski, Arunvijay Kumar
Proceedings of the USENIX Annual Technical Conference (USENIX '11),  June 2011

Abstract

PDF

 

Finding Concurrency Errors in Sequential Code—OS-level, In-vivo Model Checking of Process Races

Oren Laadan, Chia-che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Junfeng Yang, Jason Nieh
Proceedings of the 131th USENIX workshop on Hot topics in operating systems (HOTOS '11),  May 2011

Abstract

PDF

 
Page 1 of 212»

Columbia University Department of Computer Science