Michael B. James -

Registered user since Mon 11 Nov 2019

Name:Michael B. James

Affiliation:University of California at San Diego

Personal website:http://michaelbjames.com

Twitter:https://twitter.com/LambdaLinguist

GitHub:https://github.com/michaelbjames

Research interests:Programming Languages, Program Synthesis, Human-Computer Interactions

Contributions

SPLASH 2023	Author of Grounded Copilot: How Programmers Interact with Code-Generating Models within the OOPSLA-track
PLDI 2023	Student Volunteer Co-Chair in Volunteering Committee within the Volunteering-track Volunteers Co-Chair in Organizing Committee
SPLASH 2021	Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the SIGPLAN Papers-track
SPLASH 2020	Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track
ICFP 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2020	Author of Synthesis from Partial Refinement Types within the Student Research Competition-track Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track