Compiler

Results: 4119



#Item
81

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
    82

    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
      83

      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. 

        Add to Reading List

        Source URL: osa1.net

        - Date: 2018-03-17 15:59:07
          85

          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
            86

            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
              87

              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
                88

                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
                  89

                  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
                    90

                    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
                      UPDATE