Kasra Ferdowsifard

According to our database, Kasra Ferdowsifard authored at least 10 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Bottom-Up Synthesis of Memory Mutations with Separation Logic (Artifact).

Kasra Ferdowsi, Hila Peleg

Dagstuhl Artifacts Ser., 2025

Bottom-Up Synthesis of Memory Mutations with Separation Logic.

Kasra Ferdowsi, Hila Peleg

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

Human-Centered Program Synthesis

Kasra Ferdowsifard

PhD thesis, 2024

Validating AI-Generated Code with Live Programming.

Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023

Live Exploration of AI-Generated Programs.

Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner

CoRR, 2023

The Usability of Advanced Type Systems: Rust as a Case Study.

Kasra Ferdowsi

CoRR, 2023

COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code.

Kasra Ferdowsi, Jack Williams, Ian Drosos, Andrew D. Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Benjamin Zorn

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

2022

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

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2021

LooPy: interactive program synthesis with control structures.

Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proc. ACM Program. Lang., 2021

2020

Small-Step Live Programming by Example.

Kasra Ferdowsifard, Allen Ordookhanians, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020