{"year":"2023","_id":"45312","title":"Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis","citation":{"short":"K. Karakaya, E. Bodden, in: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, 2023.","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>.","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>","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>","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>.","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>.","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} }"},"publication":"2023 IEEE Conference on Software Testing, Verification and Validation (ICST)","publisher":"IEEE","user_id":"70410","publication_status":"published","doi":"10.1109/icst57152.2023.00036","status":"public","author":[{"full_name":"Karakaya, Kadiray","last_name":"Karakaya","first_name":"Kadiray"},{"full_name":"Bodden, Eric","last_name":"Bodden","first_name":"Eric"}],"department":[{"_id":"76"}],"type":"conference","date_updated":"2023-05-29T12:12:17Z","date_created":"2023-05-29T12:09:43Z"}