Mihai Nicola

Orcid: 0000-0003-0204-1626

According to our database¹, Mihai Nicola authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs.

[DOI]

Proc. ACM Program. Lang., 2025

2024

Inferring Accumulative Effects of Higher Order Programs.

[DOI]

CoRR, 2024

2023

Better Predicates and Heuristics for Improved Commutativity Synthesis.

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023