Created in October 20, 2024
2024
🗨️ I presented the paper Under-approximating Memory Abstractions at SAS 2024.