Dino Distefano, Matteo Marescotti, Cons Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne. Enhancing Compositional Static Analysis with Dynamic Analysis. In Vladimir Filkov, Baishakhi Ray, Minghui Zhou 0001, editors, Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024. pages 2121-2129, ACM, 2024. [doi]
@inproceedings{DistefanoMACSGH24,
title = {Enhancing Compositional Static Analysis with Dynamic Analysis},
author = {Dino Distefano and Matteo Marescotti and Cons Åhs and Sopot Cela and Gabriela Cunha Sampaio and Radu Grigore and Ákos Hajdu and Timotej Kapus and Ke Mao and Thibault Suzanne},
year = {2024},
doi = {10.1145/3691620.3695599},
url = {https://doi.org/10.1145/3691620.3695599},
researchr = {https://researchr.org/publication/DistefanoMACSGH24},
cites = {0},
citedby = {0},
pages = {2121-2129},
booktitle = {Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024},
editor = {Vladimir Filkov and Baishakhi Ray and Minghui Zhou 0001},
publisher = {ACM},
isbn = {979-8-4007-1248-7},
}