Flavio Ascari

According to our database, Flavio Ascari authored at least 6 papers between 2023 and 2025.

Collaborative distances:

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

2025

Broadening the applicability of local completeness analysis with intensional and extensional guarantees.

Flavio Ascari, Roberto Bruni, Roberta Gori

Theor. Comput. Sci., 2025

Revealing Sources of (Memory) Errors via Backward Analysis.

Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo

Proc. ACM Program. Lang., 2025

2024

Limits and Difficulties in the Design of Under-Approximation Abstract Domains.

Flavio Ascari, Roberto Bruni, Roberta Gori

ACM Trans. Program. Lang. Syst., September, 2024

2023

Sufficient Incorrectness Logic: SIL and Separation SIL.

Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo

CoRR, 2023

Logics for Extensional, Locally Complete Analysis via Domain Refinements.

Flavio Ascari, Roberto Bruni, Roberta Gori

Proceedings of the Programming Languages and Systems, 2023

Exploiting Adjoints in Property Directed Reachability Analysis.

Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 35th International Conference, 2023