SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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

Twitter: https://twitter.com/LambdaLinguist

GitHub: https://github.com/michaelbjames

Research interests: Programming Languages, Program Synthesis

Contributions

SPLASH 2020 Digging for Fold: Synthesis-Aided API Discovery for Haskell
Digging for Fold: Synthesis-Aided API Discovery for Haskell
Show activities from other conferences

SPLASH 2020-profile
View general profile