---
_id: '5204'
author:
- first_name: Johannes
  full_name: Späth, Johannes
  last_name: Späth
- first_name: Karim
  full_name: Ali, Karim
  last_name: Ali
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Späth J, Ali K, Bodden E. IDEal: Efficient and Precise Alias-aware Dataflow
    Analysis. In: <i>2017 International Conference on Object-Oriented Programming,
    Languages and Applications (OOPSLA/SPLASH)</i>. ACM Press; 2017.'
  apa: 'Späth, J., Ali, K., &#38; Bodden, E. (2017). IDEal: Efficient and Precise
    Alias-aware Dataflow Analysis. In <i>2017 International Conference on Object-Oriented
    Programming, Languages and Applications (OOPSLA/SPLASH)</i>. ACM Press.'
  bibtex: '@inproceedings{Späth_Ali_Bodden_2017, title={IDEal: Efficient and Precise
    Alias-aware Dataflow Analysis}, booktitle={2017 International Conference on Object-Oriented
    Programming, Languages and Applications (OOPSLA/SPLASH)}, publisher={ACM Press},
    author={Späth, Johannes and Ali, Karim and Bodden, Eric}, year={2017} }'
  chicago: 'Späth, Johannes, Karim Ali, and Eric Bodden. “IDEal: Efficient and Precise
    Alias-Aware Dataflow Analysis.” In <i>2017 International Conference on Object-Oriented
    Programming, Languages and Applications (OOPSLA/SPLASH)</i>. ACM Press, 2017.'
  ieee: 'J. Späth, K. Ali, and E. Bodden, “IDEal: Efficient and Precise Alias-aware
    Dataflow Analysis,” in <i>2017 International Conference on Object-Oriented Programming,
    Languages and Applications (OOPSLA/SPLASH)</i>, 2017.'
  mla: 'Späth, Johannes, et al. “IDEal: Efficient and Precise Alias-Aware Dataflow
    Analysis.” <i>2017 International Conference on Object-Oriented Programming, Languages
    and Applications (OOPSLA/SPLASH)</i>, ACM Press, 2017.'
  short: 'J. Späth, K. Ali, E. Bodden, in: 2017 International Conference on Object-Oriented
    Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.'
date_created: 2018-10-31T12:46:50Z
date_updated: 2022-01-06T07:01:44Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T14:28:13Z
  date_updated: 2018-11-02T14:28:13Z
  file_id: '5273'
  file_name: sab17ideal.pdf
  file_size: 1021251
  relation: main_file
  success: 1
file_date_updated: 2018-11-02T14:28:13Z
has_accepted_license: '1'
keyword:
- ATTRACT
- ITSECWEBSITE
- CROSSING
language:
- iso: eng
main_file_link:
- url: ' http://bodden.de/pubs/sab17ideal.pdf'
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: 2017 International Conference on Object-Oriented Programming, Languages
  and Applications (OOPSLA/SPLASH)
publisher: ACM Press
status: public
title: 'IDEal: Efficient and Precise Alias-aware Dataflow Analysis'
type: conference
user_id: '477'
year: '2017'
...