TFP Preprint on Arxiv

:: Research, PL, Program Analysis, SMT

By: Joey Eremondi

I’ll be giving a talk entitled “Set Constraints, Pattern Match Analysis, and SMT” at TFP 2019 in Vancouver! It’s based on a draft paper, which can be found on arxiv. You can also view the slides for the talk.