Sara Baradaran

According to our database, Sara Baradaran authored at least 7 papers between 2022 and 2026.

Collaborative distances:

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

2026

LLM-Integrated Declarative Program Analysis.

Sara Baradaran, Amirmohammad Nazari, Mukund Raghothaman

Proceedings of the 15th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2026

Effective Minimization of Failure-Inducing Tests Using Convention-Aware Slicing.

Sara Baradaran, Mukund Raghothaman

Proceedings of the IEEE International Conference on Software Analysis, 2026

2025

CN²F: a cloud-native cellular network framework.

Sepehr Ganji, Shirin Behnaminia, Ali Ahangarpour, Erfan Mazaheri, Sara Baradaran, Zeinab Zali, Mohammad Reza Heidarpour, Ali Rakhshan, Mahsa Faraji Shoyari

Clust. Comput., September, 2025

2024

Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation.

Sara Baradaran, Liyan Huang, Mukund Raghothaman, Weihang Wang

CoRR, 2024

2023

A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes.

Sara Baradaran, Mahdi Heidari, Ali Kamali, Maryam Mouzarani

Int. J. Inf. Sec., October, 2023

CN2F: A Cloud-Native Cellular Network Framework.

Sepehr Ganji, Shirin Behnaminia, Ali Ahangarpour, Erfan Mazaheri, Sara Baradaran, Zeinab Zali, Mohammad Reza Heidarpour, Ali Rakhshan, Mahsa Faraji Shoyari

CoRR, 2023

2022

A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes.

Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari

Proceedings of the Tests and Proofs - 16th International Conference, 2022