From 6-7 October, Daniele Spampinato, who is a Ph.D. candidate at ETH Zürich, visited the Chair for Compiler Construction. Daniele's research focuses on representations of mathematical expert knowledge for high-performance synthesis. In his work he has produced the LGen compiler for performance-optimized linear algebra computations. At ETH Zürich, Daniele is supervised by Markus Püschel, who is known for his work on SPIRAL. On 6 October, Daniele gave a talk on his work on LGen at the Andreas-Pfitzmann-Building. Apart from this formal presentation, Daniele's visit led to numerous useful informal discussions at the CC Chair.