Optimizing data structures in high-level programs: new directions for extensible compilers based on staging.
Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky
Browse the full POPL paper archive.