---
_id: '66385'
author:
- first_name: Fabian Benedikt
  full_name: Schiebel, Fabian Benedikt
  id: '55745'
  last_name: Schiebel
  orcid: 0009-0008-6867-9802
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized
    Data-Flow Encoding. In: Krebbers R, Silva A, eds. <i>40th European Conference
    on Object-Oriented Programming (ECOOP 2026)</i>. Vol 372. Leibniz International
    Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik;
    2026:23:1–23:28. doi:<a href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">10.4230/LIPIcs.ECOOP.2026.23</a>'
  apa: Schiebel, F. B., &#38; Bodden, E. (2026). Scaling Bottom-Up IFDS Taint Analysis
    with Optimized Data-Flow Encoding. In R. Krebbers &#38; A. Silva (Eds.), <i>40th
    European Conference on Object-Oriented Programming (ECOOP 2026)</i> (Vol. 372,
    p. 23:1–23:28). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. <a href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">https://doi.org/10.4230/LIPIcs.ECOOP.2026.23</a>
  bibtex: '@inproceedings{Schiebel_Bodden_2026, place={Dagstuhl, Germany}, series={Leibniz
    International Proceedings in Informatics (LIPIcs)}, title={Scaling Bottom-Up IFDS
    Taint Analysis with Optimized Data-Flow Encoding}, volume={372}, DOI={<a href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">10.4230/LIPIcs.ECOOP.2026.23</a>},
    booktitle={40th European Conference on Object-Oriented Programming (ECOOP 2026)},
    publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Schiebel,
    Fabian Benedikt and Bodden, Eric}, editor={Krebbers, Robbert and Silva, Alexandra},
    year={2026}, pages={23:1–23:28}, collection={Leibniz International Proceedings
    in Informatics (LIPIcs)} }'
  chicago: 'Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint
    Analysis with Optimized Data-Flow Encoding.” In <i>40th European Conference on
    Object-Oriented Programming (ECOOP 2026)</i>, edited by Robbert Krebbers and Alexandra
    Silva, 372:23:1–23:28. Leibniz International Proceedings in Informatics (LIPIcs).
    Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026. <a
    href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">https://doi.org/10.4230/LIPIcs.ECOOP.2026.23</a>.'
  ieee: 'F. B. Schiebel and E. Bodden, “Scaling Bottom-Up IFDS Taint Analysis with
    Optimized Data-Flow Encoding,” in <i>40th European Conference on Object-Oriented
    Programming (ECOOP 2026)</i>, Brussels, 2026, vol. 372, p. 23:1–23:28, doi: <a
    href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">10.4230/LIPIcs.ECOOP.2026.23</a>.'
  mla: Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis
    with Optimized Data-Flow Encoding.” <i>40th European Conference on Object-Oriented
    Programming (ECOOP 2026)</i>, edited by Robbert Krebbers and Alexandra Silva,
    vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28,
    doi:<a href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">10.4230/LIPIcs.ECOOP.2026.23</a>.
  short: 'F.B. Schiebel, E. Bodden, in: R. Krebbers, A. Silva (Eds.), 40th European
    Conference on Object-Oriented Programming (ECOOP 2026), Schloss Dagstuhl – Leibniz-Zentrum
    für Informatik, Dagstuhl, Germany, 2026, p. 23:1–23:28.'
conference:
  end_date: 2026-07-03
  location: Brussels
  name: 40th European Conference on Object-Oriented Programming (ECOOP)
  start_date: 2026-06-29
date_created: 2026-07-08T12:48:44Z
date_updated: 2026-07-08T12:53:12Z
doi: 10.4230/LIPIcs.ECOOP.2026.23
editor:
- first_name: Robbert
  full_name: Krebbers, Robbert
  last_name: Krebbers
- first_name: Alexandra
  full_name: Silva, Alexandra
  last_name: Silva
intvolume: '       372'
language:
- iso: eng
page: 23:1–23:28
place: Dagstuhl, Germany
publication: 40th European Conference on Object-Oriented Programming (ECOOP 2026)
publication_identifier:
  isbn:
  - 978-3-95977-423-9
  issn:
  - 1868-8969
publication_status: published
publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
series_title: Leibniz International Proceedings in Informatics (LIPIcs)
status: public
title: Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding
type: conference
user_id: '55745'
volume: 372
year: '2026'
...