How to Architect a Query Compiler, Revisited [pdf]
It's always nice to see the papers that come out of Tiark Rompf's group.  For background, here are some other great ones:<p>Lightweight Modular Staging: A Pragmatic Approach to
Runtime Code Generation and Compiled DSLs
<a href="https://infoscience.epfl.ch/record/150347/files/gpce63-rompf.pdf" rel="nofollow">https://infoscience.epfl.ch/record/150347/files/gpce63-rompf...</a><p>Collapsing Towers of Interpreters: <a href="https://www.cs.purdue.edu/homes/rompf/papers/amin-popl18.pdf" rel="nofollow">https://www.cs.purdue.edu/homes/rompf/papers/amin-popl18.pdf</a><p>LMS-Verify: Abstraction Without Regret for Verified Systems Programming: <a href="http://lampwww.epfl.ch/~amin/pub/lms-verify.pdf" rel="nofollow">http://lampwww.epfl.ch/~amin/pub/lms-verify.pdf</a><p>There's a ton more.  Nada Amin's talks on the last two papers are excellent also:<p><a href="https://www.youtube.com/watch?v=QuJ-cEvH_oI" rel="nofollow">https://www.youtube.com/watch?v=QuJ-cEvH_oI</a>
<a href="https://www.youtube.com/watch?v=Ywy_eSzCLi8" rel="nofollow">https://www.youtube.com/watch?v=Ywy_eSzCLi8</a><p>Oh, and I forgot my favorite:
Functional Pearl: A SQL to C Compiler in 500 Lines of Code
<a href="https://www.cs.purdue.edu/homes/rompf/papers/rompf-icfp15.pdf" rel="nofollow">https://www.cs.purdue.edu/homes/rompf/papers/rompf-icfp15.pd...</a><p>Some really mind-blowing stuff.