Two papers accepted for presentation at IEEE/ACM DATE 2024.