1![A 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,](https://www.pdfsearch.io/img/227c48cac9110014fc2306f7f6eb1f5c.jpg) | Add to Reading ListSource URL: pauillac.inria.frLanguage: English - Date: 2008-06-25 07:48:56
|
---|
2![university of copenhagen department of computer science Faculty of Science university of copenhagen department of computer science Faculty of Science](https://www.pdfsearch.io/img/b5d1a3f8647e05cd4590dbb98d3eb8ac.jpg) | Add to Reading ListSource URL: staff.fnwi.uva.nlLanguage: English - Date: 2014-01-14 07:20:59
|
---|
3![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 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](https://www.pdfsearch.io/img/5397e213fddca82d80572ac8e9178f67.jpg) | Add to Reading ListSource URL: pauillac.inria.frLanguage: English - Date: 2012-12-13 08:22:59
|
---|
4![The 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](https://www.pdfsearch.io/img/7c6d4e8cfd2e45a1064e055ed018df96.jpg) | Add to Reading ListSource URL: hexhive.github.ioLanguage: English - Date: 2016-06-13 11:08:40
|
---|
5![The 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](https://www.pdfsearch.io/img/99e2dcb5ae57d78b9d0a88d33a1c8afc.jpg) | Add to Reading ListSource URL: hexhive.github.ioLanguage: English - Date: 2016-06-13 11:08:40
|
---|
6![Javanni: 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](https://www.pdfsearch.io/img/e350fb22591cade6098e85b9e3c6053b.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2013-03-04 10:30:18
|
---|
7![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 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](https://www.pdfsearch.io/img/ca6feddf35454da865f64725ee55f2dc.jpg) | Add to Reading ListSource URL: www.lri.frLanguage: English - Date: 2013-04-16 09:27:03
|
---|
8![The 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](https://www.pdfsearch.io/img/567443b4f361657de65b0f470166b3d8.jpg) | Add to Reading ListSource URL: www.nebelwelt.netLanguage: English - Date: 2016-04-13 09:07:45
|
---|
9![The 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](https://www.pdfsearch.io/img/2dd4dd30e4f813ae33215db24beb982a.jpg) | Add to Reading ListSource URL: www.nebelwelt.netLanguage: English |
---|
10![Verified 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](https://www.pdfsearch.io/img/d8474a7e5d973e36e36a695073f57744.jpg) | Add to Reading ListSource URL: www.cs.princeton.eduLanguage: English - Date: 2014-02-21 09:31:36
|
---|