Michael B. James

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Plagiarism Detection

Randomly Selected

Programming Paradigms

Top Venues

Proc. ACM Program. Lang.

Publications

Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner
Validating AI-Generated Code with Live Programming. CHI (2024)
Shraddha Barke, Michael B. James, Nadia Polikarpova
Grounded Copilot: How Programmers Interact with Code-Generating Models. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Kasra Ferdowsi, Ruanqianqian (Lisa) Huang, Michael B. James, Nadia Polikarpova, Sorin Lerner
Live Exploration of AI-Generated Programs. CoRR (2023)
Shraddha Barke, Michael B. James, Nadia Polikarpova
Grounded Copilot: How Programmers Interact with Code-Generating Models. CoRR (2022)
Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova
Digging for fold: synthesis-aided API discovery for Haskell. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)