@PhdThesis{phdSpaeth, author = {Johannes Sp\"ath}, title = {Synchronized Pushdown Systems for Pointer and Data-Flow Analysis}, school = {Universit\"at Paderborn}, year = 2019, month = jan, awarded = {Summa cum laude, UPB Doctoral Dissertation Award, Ernst Denert Software-Engineering Award and Fraunhofer IuK Dissertation Award}, url = {https://www.bodden.de/pubs/phdSpaeth.pdf}, }