@inproceedings{madsen2018safe,
    title       = {{Safe and Sound Program Analysis with Flix}},
    author      = {Madsen, Magnus and Lhot{\'a}k, Ond{\v{r}}ej},
    booktitle   = {International Symposium on Software Testing and Analysis (ISSTA)},
    year        = {2018},
}