@BenjaBrock @johnregehr @cestlemieux @moarbugs @ElectronicKiwi @alokpathy

(2/2) You can also find a more in-depth tutorial at youtu.be/1_KoZIWmXTE where I walk through the process of building an efficient synthesizer for a single Pandas function. Finally, the paper is available at rbavishi.github.io/docs/oops…

(1/2) For the past year, I have been working on AutoPandas, a program synthesis system for the hugely popular Python library Pandas. You can try it out at autopandas.io. For technical details, you can check out my talk at OOPSLA 2019 here: youtu.be/xdldh-nr-io