Rebecca Rumbul
Identifiers
- name variant Rebecca Rumbul 0.60 · backfill
Papers (1)
- Verifying the Rust Standard Library cs.LO · 2026 · author #9
Mentions
- 2606.17374 #9 · arxiv_oai · confidence 0.70 Rebecca Rumbul
Frequent Coauthors
- Bart Jacobs 1 shared papers
- Byron Cook 1 shared papers
- Carolyn Zech 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
- Remi Delmas 1 shared papers
- Thanh Nguyen 1 shared papers
- Zyad Hassan 1 shared papers