Publications from 2011

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

 

THINC: A Virtual and Remote Display Architecture for Desktop Computing and Mobile Devices

Ricardo Baratto
Ph.D. Thesis, Department of Computer Science, Columbia University,  April 2011

Abstract

PDF

 

A Personal Virtual Computer Recorder

Ph.D. Thesis, Department of Computer Science, Columbia University,  April 2011

Abstract

PDF

 

Keypad: An Auditing File System for Theft-prone Devices

Roxana Geambasu, John P. John, Steven D. Gribble, Tadayoshi Kohno, Henry M. Levy
Proceedings of the European Conference on Computer Systems ({EuroSys}),  April 2011

Abstract

PDF

 

Structured Linux Kernel Projects for Teaching Operating Systems Concepts

Proceedings of the 42nd ACM Technical Symposium on Computer Science Education (SIGCSE 2011),  March 2011

Abstract

PDF

 
Page 2 of 2«12

Columbia University Department of Computer Science