{"language":[{"iso":"eng"}],"series_title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi":"10.4230/LIPIcs.ECOOP.2026.23","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-423-9"]},"author":[{"full_name":"Schiebel, Fabian Benedikt","orcid":"0009-0008-6867-9802","last_name":"Schiebel","first_name":"Fabian Benedikt","id":"55745"},{"id":"59256","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","full_name":"Bodden, Eric"}],"year":"2026","title":"Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding","intvolume":"       372","publication_status":"published","date_updated":"2026-07-08T12:53:12Z","date_created":"2026-07-08T12:48:44Z","type":"conference","publication":"40th European Conference on Object-Oriented Programming (ECOOP 2026)","_id":"66385","publisher":"Schloss Dagstuhl – Leibniz-Zentrum für Informatik","page":"23:1–23:28","volume":372,"editor":[{"full_name":"Krebbers, Robbert","first_name":"Robbert","last_name":"Krebbers"},{"full_name":"Silva, Alexandra","first_name":"Alexandra","last_name":"Silva"}],"user_id":"55745","conference":{"name":"40th European Conference on Object-Oriented Programming (ECOOP)","start_date":"2026-06-29","location":"Brussels","end_date":"2026-07-03"},"status":"public","place":"Dagstuhl, Germany","citation":{"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>.","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>","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>.","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.","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>.","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)} }","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>"}}