Prototyping a query compiler using Coq
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- JFLA 2017
I am a Research Staff Member at the Watson Research Center. My main research topic is on the design and implementation of programming languages. I am currently working on probabilistic programming.
Since I joined IBM, I have worked on many different projects which includes this following open source projects:
Before joining IBM, I have in particular developed the following languages: