(Google Scholar) I’ve typically been interested in a connected set of technical themes:
- Domain-specific language design, analysis, and optimization
- Compiler design with domain-specific semantics
- Compiler infrastructure development
I’m working on applying these themes to problems in artificial intelligence. My main focus has been probabilistic programming, but recently I’ve also begun to explore these themes in the context of automatic differentiation and programming paradigms with other unique domain semantics (like quantum computing).
In general, I want to know how to make intelligent systems design possible, faster, and safer.