Carolyn Zech

Identifiers

• name variant Carolyn Zech 0.60 · backfill

Papers (1)

1. Verifying the Rust Standard Library cs.LO · 2026 · author #12

Mentions

• 2606.17374 #12 · arxiv_oai · confidence 0.70 Carolyn Zech

Frequent Coauthors

• Bart Jacobs 1 shared papers
• Byron Cook 1 shared papers
• Celina Val 1 shared papers
• Felipe R. Monteiro 1 shared papers
• Michael Tautschnig 1 shared papers
• Rahul Kumar 1 shared papers
• Ranjit Jhala 1 shared papers
• Rebecca Rumbul 1 shared papers
• Remi Delmas 1 shared papers
• Thanh Nguyen 1 shared papers
• Zyad Hassan 1 shared papers