Zum Inhalt springen

  1. Raychev, Veselin [Verfasser:in] ; Püschel, Markus (Moderation) [Sonstige Person, Familie und Körperschaft]

    Finding bugs in applications while you code them

    Videos
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

  2. Theodoridis, Theodoros [Verfasser:in] ; Püschel, Markus (Moderation) [Sonstige Person, Familie und Körperschaft]

    A Quest Toward the “Perfect” Optimizing Compiler

    Videos
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

  3. Rivera, Joao [Verfasser:in] ; Franchetti, Franz [Sonstige Person, Familie und Körperschaft]; Püschel, Markus [Sonstige Person, Familie und Körperschaft]; Su, Zhendong (Moderation) [Sonstige Person, Familie und Körperschaft]

    A Compiler for Sound Floating-Point using Affine Arithmetic

    Videos
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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