Abtin Molavi
Orcid: 0009-0006-1841-9565
According to our database1,
Abtin Molavi
authored at least 10 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025
2023
2022
Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022
2021
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021
2020
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis.
Proceedings of the Proceedings 11th International Symposium on Games, 2020
Proceedings of the Software Verification - 12th International Conference, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020