{"title":"Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis","type":"conference","date_updated":"2025-04-07T10:10:54Z","publication":"2023 IEEE Conference on Software Testing, Verification and Validation (ICST)","_id":"59412","doi":"10.1109/icst57152.2023.00036","year":"2023","publisher":"IEEE","user_id":"15249","language":[{"iso":"eng"}],"citation":{"short":"K. Karakaya, E. Bodden, in: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, 2023.","bibtex":"@inproceedings{Karakaya_Bodden_2023, title={Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis}, DOI={<a href=\"https://doi.org/10.1109/icst57152.2023.00036\">10.1109/icst57152.2023.00036</a>}, booktitle={2023 IEEE Conference on Software Testing, Verification and Validation (ICST)}, publisher={IEEE}, author={Karakaya, Kadiray and Bodden, Eric}, year={2023} }","apa":"Karakaya, K., &#38; Bodden, E. (2023). Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. <i>2023 IEEE Conference on Software Testing, Verification and Validation (ICST)</i>. <a href=\"https://doi.org/10.1109/icst57152.2023.00036\">https://doi.org/10.1109/icst57152.2023.00036</a>","chicago":"Karakaya, Kadiray, and Eric Bodden. “Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis.” In <i>2023 IEEE Conference on Software Testing, Verification and Validation (ICST)</i>. IEEE, 2023. <a href=\"https://doi.org/10.1109/icst57152.2023.00036\">https://doi.org/10.1109/icst57152.2023.00036</a>.","mla":"Karakaya, Kadiray, and Eric Bodden. “Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis.” <i>2023 IEEE Conference on Software Testing, Verification and Validation (ICST)</i>, IEEE, 2023, doi:<a href=\"https://doi.org/10.1109/icst57152.2023.00036\">10.1109/icst57152.2023.00036</a>.","ama":"Karakaya K, Bodden E. Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. In: <i>2023 IEEE Conference on Software Testing, Verification and Validation (ICST)</i>. IEEE; 2023. doi:<a href=\"https://doi.org/10.1109/icst57152.2023.00036\">10.1109/icst57152.2023.00036</a>","ieee":"K. Karakaya and E. Bodden, “Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis,” 2023, doi: <a href=\"https://doi.org/10.1109/icst57152.2023.00036\">10.1109/icst57152.2023.00036</a>."},"status":"public","publication_status":"published","department":[{"_id":"76"}],"date_created":"2025-04-07T10:10:36Z","author":[{"first_name":"Kadiray","last_name":"Karakaya","full_name":"Karakaya, Kadiray","id":"70410","orcid":"https://orcid.org/0000-0001-9266-2084"},{"full_name":"Bodden, Eric","id":"59256","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden"}]}