Created in July 15, 2024
2024
📝 The paper Under-approximating Memory Abstractions is accepted at SAS 2024.