Pedro Carrott
Pedro Carrott
Research
Publications
Experience
Personal
Light
Dark
Automatic
Research
I’ll be updating this soon enough 👀
Talks
Pedro Carrott
,
Sacha-Élie Ayoun
,
Azalea Raad
(2025).
Scalable Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Refutation
. In
TPSA 2025
.
Cite
×