Asp Dac 2024 Accepted Paper