Search results

Create the page "Sandrine" on this wiki! See also the search results found.

• Main Page
  |[http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (FR)
  6 KB (937 words) - 21:17, 30 December 2024
• WG211/M13Schedule
  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
• WG211/M14Schedule
  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
• WG211/M15Schedule
  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
• WG211/M16Schedule
  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
• WG211/M18Schedule
  * Sandrine arr KIX 03 Jun 2018 8:35 on AF8437 Sandrine Blazy,
  17 KB (2,543 words) - 17:44, 8 July 2018
• WG211/M19Schedule
  |Sandrine Blazy Sandrine Blazy,
  12 KB (1,719 words) - 02:26, 22 May 2019
• WG211/M21Schedule
  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
• WG211/M22Schedule
  * Sandrine Blazy (I will be absent from the meeting Monday morning.)
  11 KB (1,662 words) - 12:51, 28 April 2023
• WG211/M24Schedule
  * Sandrine Blazy * Sandrine Blazy [[WG211/M24Blazy | A Mechanized Semantics for Dataflow Circuits ]]
  17 KB (2,513 words) - 17:23, 5 December 2024