Paper on Tarsis accepted at VMCAI

I’m extremely happy to announce that a paper I co-authored about Tarsis (a novel abstract domain for the static analysis of string values) has been accepted at VMCAI 2021! Several years already passed since my last publication on string analysis, but this field is more active and challenging than ever before!

Leave a Reply

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