Write a Blog >>
Michael B. James

Registered user since Mon 11 Nov 2019

Name:Michael B. James

Michael James is a 2nd 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.

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


POPL 2020 Synthesis from Partial Refinement Types
Program Synthesis by Type-Guided Abstraction Refinement
Show activities from other conferences

POPL 2020-profile
View general profile