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.

Leave a Reply

Your email address will not be published. Required fields are marked *