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.

• Type: Conference
• Year: 2004
• Where: LCPC
• Authors: Lin Li, Clark Verbrugge
• Keywords: Feasible Implementation, Implementation, LCPC 2004, Practical Implementation Concerns