Samuel Z. Guyer

TL;DR: This paper recommends benchmarking selection and evaluation methodologies, and introduces the DaCapo benchmarks, a set of open source, client-side Java benchmarks that improve over SPEC Java in a variety of ways, including more complex code, richer object behaviors, and more demanding memory system requirements.

TL;DR: Static program analysis is a key component of many software development tools, including compilers, development environments, and verification tools as mentioned in this paper, and it is often expected to be sound in that their result models all possible executions of the program under analysis.

TL;DR: The consequences of the authors' collective inattention to methodology on innovation are explored, recommendations for addressing this problem in one domain are made, and guidelines for other domains are provided.

TL;DR: An annotation language and a compiler that together can customize a library implementation for specific application needs are introduced and it is shown how the system can significantly improve the performance of two applications written using the PLAPACK parallel linear algebra library.

TL;DR: A new client-driven pointer analysis algorithm that automatically adjusts its precision in response to the needs of client analyses is presented, often producing results as accurate as fixed-precision algorithms that are many times more costly.