View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Compiling Second-Order Accelerate Programs to First-Order TensorFlow Graphs

        Thumbnail
        View/Open
        master_thesis_lpjvansoest_5999995.pdf (463.2Kb)
        Publication date
        2023
        Author
        Soest, Lars van
        Metadata
        Show full item record
        Summary
        Hardware acceleration is the method of accelerating calculations with hardware specifically designed for the type of calculations. Accelerate and TensorFlow are libraries that make this accessible to many programmers, but these libraries differ in the level of abstraction and targeted hardware. This thesis investigates the possibility of compiling and executing Accelerate programs in TensorFlow. A compiler is introduced that converts second-order Accelerate programs to first-order TensorFlow graphs, covering 68% of the Accelerate language.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/44636
        Collections
        • Theses

        Related items

        Showing items related by title, author, creator and subject.

        • Automatic task parallelism in Accelerate 

          Matser, Marien (2023)
          Parallel execution has a large potential to improve the speed of a program. To make good use of parallelism we need a program that is properly split into several tasks that can be performed in parallel. High level frameworks ...
        • Verified Compiler Optimisations 

          Dral, Joris (2022)
          This thesis explores how to formally verify the correctness of a certifying compiler where the correctness of individual compiler runs is specified by translation relations, each of which characterises the admissible ...
        • Implementing Type Families in Helium, a study on improving type error diagnosis for Type Families in Haskell. 

          Kwadijk, Niels (2022)
        Utrecht university logo