Léon Frénot

Orcid: 0009-0000-1880-0602

According to our database¹, Léon Frénot authored at least 7 papers between 2024 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

[BibT_eX]

[DOI]

Dataset, June, 2025

AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., May, 2025

Interactive Bitvector Reasoning using Verified Bit-Blasting.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

2024

Reducing the Overhead of Exact Profiling by Reusing Affine Variables.

[BibT_eX]

[DOI]

Léon Frénot

Fernando Magno Quintão Pereira

Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, 2024

Léon Frénot

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...