Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2026 | Conference Paper | LibreCat-ID: 66385
Schiebel, F. B., & Bodden, E. (2026). Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In R. Krebbers & A. Silva (Eds.), 40th European Conference on Object-Oriented Programming (ECOOP 2026) (Vol. 372, p. 23:1–23:28). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66433
Schiebel, F. B., & Bodden, E. (2026). Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In R. Krebbers & A. Silva (Eds.), 40th European Conference on Object-Oriented Programming (ECOOP 2026) (Vol. 372, p. 23:1–23:28). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI