Practical MHP Analysis for Java. - A. Samuel Moses; V. Krishna Nandivada (CC, 2026)