1. Stratego/XT 0.17. A language and toolset for program transformation
2. An efficient method of computing static single assignment form
3. Sameera Deshpande and Uday P Khedker . 2007 . Incremental machine descriptions for GCC . In GREPS: International Workshop on GCC for Research in Embedded and Parallel Systems. Sameera Deshpande and Uday P Khedker. 2007. Incremental machine descriptions for GCC. In GREPS: International Workshop on GCC for Research in Embedded and Parallel Systems.
4. Gilles Duboscq , Lukas Stadler , Thomas Würthinger , Doug Simon , Christian Wimmer , and Hanspeter Mössenböck . 2013 . Graal IR: An extensible declarative intermediate representation . In Proceedings of the Asia-Pacific Programming Languages and Compilers Workshop. Gilles Duboscq, Lukas Stadler, Thomas Würthinger, Doug Simon, Christian Wimmer, and Hanspeter Mössenböck. 2013. Graal IR: An extensible declarative intermediate representation. In Proceedings of the Asia-Pacific Programming Languages and Compilers Workshop.
5. Schuyler Eldridge , Prithayan Barua , Aliaksei Chapyzhenka , Adam Izraelevitz , Jack Koenig , Chris Lattner , Andrew Lenharth , George Leontiev , Fabian Schuiki , and Ram Sunder . 2021 . MLIR as Hardware Compiler Infrastructure . In Workshop on Open-Source EDA Technology (WOSET). Schuyler Eldridge, Prithayan Barua, Aliaksei Chapyzhenka, Adam Izraelevitz, Jack Koenig, Chris Lattner, Andrew Lenharth, George Leontiev, Fabian Schuiki, and Ram Sunder. 2021. MLIR as Hardware Compiler Infrastructure. In Workshop on Open-Source EDA Technology (WOSET).