@inproceedings{madsen2016tapas, title = {{Programming a Dataflow Analysis in Flix}}, author = {Madsen, Magnus and Yee, Ming-Ho and Lhot{\'a}k, Ond{\v{r}}ej}, booktitle = {Tools for Automatic Program Analysis (TAPAS)}, year = {2016}, }