Memory-Safety Verification of Open Programs with Angelic Assumptions. - Gourav Takhar; Baldip Bijlani; Prantik Chatterjee; Akash Lal; Subhajit Roy 001 (Proc. ACM Program. Lang., 2025)