Carmine Abate

发表

Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2018, ArXiv.

Roberto Blanco, Benjamin C. Pierce, Catalin Hritcu, 2018, CCS.

Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2018, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).

Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2019, ESOP.

Bas Spitters, Théo Winterhalter, Exequiel Rivas, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).

Matteo Busi, Stelios Tsampas, Carmine Abate, 2021, APLAS.

Roberto Blanco, Marco Patrignani, Deepak Garg, 2021, ACM Trans. Program. Lang. Syst..

Marco Patrignani, Deepak Garg, Carmine Abate, 2017 .