2 papers by FOCS lab at POPL 2026Nov 6, 20252 papers by FOCS lab accepted to appear at POPL 2026:The Complexity of Testing Message-Passing ConcurrencyCounting and Sampling Traces in Regular Languages