On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
Search results
From WG 2.11
Jump to navigationJump to search
- Sandrine Blazy, Edwin Brady, Jacques Carette, Charles Consel (M-W), Ewen Denney, Jer Sandrine Blazy [[WG211/M16Blazy | CompCert guarantees for low-level programs ]] [[Me ...9 KB (1,237 words) - 14:29, 6 June 2018
- |Sandrine Blazy Sandrine Blazy, ...12 KB (1,719 words) - 02:26, 22 May 2019
- Sandrine Blazy, Edwin Brady (not present Nov 12th), Jacques Carette, Alastair Donald Sandrine Blazy, [[WG211/M15Blazy | Formal verification of source program obfuscation ...10 KB (1,386 words) - 14:33, 6 June 2018
- Nada Amin, Sandrine Blazy, Edwin Brady, Miguel Campusano, Jacques Carette, Charisee Chiw, Sebas * Sandrine Blazy [[WG211/M21Blazy | Bridging the Semantic Gap between SSA and Gated SS ...13 KB (2,072 words) - 23:19, 27 February 2023
- |[http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (FR) ...6 KB (917 words) - 16:13, 27 August 2025
- Anya Bagge, Sandrine Blazy, Bernd Fischer, Ralf Lämmel, Julia Lawall, Klaus Ostermann, Markus Pü * 10:30-11:15: Sandrine Blazy, [[WG211/M14Blazy | Formal verification of static analysis ]] [[Media ...15 KB (2,256 words) - 16:58, 6 February 2015
- * Sandrine arr KIX 03 Jun 2018 8:35 on AF8437 Sandrine Blazy, ...17 KB (2,543 words) - 17:44, 8 July 2018
- Sandrine Blazy, Jacques Carette, Charles Consel, Franz Franchetti, Kevin Hammond, At ...M13Blazy | Compiling avionics software with a formally verified compiler]] Sandrine Blazy [[Media:M13Blazy.pdf | (slides)]] ...11 KB (1,659 words) - 22:55, 8 April 2014
- * Sandrine Blazy * Sandrine Blazy [[WG211/M24Blazy | A Mechanized Semantics for Dataflow Circuits ]] ...17 KB (2,513 words) - 17:23, 5 December 2024
- * Sandrine Blazy (I will be absent from the meeting Monday morning.) ...11 KB (1,662 words) - 12:51, 28 April 2023
