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
- 14:4814:48, 27 November 2024 diff hist −1 WG211/M24Blazy No edit summary current
- 14:4514:45, 27 November 2024 diff hist −1 WG211/M24Blazy No edit summary
- 14:4514: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:4214:42, 27 November 2024 diff hist 0 WG211/M24Schedule →Talks
- 14:4114: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
- 21:5321:53, 1 May 2019 diff hist 0 N File:WG211 M19 Blazy.pdf No edit summary current
- 21:4921:49, 1 May 2019 diff hist +40 WG211/M19Schedule →Talks
29 April 2019
- 11:1611: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:1411:14, 29 April 2019 diff hist +10 WG211/M19Schedule →Talks
22 April 2019
- 20:0820:08, 22 April 2019 diff hist +56 WG211/M19Schedule →Travel
5 April 2019
- 08:2108:21, 5 April 2019 diff hist +96 WG211/M19Schedule →Talks
4 March 2019
10 June 2018
- 20:3720:37, 10 June 2018 diff hist 0 N File:M18Blazy-Slides.pdf No edit summary current
- 07:1007:10, 10 June 2018 diff hist +20 WG211/M18Schedule →Talks
- 07:0607:06, 10 June 2018 diff hist +43 WG211/M18Schedule →Talks
18 May 2018
- 09:0909: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:0709:07, 18 May 2018 diff hist +89 WG211/M18Schedule →Talks
1 May 2018
- 13:5813:58, 1 May 2018 diff hist −31 WG211/M18Schedule →Travel
- 12:0012:00, 1 May 2018 diff hist +77 WG211/M18Schedule →Travel
9 March 2018
24 August 2016
- 12:0912:09, 24 August 2016 diff hist 0 N File:M16Blazy-Slides.pdf No edit summary current
- 12:0912:09, 24 August 2016 diff hist −8 WG211/M16Schedule →Talks
14 June 2016
- 11:2311:23, 14 June 2016 diff hist −1 WG211/M16Blazy No edit summary current
- 11:2311:23, 14 June 2016 diff hist −9 WG211/M16Blazy No edit summary
- 11:2211: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:2011:20, 14 June 2016 diff hist +22 WG211/M16Schedule →Talks
- 11:1811:18, 14 June 2016 diff hist +109 WG211/M16Schedule →Talks
10 May 2016
12 November 2015
- 10:0810:08, 12 November 2015 diff hist 0 N File:M15Blazy-Slides.pdf No edit summary current
- 10:0610:06, 12 November 2015 diff hist +42 WG211/M15Schedule →Talks
25 October 2015
- 22:0522: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:0522:05, 25 October 2015 diff hist −1,012 WG211/M15Brady Blanked the page current
- 22:0522:05, 25 October 2015 diff hist 0 WG211/M15Schedule →Talks
- 22:0222: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:5921:59, 25 October 2015 diff hist +21 WG211/M15Schedule →Talks
