More work on episode 10

Author: serras

podcast/11/export-csv-to-md.py renamed to podcast/10/export-csv-to-md.py

@@ -0,0 +1,9 @@
+---
+title: Nadia Polikarpova
+episode: 10
+buzzsproutId: 9846037
+recorded: 2021-12-19
+published: 2022-03-06
+---
+
+Nadia Polikarpova is interviewed by Alejandro Serrano and Niki Vazou. Nadia is an assistant professor at UCSD, where she works on improving how we write programs. They talk about some of her projects, like Hoogle+ and Synquid, and how she approaches teaching about these topics.

podcast/10/index.markdown

@@ -0,0 +1,9 @@
+* [Nadia Polikarpova](https://cseweb.ucsd.edu/~npolikarpova/)
+* [Hoogle](https://hoogle.haskell.org/)
+* [Hoogle+](https://hoogleplus.goto.ucsd.edu/)
+  * [POPL'20 paper: _Program Synthesis by Type-Guided Abstraction Refinement_](https://cseweb.ucsd.edu/~npolikarpova/publications/popl20.pdf)
+  * [OOPSLA'20 paper: _Digging for Fold: Synthesis-Aided API Discovery for Haskell_](https://cseweb.ucsd.edu/~npolikarpova/publications/oopsla20-hplus.pdf)
+* [Anti-unification](https://en.wikipedia.org/wiki/Anti-unification_(computer_science)) (Wikipedia)
+* [Dependent Haskell](https://gitlab.haskell.org/ghc/ghc/-/wikis/dependent-haskell)
+* [Synquid](http://comcom.csail.mit.edu/comcom/#Synquid)
+* [CSE 291: Program Synthesis](https://github.com/nadia-polikarpova/cse291-program-synthesis/wiki)