October, 2010 Archive

Comet: An active distributed key/value store

Roxana Geambasu, Amit Levy, Tadayoshi Kohno, Arvind Krishnamurthy, Henry M. Levy Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI), October, 2010 Abstract Distributed key-value storage systems are widely used in corporations and across the Internet. Our research seeks to greatly expand the application space for key-value storage systems through application-specific customization. We designed and implemented …

Read More

Stable Deterministic Multithreading through Schedule Memoization

Heming Cui, Jingyue Wu, Chia-Che Tsai, Junfeng Yang Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI ’10), October, 2010 Abstract A deterministic multithreading (DMT) system eliminates nondeterminism in thread scheduling, simplifying the development of multithreaded programs. However, existing DMT systems are unstable; they may force a program to (ad)venture into vastly different schedules even for slightly …

Read More

Bypassing Races in Live Applications with Execution Filters

Jingyue Wu, Heming Cui, Junfeng Yang Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI ’10), October, 2010 Abstract Deployed multithreaded applications contain many races because these applications are difficult to write, test, and debug. Worse, the number of races in deployed applications may drastically increase due to the rise of multicore hardware and the immaturity of …

Read More

Scalable and Systematic Detection of Buggy Inconsistencies in Source Code

Mark Gabel, Junfeng Yang, Yuan Yu, Moises Goldszmidt, Zhendong Su Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA ’10), October, 2010 Abstract Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code segments are edited inconsistently. This paper presents DejaVu, a highly scalable …

Read More

Columbia University Department of Computer Science