Compiler correctness

Results: 26



#Item
1A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt  LCTES,

A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES,

Add to Reading List

Source URL: pauillac.inria.fr

Language: English - Date: 2008-06-25 07:48:56
2university of copenhagen  department of computer science Faculty of Science

university of copenhagen department of computer science Faculty of Science

Add to Reading List

Source URL: staff.fnwi.uva.nl

Language: English - Date: 2014-01-14 07:20:59
3Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt   Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili

Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili

Add to Reading List

Source URL: pauillac.inria.fr

Language: English - Date: 2012-12-13 08:22:59
4The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015  1

The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015 1

Add to Reading List

Source URL: hexhive.github.io

Language: English - Date: 2016-06-13 11:08:40
5The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA  Mathias Payer

The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer

Add to Reading List

Source URL: hexhive.github.io

Language: English - Date: 2016-06-13 11:08:40
6Javanni: A Verifier for JavaScript Martin Nordio1 , Cristiano Calcagno2 , and Carlo A. Furia1 1 2

Javanni: A Verifier for JavaScript Martin Nordio1 , Cristiano Calcagno2 , and Carlo A. Furia1 1 2

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2013-03-04 10:30:18
7A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria  Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ

A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ

Add to Reading List

Source URL: www.lri.fr

Language: English - Date: 2013-04-16 09:27:03
8The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA  Mathias Payer

The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer

Add to Reading List

Source URL: www.nebelwelt.net

Language: English - Date: 2016-04-13 09:07:45
    9The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015  1

    The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015 1

    Add to Reading List

    Source URL: www.nebelwelt.net

    Language: English
      10Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2

      Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2

      Add to Reading List

      Source URL: www.cs.princeton.edu

      Language: English - Date: 2014-02-21 09:31:36