Compiler

Results: 4119



#Item
81Secure compilation from F∗ to C using the KreMLin compiler K. Bharghavan, C. Hritcu, J-K. Zinzindohoué INRIA

Secure compilation from F∗ to C using the KreMLin compiler K. Bharghavan, C. Hritcu, J-K. Zinzindohoué INRIA

Add to Reading List

Source URL: jonathan.protzenko.fr

- Date: 2017-04-29 10:06:31
    82Compositional Verification of Compiler Optimisations on Relaxed Memory Mike Dodds1 , Mark Batty2 , and Alexey Gotsman3 1 Galois Inc.

    Compositional Verification of Compiler Optimisations on Relaxed Memory Mike Dodds1 , Mark Batty2 , and Alexey Gotsman3 1 Galois Inc.

    Add to Reading List

    Source URL: software.imdea.org

    - Date: 2018-02-20 03:41:12
      83Show and Tell 1. Plan 9 Things (brief) 2. An Extensible Compiler for Systems Programming Russ Cox rsc@plan9

      Show and Tell 1. Plan 9 Things (brief) 2. An Extensible Compiler for Systems Programming Russ Cox rsc@plan9

      Add to Reading List

      Source URL: swtch.com

      - Date: 2015-05-31 20:50:23
        84Ömer Sinan Ağacan, CV    Personal info    I’m a software developer with 3 years of compiler development and 4 years of Haskell  experience. 

        Ömer Sinan Ağacan, CV    Personal info    I’m a software developer with 3 years of compiler development and 4 years of Haskell  experience. 

        Add to Reading List

        Source URL: osa1.net

        - Date: 2018-03-17 15:59:07
          85Computing Final Year Project 3c - A JIT Compiler using LLVM Edward Barrett Supervisor: Laurence Tratt May 21, 2009

          Computing Final Year Project 3c - A JIT Compiler using LLVM Edward Barrett Supervisor: Laurence Tratt May 21, 2009

          Add to Reading List

          Source URL: eddbarrett.co.uk

          - Date: 2018-01-12 11:58:20
            86Automatic Selection of Compiler Options Using Non-parametric Inferential Statistics Masayo Haneda Peter M.W. Knijnenburg Harry A.G. Wijshoff

            Automatic Selection of Compiler Options Using Non-parametric Inferential Statistics Masayo Haneda Peter M.W. Knijnenburg Harry A.G. Wijshoff

            Add to Reading List

            Source URL: pact05.ce.ucsc.edu

            - Date: 2005-12-16 02:11:59
              87Fast Context Switches: Compiler and Architectural Support for Preemptive Scheduling Je rey S. Snyder, David B. Whalley, and Theodore P. Baker Department of Computer Science Florida State University,

              Fast Context Switches: Compiler and Architectural Support for Preemptive Scheduling Je rey S. Snyder, David B. Whalley, and Theodore P. Baker Department of Computer Science Florida State University,

              Add to Reading List

              Source URL: www.cs.fsu.edu

              - Date: 2016-05-22 06:57:49
                88Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong Rajkishore Barik

                Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong Rajkishore Barik

                Add to Reading List

                Source URL: www.thev.net

                - Date: 2016-07-05 13:12:15
                  89Using Machine-Learning to Efficiently Explore the Architecture/Compiler Co-Design Space Christophe Dubach Doctor of Philosophy

                  Using Machine-Learning to Efficiently Explore the Architecture/Compiler Co-Design Space Christophe Dubach Doctor of Philosophy

                  Add to Reading List

                  Source URL: homepages.inf.ed.ac.uk

                  - Date: 2015-03-04 05:17:39
                    90To appear in Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’08) Xoc, an Extension-Oriented Compiler for Systems Programming Russ

                    To appear in Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’08) Xoc, an Extension-Oriented Compiler for Systems Programming Russ

                    Add to Reading List

                    Source URL: swtch.com

                    - Date: 2015-05-31 20:49:48