Michael James

Orcid: 0009-0007-2219-9355

Affiliations:
  • University of California at San Diego, CA, USA


According to our database1, Michael James authored at least 6 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Exploratory Phenomena in Program Synthesis
PhD thesis, 2024

Validating AI-Generated Code with Live Programming.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023
Grounded Copilot: How Programmers Interact with Code-Generating Models.
Proc. ACM Program. Lang., April, 2023

Live Exploration of AI-Generated Programs.
CoRR, 2023

2020
Digging for fold: synthesis-aided API discovery for Haskell.
Proc. ACM Program. Lang., 2020

Program synthesis by type-guided abstraction refinement.
Proc. ACM Program. Lang., 2020


  Loading...