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