@article{shb21lossless, title = "Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis", journal = "European Conference on Object-Oriented Programming (ECOOP)", year = "2021", author = "Philipp Schubert and Ben Hermann and Eric Bodden", url = {https://www.bodden.de/pubs/shb21lossless.pdf}, awarded = {Distinguished Paper Award} }