Michael B. James

Registered user since Mon 11 Nov 2019

Name:Michael B. James
Bio:

Michael James is a 3rd year PhD student at University of California, San Diego studying programming languages and program synthesis under Nadia Polikarpova. He worked as a software engineer for three years before starting his degree. His experience has guided him to research topics that will ultimately flow back to help other engineers and make programming easier for all.

Affiliation:University of California at San Diego
Personal website:http://michaelbjames.com
Research interests:Programming Languages, Program Synthesis

Contributions

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