Cezar-Constantin Andrici

Identifiers

• name variant Cezar-Constantin Andrici 0.60 · backfill

Papers (1)

1. Misquoted No More: Securely Extracting F* Programs with IO cs.PL · 2026 · author #1

Mentions

• 2602.19973 #1 · arxiv_oai · confidence 0.70 Cezar-Constantin Andrici

Frequent Coauthors

• Abigail Pribisova 1 shared papers
• Catalin Hritcu 1 shared papers
• Danel Ahman 1 shared papers
• Exequiel Rivas 1 shared papers
• Th\'eo Winterhalter 1 shared papers