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