SafeRE: Building a production-quality regex library with agents

Building a production-quality, linear-time regular expression library for Java with agents.