Small-Step Live Programming by Example. - Kasra Ferdowsifard; Allen Ordookhanians; Hila Peleg; Sorin Lerner; Nadia Polikarpova (UIST, 2020)

LooPy: interactive program synthesis with control structures. - Kasra Ferdowsifard; Shraddha Barke; Hila Peleg; Sorin Lerner; Nadia Polikarpova (Proc. ACM Program. Lang., 2021)

Investigating the Impact of Using a Live Programming Environment in a CS1 Course. - Ruanqianqian (Lisa) Huang; Kasra Ferdowsi; Ana Selvaraj; Adalbert Gerald Soosai Raj; Sorin Lerner (SIGCSE (1), 2022)

COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code. - Kasra Ferdowsi; Jack Williams 001; Ian Drosos; Andrew D. Gordon 001; Carina Negreanu; Nadia Polikarpova; Advait Sarkar; Benjamin Zorn 001 (VL/HCC, 2023)

The Usability of Advanced Type Systems: Rust as a Case Study. - Kasra Ferdowsi (CoRR, 2023)

Live Exploration of AI-Generated Programs. - Kasra Ferdowsi; Ruanqianqian (Lisa) Huang; Michael B. James; Nadia Polikarpova; Sorin Lerner (CoRR, 2023)

Validating AI-Generated Code with Live Programming. - Kasra Ferdowsi; Ruanqianqian (Lisa) Huang; Michael B. James; Nadia Polikarpova; Sorin Lerner (CHI, 2024)

Human-Centered Program Synthesis - Kasra Ferdowsifard (2024)

Bottom-Up Synthesis of Memory Mutations with Separation Logic. - Kasra Ferdowsi; Hila Peleg (ECOOP, 2025)

Bottom-Up Synthesis of Memory Mutations with Separation Logic (Artifact). - Kasra Ferdowsi; Hila Peleg (Dagstuhl Artifacts Ser., 2025)