We stand with Ukraine  

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 4 papers between 2020 and 2023.

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

2023
Grounded Copilot: How Programmers Interact with Code-Generating Models.
[BibTeX]
[DOI]
Shraddha Barke
,
Michael B. James
,
Nadia Polikarpova
Proc. ACM Program. Lang., April, 2023

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

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

Program synthesis by type-guided abstraction refinement.
[BibTeX]
[DOI]
Zheng Guo
,
Michael James
,
David Justo
,
Jiaxiao Zhou
,
Ziteng Wang
,
Ranjit Jhala
,
Nadia Polikarpova
Proc. ACM Program. Lang., 2020


  Loading...