Kiem-Phong Vo

TL;DR: A four-pass algorithm for drawing directed graphs is presented, which creates good drawings and is fast.

TL;DR: The paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C that has an observed reduction of 50% or more in the number of test cases needed to test typical software changes.

TL;DR: In this paper, a computer-implemented technique for drawing directed graphs providing reduced crossings and improved picture quality is described, where an edge list description provided by a user is processed to produce a ranking of all nodes that minimizes the weighted sum of all edges, an edge cost being the product of its weight and length.

TL;DR: The paper describes the experience with the implementation and applications of the Unix checkpointing library libckp, and identifies two concepts that have proven to be the key to making checkpointing a powerful tool.

TL;DR: Results indicate that modern delta compression algorithms based on Ziv-Lempel techniques significantly outperform diff, a popular but older delta compressor, in terms of compression ratio.