Kasra Ferdowsi
Identifiers
- name variant Kasra Ferdowsi 0.60 · backfill
Papers (2)
- Validating AI-Generated Code with Live Programming cs.HC · 2023 · author #1
- The Usability of Advanced Type Systems: Rust as a Case Study cs.PL · 2023 · author #1
Mentions
- 2306.09541 #1 · arxiv_oai · confidence 0.70 Kasra Ferdowsi
- 2301.02308 #1 · arxiv_oai · confidence 0.70 Kasra Ferdowsi
Frequent Coauthors
- Michael B. James 1 shared papers
- Nadia Polikarpova 1 shared papers
- Ruanqianqian Huang 1 shared papers
- Sorin Lerner 1 shared papers