Program synthesis by type-guided abstraction refinement. - Zheng Guo 003; Michael James 003; David Justo; Jiaxiao Zhou; Ziteng Wang; Ranjit Jhala; Nadia Polikarpova (Proc. ACM Program. Lang., 2020)

Digging for fold: synthesis-aided API discovery for Haskell. - Michael B. James; Zheng Guo 003; Ziteng Wang; Shivani Doshi; Hila Peleg; Ranjit Jhala; Nadia Polikarpova (Proc. ACM Program. Lang., 2020)

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

Grounded Copilot: How Programmers Interact with Code-Generating Models. - Shraddha Barke; Michael B. James; Nadia Polikarpova (Proc. ACM Program. Lang., 2023)

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

Exploratory Phenomena in Program Synthesis - Michael James 003 (2024)