Machine Learning and Program Analysis Topics
Under construction... Here are the topic from last seminar, which we never covered.
- Can Programming Languages Research impact Deep Learning 2.0? (POPL 2020 keynote).
- Three Modern Roles for Logic in AI (PODS 2020)
- Some concrete papers.
- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures (VMCAI 2020).
- Proving Data-Poisoning Robustness in Decision Trees (PLDI 2020).
- Many applications of ML in PL!
- Learning Fast and Precise Numerical Analysis (PLDI 2020).
- Workshops
- Machine Learning and Programming Languages (MAPL workshop).
- Languages for Inference! (LAFI workshop).
- Related: A Simple Differentiable Programming Language (POPL 2020)