User contributions
From WG 2.11
- 14:48, 27 November 2024 (diff | hist) . . (-1) . . WG211/M24Blazy (current)
- 14:45, 27 November 2024 (diff | hist) . . (-1) . . WG211/M24Blazy
- 14:45, 27 November 2024 (diff | hist) . . (+1,530) . . N WG211/M24Blazy (Created page with " This talk proposes a mechanized formal semantics for dataflow circuits: rather than following a static schedule predetermined at generation time, the execution of the com...")
- 14:42, 27 November 2024 (diff | hist) . . (0) . . WG211/M24Schedule (→Talks)
- 14:41, 27 November 2024 (diff | hist) . . (+84) . . WG211/M24Schedule (→Talks)
- 15:31, 17 October 2024 (diff | hist) . . (+17) . . WG211/M24Schedule (→Attendance)
- 17:17, 1 April 2023 (diff | hist) . . (-27) . . WG211/M22Schedule (→Attendance)
- 11:35, 13 February 2023 (diff | hist) . . (+11) . . WG211/M22Schedule (→Attendance)
- 10:53, 6 February 2023 (diff | hist) . . (+85) . . WG211/M22Schedule (→Attendance)
- 21:53, 1 May 2019 (diff | hist) . . (0) . . N File:WG211 M19 Blazy.pdf (current)
- 21:49, 1 May 2019 (diff | hist) . . (+40) . . WG211/M19Schedule (→Talks)
- 11:16, 29 April 2019 (diff | hist) . . (+254) . . N WG211/M19Blazy (Created page with "I will present a new course on deductive verification with Why3 that I teach to undergraduate students. It will be the opportunity to explain the kind of imperative programs t...") (current)
- 11:14, 29 April 2019 (diff | hist) . . (+10) . . WG211/M19Schedule (→Talks)
- 20:08, 22 April 2019 (diff | hist) . . (+56) . . WG211/M19Schedule (→Travel)
- 08:21, 5 April 2019 (diff | hist) . . (+96) . . WG211/M19Schedule (→Talks)
- 11:06, 4 March 2019 (diff | hist) . . (+16) . . WG211/M19Schedule (→Attendance)
- 20:37, 10 June 2018 (diff | hist) . . (0) . . N File:M18Blazy-Slides.pdf (current)
- 07:10, 10 June 2018 (diff | hist) . . (+20) . . WG211/M18Schedule (→Talks)
- 07:06, 10 June 2018 (diff | hist) . . (+43) . . WG211/M18Schedule (→Talks)
- 09:09, 18 May 2018 (diff | hist) . . (+910) . . N WG211/M18Blazy (Created page with "Motivated by applications to security and high efficiency, we propose an automated methodology for validating on low-level intermediate representations the results of a source...") (current)
- 09:07, 18 May 2018 (diff | hist) . . (+89) . . WG211/M18Schedule (→Talks)
- 13:58, 1 May 2018 (diff | hist) . . (-31) . . WG211/M18Schedule (→Travel)
- 12:00, 1 May 2018 (diff | hist) . . (+77) . . WG211/M18Schedule (→Travel)
- 08:04, 9 March 2018 (diff | hist) . . (+16) . . WG211/M18Schedule (→Attendance)
- 12:09, 24 August 2016 (diff | hist) . . (0) . . N File:M16Blazy-Slides.pdf (current)
- 12:09, 24 August 2016 (diff | hist) . . (-8) . . WG211/M16Schedule (→Talks)
- 11:23, 14 June 2016 (diff | hist) . . (-1) . . WG211/M16Blazy (current)
- 11:23, 14 June 2016 (diff | hist) . . (-9) . . WG211/M16Blazy
- 11:22, 14 June 2016 (diff | hist) . . (+1,279) . . N WG211/M16Blazy (Created page with "The CompCert C compiler guarantees that the target program behaves as the source program. Yet, source programs without a defined semantics do not benefit from this guarantee...")
- 11:20, 14 June 2016 (diff | hist) . . (+22) . . WG211/M16Schedule (→Talks)
- 11:18, 14 June 2016 (diff | hist) . . (+109) . . WG211/M16Schedule (→Talks)
- 16:26, 10 May 2016 (diff | hist) . . (+16) . . WG211/M16Schedule (→Attendance)
- 10:08, 12 November 2015 (diff | hist) . . (0) . . N File:M15Blazy-Slides.pdf (current)
- 10:06, 12 November 2015 (diff | hist) . . (+42) . . WG211/M15Schedule (→Talks)
- 22:05, 25 October 2015 (diff | hist) . . (+1,012) . . N WG211/M15Blazy (Created page with "Code obfuscation is emerging as a key asset in security by obscurity. It aims at hiding sensitive information in programs so that they become more difficult to understand and rev...") (current)
- 22:05, 25 October 2015 (diff | hist) . . (-1,012) . . WG211/M15Brady (Blanked the page) (current)
- 22:05, 25 October 2015 (diff | hist) . . (0) . . WG211/M15Schedule (→Talks)
- 22:02, 25 October 2015 (diff | hist) . . (+1,012) . . N WG211/M15Brady (Created page with "Code obfuscation is emerging as a key asset in security by obscurity. It aims at hiding sensitive information in programs so that they become more difficult to understand and rev...")
- 21:59, 25 October 2015 (diff | hist) . . (+21) . . WG211/M15Schedule (→Talks)
- 10:43, 4 September 2015 (diff | hist) . . (+16) . . WG211/M15Schedule (→Attendance)
- 10:42, 4 September 2015 (diff | hist) . . (+68) . . WG211/M15Schedule (→Talks and Schedule)
