About
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.
0Publications listed
Find Michael B. James elsewhere
Related Searches
You Might Also Like
David WalkerInria · Professor
Sankha Narayan GuriaNational and Kapodistrian University of Athens · Professor
Woosuk LeeInria · Researcher
Olivier FlückigerMax Planck Institute for Software Systems · Researcher- NNeelakantan R. KrishnaswamiUniversity of Cambridge · Professor
Robert Bruce FindlerMax Planck Institute for Software Systems · Professor