ACM Summer School on Compiler Design and Construction