@InProceedings{oopsla17ideal, author = {Johannes Sp\"ath and Karim Ali and Eric Bodden}, title = {IDEal: Efficient and Precise Alias-aware Dataflow Analysis}, booktitle = {2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH)}, year = 2017, month = oct, publisher = {ACM Press}, awarded = {Artifact Evaluation Award}, keywords = {ATTRACT,ITSECWEBSITE,CROSSING}, url = {https://bodden.de/pubs/sab17ideal.pdf}, }