I attended a bunch of great talks at #POPL yesterday. My highlight yesterday was a delightful talk applying program synthesis techniques for generating visualisations! Elegant and practical. https://popl20.sigplan.org/details/POPL-2020-Research-Papers/53/Visualization-by-Example