Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 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: