Publications from 2013

Parrot: a Practical Runtime for Deterministic, Stable, and Reliable Threads

Heming Cui, Jiri Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant
Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP '13),  November 2013

Abstract

PDF

 

ShadowReplica: Efficient Parallelization of Dynamic Data Flow Tracking

Kangkook Jee, Vasileios P. Kemerlis, Angelos D. Keromytis, Georgios Portokalidis
Proceedings of the 20th ACM Conference on Computer and Communications Security (CCS 2013),  November 2013

Abstract

PDF

 

vTube: Efficient Streaming of Virtual Appliances Over Last-Mile Networks

Yoshihisa Abe, Roxana Geambasu, Kaustubh Joshi, H. Andres Lagar-Cavilla, Mahadev Satyanarayanan
Proceedings of the 4th ACM Symposium on Cloud Computing (SOCC '13),  October 2013

Abstract

PDF

 

Effective Dynamic Detection of Alias Analysis Errors

Proceedings of the 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '13),  August 2013

Abstract

PDF

 

Columbia University Department of Computer Science