https://michaelbjames.com/portfolio/portfolio-1/ https://michaelbjames.com/portfolio/portfolio-2/ https://michaelbjames.com/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00-07:00 https://michaelbjames.com/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00-07:00 https://michaelbjames.com/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00-07:00 https://michaelbjames.com/posts/2019/12/ghci/ 2019-12-19T00:00:00-08:00 https://michaelbjames.com/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00-08:00 https://michaelbjames.com/publication/2019-11-11-hoogle-plus 2019-11-01T00:00:00-07:00 https://michaelbjames.com/publication/2020-11-15-digging-for-fold 2020-11-15T00:00:00-08:00 https://michaelbjames.com/publication/2021-11-09-program-recognition 2021-11-09T00:00:00-08:00 https://michaelbjames.com/publication/2023-04-06-grounded-copilot 2023-04-06T00:00:00-07:00 https://michaelbjames.com/publication/2024-03-21-exploratory-phenomena-synthesis 2024-03-21T00:00:00-07:00 https://michaelbjames.com/publication/2024-05-11-validating-ai-code-live-programming 2024-05-11T00:00:00-07:00 https://michaelbjames.com/talks/2019-01-18-talk-1 2019-01-18T00:00:00-08:00 https://michaelbjames.com/talks/2020-01-22-popl20-src 2020-01-22T00:00:00-08:00 https://michaelbjames.com/talks/2020-07-23-research-exam 2020-07-23T00:00:00-07:00 https://michaelbjames.com/talks/2020-11-15-digging-for-fold 2020-11-15T00:00:00-08:00 https://michaelbjames.com/talks/2021-10-20-digging-for-fold 2021-10-20T00:00:00-07:00 https://michaelbjames.com/talks/2021-11-09-program-recognition 2021-11-09T00:00:00-08:00 https://michaelbjames.com/talks/2023-10-25-grounded-copilot 2023-10-25T00:00:00-07:00 https://michaelbjames.com/teaching/2015-spring-teaching-1 2015-01-01T00:00:00-08:00 https://michaelbjames.com/teaching/2019-fall-cse-130 2019-10-01T00:00:00-07:00 https://michaelbjames.com/ https://michaelbjames.com/categories/ https://michaelbjames.com/collection-archive/ https://michaelbjames.com/cv/ https://michaelbjames.com/page-archive/ https://michaelbjames.com/portfolio/ https://michaelbjames.com/publications/ https://michaelbjames.com/sitemap/ https://michaelbjames.com/tags/ https://michaelbjames.com/talkmap.html https://michaelbjames.com/talks/ https://michaelbjames.com/teaching/ https://michaelbjames.com/terms/ https://michaelbjames.com/year-archive/ https://michaelbjames.com/markdown_generator/ https://michaelbjames.com/files/Exploratory-Phenomena-in-Program-Synthesis.pdf 2025-08-07T06:18:46-07:00 https://michaelbjames.com/files/Research%20Exam.pdf 2025-08-07T06:18:46-07:00 https://michaelbjames.com/files/digging-for-fold-slides-oopsla-2021.pdf 2025-08-07T06:18:46-07:00 https://michaelbjames.com/files/digging-for-fold.pdf 2025-08-07T06:18:46-07:00 https://michaelbjames.com/files/michaelbjamescv.pdf 2025-08-07T06:18:46-07:00 https://michaelbjames.com/files/michaelbjamesresume.pdf 2025-08-07T06:18:46-07:00 https://michaelbjames.com/files/partial-refinements-src.pdf 2025-08-07T06:18:46-07:00 https://michaelbjames.com/files/program-recognition-in-synthesis.pdf 2025-08-07T06:18:46-07:00 https://michaelbjames.com/files/program-recognition-slides-plateau-2021.pdf 2025-08-07T06:18:46-07:00 https://michaelbjames.com/files/tygar-2020.pdf 2025-08-07T06:18:46-07:00 https://michaelbjames.com/talkmap/map.html 2025-08-07T06:18:46-07:00