Re:How to Architect a Query Compiler, Revisited [pdf]
by dman on Monday August 27, 2018 @01:12PM
(#17852761)
Thanks for taking the time to share pointers to other papers! If there is one thing I like better than a post linking to a paper I want to read, its a post linking to a paper I want to read and with comments linking to other related work.
Re:How to Architect a Query Compiler, Revisited [pdf]
by zokier on Monday August 27, 2018 @06:09PM
(#17854982)
Worth pointing out that "Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs" is also co-authored by Martin Odersky of Scala fame. Definitely looks like good stuff.
Re:How to Architect a Query Compiler, Revisited [pdf]
by tiarkrompf on Monday August 27, 2018 @10:38PM
(#17856234)
No surprise here, as Martin was my PhD advisor :)
Re:How to Architect a Query Compiler, Revisited [pdf]
by tiarkrompf on Monday August 27, 2018 @10:23PM
(#17856180)
Thank you -- made my day!
Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs https://infoscience.epfl.ch/record/150347/files/gpce63-rompf...
Collapsing Towers of Interpreters: https://www.cs.purdue.edu/homes/rompf/papers/amin-popl18.pdf
LMS-Verify: Abstraction Without Regret for Verified Systems Programming: http://lampwww.epfl.ch/~amin/pub/lms-verify.pdf
There's a ton more. Nada Amin's talks on the last two papers are excellent also:
https://www.youtube.com/watch?v=QuJ-cEvH_oI https://www.youtube.com/watch?v=Ywy_eSzCLi8
Oh, and I forgot my favorite: Functional Pearl: A SQL to C Compiler in 500 Lines of Code https://www.cs.purdue.edu/homes/rompf/papers/rompf-icfp15.pd...
Some really mind-blowing stuff.