Michael James

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Program Synthesis

Recursive Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova
Program synthesis by type-guided abstraction refinement. Proc. ACM Program. Lang. 4 (POPL) (2020)
Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova
Program Synthesis by Type-Guided Abstraction Refinement. CoRR (2019)