Flavio Ascari

According to our database, Flavio Ascari authored at least 7 papers between 2022 and 2026.

Collaborative distances:

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

2026

U-Turn: Enhancing Incorrectness Analysis by Reversing Direction.

Flavio Ascari, Roberto Bruni, Roberta Gori, Azalea Raad

Proc. ACM Program. Lang., 2026

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

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

2022

Limits and difficulties in the design of under-approximation abstract domains.

Flavio Ascari, Roberto Bruni, Roberta Gori

Proceedings of the Foundations of Software Science and Computation Structures, 2022