Papers accepted:

  1. The Decision Problem for Regular First-Order Theories (POPL'25)
  2. Selectively Uniform Concurrency Testing (ASPLOS'25)