معرفی
Carmine Abate is affiliated with Inria Paris as a researcher. His work focuses on secure compilation, compiler correctness, and systems security, as evidenced by his contributions to the Principles of Secure Compilation (PriSC) track at POPL 2020.
Research Interests
His research spans programming languages, software engineering, and low-level programming, with a strong emphasis on ensuring security and correctness in compiler design and runtime systems.
Committee Roles
In 2024, he served as a Committee Member for PriSC, demonstrating his ongoing engagement in advancing secure compilation principles.
۰مقاله منتشرشده
