Paper accepted at VMCAI

We are glad to announce that our paper on Tarsis, a novel domain for string analysis, has been accepted at VMCAI 2021! You can download a preprint version of the paper here.