Skip to contents

  1. Müller, Ingo [Author]; id_orcid0 000-0001-8818-8324 [Author]; Marroquín, Renato [Author]; Koutsoukos, Dimitrios [Author]; Wawrzoniak, Michael [Author]; id_orcid0 000-0002-1304-8420 [Author]; Akhadov, Sabir [Author]; Alonso, Gustavo [Author] ; Porobic, Danica [Contributor]; Neumann, Thomas [Contributor]

    The Collection Virtual Machine: An Abstraction for Multi-Frontend Multi-Backend Data Analysis

    Conference Proceedings
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Computing Machinery, 2020-06

    Published in: Proceedings of the 16th International Workshop on Data Management on New Hardware, DaMoN '20

  6. Torres Carvajal, Raul Ernesto [Author] ; Ludwig, Thomas [Contributor]

    Comparison of Compiler's Intermediate Representations and Input/Output Access Patterns with String Kernels ; Vergleich von intermediären Darstellungen eines Compilers und Eingabe-/Ausgabe-Mustern mit String-Kernels

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, 2018-01-01

  7. Trifunovic, Konrad [Author] ; Paris 11 [Contributor]; Cohen, Albert Henri [Contributor]

    Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler ; Stratégies exploratoires efficaces pour la compilation polyédrique : algorithmes et expérience dans un compilateur de production

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2011-07-04

  8. Pietrek, Artur [Author] ; Grenoble [Contributor]; Fernandez, Jean-Claude [Contributor]

    TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme ; TIREX : A textual target-level intermediate representation for virtual execution environment, compiler information exchange and program analysis

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2012-10-02

  9. Ernst, Michael [Author] ; Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages

    Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York, NY: ACM, 1995

    Published in: ACM Digital Library- ACM Conferences

  18. Hjort, Rikard; Holmgren, Jakob; Persson, Christian

    Lecture Notes in Computer Science: The CakeML Compiler Explorer : Tracking Intermediate Representations in a Verified Compiler : Tracking Intermediate Representations in a Verified Compiler

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer International Publishing, 2018

    Published in: Lecture Notes in Computer Science

  19. Hendren, L.; Donawa, C.; Emami, M.; Gao, G.; Justiani; Sridharan, B.

    Languages and Compilers for Parallel Computing: Designing the McCAT compiler based on a family of structured intermediate representations

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 1993

    Published in: Languages and Compilers for Parallel Computing