Michael B. James

Michael B. James is a researcher at the University of California at San Diego, focusing on Programming Languages, Program Synthesis, and Human-Computer Interactions. He serves on organizing and review committees for conferences like PLDI and SPLASH.

• Research Interests: Programming Languages, Program Synthesis, Human-Computer Interactions, Functional Programming
• Conference Roles: PLDI 2023/2024 Volunteers Co-Chair, SPLASH 2023/2021/2020 author, POPL 2020 committee member

His recent work explores how programmers interact with code-generating models and leverages type systems for synthesis tasks. Articles span API discovery in Haskell, abstraction refinement, and refinement types for program synthesis.

As a GitHub contributor, he maintains the Academic Pages template, demonstrating technical proficiency in web-based academic outreach.