Skip to contents

  1. Raychev, Veselin [Author] ; Püschel, Markus (Moderation) [Other]

    Finding bugs in applications while you code them

    Videos
    View online
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: Eidgenössische Technische Hochschule Zürich (ETH Zürich), 2022

    Published in: 9th Workshop on Dependable and Secure Software Systems, 2022 ; (Jan. 2022)

  2. Theodoridis, Theodoros [Author] ; Püschel, Markus (Moderation) [Other]

    A Quest Toward the “Perfect” Optimizing Compiler

    Videos
    View online
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: Eidgenössische Technische Hochschule Zürich (ETH Zürich), 2022

    Published in: 9th Workshop on Dependable and Secure Software Systems, 2022 ; (Jan. 2022)

  3. Rivera, Joao [Author] ; Franchetti, Franz [Other]; Püschel, Markus [Other]; Su, Zhendong (Moderation) [Other]

    A Compiler for Sound Floating-Point using Affine Arithmetic

    Videos
    View online
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: Eidgenössische Technische Hochschule Zürich (ETH Zürich), 2022

    Published in: 9th Workshop on Dependable and Secure Software Systems, 2022 ; (Jan. 2022)