- Buffer Boundaries should be linear
- Atomic Operators are a very interesting topic that we've been looking into.
As of now, no linear algorithm is known for atomic operators that would work for ECMAScript semantics.
There was a recent paper [Hiroya Fujinami and Ichiro Hasuo, “Efficient Matching with Memoization for Regexes with Lookaround and Atomic Grouping”], but their algorithm does not work if the regex has nullable quantifiers (especially for ECMAScript where they behave uniquely).
We have found a linear algorithm that might work, but it's too early to tell for sure.