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
User contributions for Sandrine
From WG 2.11
Jump to navigationJump to search
27 November 2024
- 15:4815:48, 27 November 2024 diff hist −1 WG211/M24Blazy No edit summary current
- 15:4515:45, 27 November 2024 diff hist −1 WG211/M24Blazy No edit summary
- 15:4515: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..."
- 15:4215:42, 27 November 2024 diff hist 0 WG211/M24Schedule →Talks
- 15:4115:41, 27 November 2024 diff hist +84 WG211/M24Schedule →Talks
17 October 2024
1 April 2023
13 February 2023
6 February 2023
1 May 2019
- 22:5322:53, 1 May 2019 diff hist 0 N File:WG211 M19 Blazy.pdf No edit summary current
- 22:4922:49, 1 May 2019 diff hist +40 WG211/M19Schedule →Talks
29 April 2019
- 12:1612: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
- 12:1412:14, 29 April 2019 diff hist +10 WG211/M19Schedule →Talks
22 April 2019
- 21:0821:08, 22 April 2019 diff hist +56 WG211/M19Schedule →Travel
5 April 2019
- 09:2109:21, 5 April 2019 diff hist +96 WG211/M19Schedule →Talks
4 March 2019
10 June 2018
- 21:3721:37, 10 June 2018 diff hist 0 N File:M18Blazy-Slides.pdf No edit summary current
- 08:1008:10, 10 June 2018 diff hist +20 WG211/M18Schedule →Talks
- 08:0608:06, 10 June 2018 diff hist +43 WG211/M18Schedule →Talks
18 May 2018
- 10:0910: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
- 10:0710:07, 18 May 2018 diff hist +89 WG211/M18Schedule →Talks
1 May 2018
- 14:5814:58, 1 May 2018 diff hist −31 WG211/M18Schedule →Travel
- 13:0013:00, 1 May 2018 diff hist +77 WG211/M18Schedule →Travel
9 March 2018
24 August 2016
- 13:0913:09, 24 August 2016 diff hist 0 N File:M16Blazy-Slides.pdf No edit summary current
- 13:0913:09, 24 August 2016 diff hist −8 WG211/M16Schedule →Talks
14 June 2016
- 12:2312:23, 14 June 2016 diff hist −1 WG211/M16Blazy No edit summary current
- 12:2312:23, 14 June 2016 diff hist −9 WG211/M16Blazy No edit summary
- 12:2212: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..."
- 12:2012:20, 14 June 2016 diff hist +22 WG211/M16Schedule →Talks
- 12:1812:18, 14 June 2016 diff hist +109 WG211/M16Schedule →Talks
10 May 2016
12 November 2015
- 11:0811:08, 12 November 2015 diff hist 0 N File:M15Blazy-Slides.pdf No edit summary current
- 11:0611:06, 12 November 2015 diff hist +42 WG211/M15Schedule →Talks
25 October 2015
- 23:0523: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
- 23:0523:05, 25 October 2015 diff hist −1,012 WG211/M15Brady Blanked the page current
- 23:0523:05, 25 October 2015 diff hist 0 WG211/M15Schedule →Talks
- 23:0223: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..."
- 22:5922:59, 25 October 2015 diff hist +21 WG211/M15Schedule →Talks