Sciweavers

LCPC
2004
Springer

A Practical MHP Information Analysis for Concurrent Java Programs

14 years 4 months ago
A Practical MHP Information Analysis for Concurrent Java Programs
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the original work. We describe a design that incorporates techniques for aiding a feasible implementation and expanding the range of acceptable inputs. We provide experimental results showing the utility and impact of our approach and optimizations using a variety of concurrent benchmarks.
Lin Li, Clark Verbrugge
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where LCPC
Authors Lin Li, Clark Verbrugge
Comments (0)