Marco Ciccal\`e

Identifiers

• name variant Marco Ciccal\`e 0.60 · backfill

Papers (1)

1. Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks cs.PL · 2026 · author #3

Mentions

• 2606.01076 #3 · arxiv_oai · confidence 0.70 Marco Ciccal\`e

Frequent Coauthors

• Daniela Ferreiro 1 shared papers
• Daniel Jurjo-Rivas 1 shared papers
• Jose F. Morales 1 shared papers
• Manuel Hermenegildo 1 shared papers
• Pedro L\'opez-Garc\'ia 1 shared papers