CV

Publications

Validating AI-Generated Code with Live Programming

Ferdowsi K., Huang R., James M. B., Polikarpova N., Lerner S. “Live Exploration of AI-Generated Programs”. CHI 2024.

Exploratory Phenomena in Program Synthesis

James M. B. “Exploratory Phenomena in Program Synthesis”. PhD Thesis. Proquest. 2024.

Grounded Copilot: How Programmers Interact with Code-Generating Models

Barke S., James M. B., Polikarpova N., “Grounded Copilot: How Programmers Interact with Code-Generating Models”. Proceedings of the ACM on Programming Languages Volume 7, Issue OOPSLA1, Article No.: 78, pp 85–111. doi.org/10.1145/3586030.

Program Recognition in Synthesis

James M. B., Polikarpova N., “Program Recognition in Synthesis” PLATEAU 2021.

Digging for Fold: Synthesis-Aided API Discovery for Haskell

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., vol. 4, no. OOPSLA, p. 205:1–205:27, Nov. 2020, doi: 10.1145/3428273.

Program Synthesis by Type-Guided Abstraction Refinement

Zheng Guo, Michael B. James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova, “Program synthesis by type-guided abstraction refinement,” Proc. ACM Program. Lang., vol. 4, no. POPL, p. 12:1–12:28, Dec. 2019, doi: 10.1145/3371080.

Education

Ph.D in progress, University of California, San Diego, began 2018
M.S. Computer Science, University of California, San Diego, 2021
B.S. Computer Science, Tufts University, 2015

Work experience

Summer 2022: Microsoft, Research Intern
- Worked with PROSE team on interface to automatic refactoring tool
2017-2018: Jana Mobile, Software Engineer II (Boston)
- Managed financial monitoring pipeline
- Wrote several end-to-end anti-fraud features
- Made internal data pipeline tools easier to use for other devs
2015-2016: Uber Technologies, Software Engineer (San Francisco)
- Migrated and maintained Uber for Business from Backbone to React/Redux
- Designed and wrote first Golang microservice for team of 20 engineers
- Presented internal talks about functional reactive programming; productive git education; Golang
Summer 2014: Prezi, Elm Intern (Budapest)
- collaborated with Evan Czaplicki, Elm-lang’s author
- Built first iteration of elm-reactor.
- Authored blog post about it
Summer 2013: Nomic Inc, Mobile Intern (San Francisco)
- Supervisor: Nate Boyd