@article{key=popl19spds,
author = {Sp{\"a}th, Johannes and Ali, Karim and Bodden, Eric},
title = {Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems},
journal = {Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages},
volume = {3},
number = {POPL},
pages = {48:1--48:29},
month = jan,
year = {2019},
}