Talk 2: do u have a list of examples of funny or interesting failures you saw with regexes in the wild?
T3: Given an infinite number of states, wouldn't slicing result into a still too large (possibly infinite) set of states? How far the slicing mitigates this?
Don't be shy! Potential points about error detection to discuss during the general discussion are welcome too :)