Kostyantyn Vorobyov, Yang Zhao, Padmanabhan Krishnan. Scalable string analysis: an experience report. In Lisa Nguyen Quang Do, Caterina Urban, editors, SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021. pages 43-48, ACM, 2021. [doi]
Abstract is missing.