Luisa Cicolini

According to our database, Luisa Cicolini authored at least 7 papers between 2022 and 2025.

Collaborative distances:

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

2025

bv_decide SMT-COMP 2025 Submission.

Henrik Böving, Siddharth Bhat, Alex C. Keizer, Luisa Cicolini, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

Henrik Böving, Siddharth Bhat, Alex C. Keizer, Luisa Cicolini, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

Henrik Böving, Siddharth Bhat, Alex C. Keizer, Luisa Cicolini, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser

Dataset, June, 2025

bv_decide SMT-COMP 2025 Submission.

Henrik Böving, Siddharth Bhat, Alex C. Keizer, Luisa Cicolini, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser

Dataset, June, 2025

Interactive Bitvector Reasoning using Verified Bit-Blasting.

Henrik Böving, Siddharth Bhat, Luisa Cicolini, Alex C. Keizer, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser

Proc. ACM Program. Lang., 2025

2024

One Automaton to Rule Them All: Beyond Multiple Regular Expressions Execution.

Luisa Cicolini, Filippo Carloni, Marco D. Santambrogio, Davide Conficconi

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2022

Surfing the Wavefront of Genome Alignment.

Beatrice Branchini, Giulia Gerometta, Luisa Cicolini, Alberto Zeni, Emanuele Del Sozzo, Marco D. Santambrogio

Proceedings of the IEEE International Symposium on Circuits and Systems, 2022