Nov 19, 2024Papers accepted:The Decision Problem for Regular First-Order Theories (POPL'25)Selectively Uniform Concurrency Testing (ASPLOS'25)