Shaheen Cullen-Baratloo

According to our database, Shaheen Cullen-Baratloo authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity.

Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2021

Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion.

Gabriel Bessler, Josh Cordova, Shaheen Cullen-Baratloo, Sofiane Dissem, Emily Lu, Sofia Devin, Ibrahim Abughararh, Lucas Bang

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021