Pedro Carrott

According to our database, Pedro Carrott authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness (Artifact).

Pedro Carrott, Sacha-Élie Ayoun, Azalea Raad

Dagstuhl Artifacts Ser., 2025

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.

Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness.

Pedro Carrott, Sacha-Élie Ayoun, Azalea Raad

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

CoqPyt: Proof Navigation in Python in the Era of LLMs.

Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024