add CompCert award news item #107

agarwal opened this Issue Feb 4, 2013 · 9 comments

2 participants

OCaml member

Reported by @smondet.

Unsure where to add this, but it would be good publicity for OCaml.

Microsoft Research: 2012 Verified Software Milestone Award Winner
December 19, 2012
Press Release

We are delighted to announce that the recipient of the 2012 Microsoft
Research Verified Software Milestone Award is Xavier Leroy of the
Paris-Rocquencourt ( research center of
INRIA, France, for the CompCert Project
( Specifically, the award is given in
recognition for Xavier's role as architect of the CompCert C Verified
Compiler as well as his leadership of the development team.

The formal presentation of the Award will be made to Xavier at POPL 2013
), which takes place in Rome - January 23-25,

"Microsoft Research is delighted to celebrate the advances made by Dr Leroy
the vital field of software verification. Compilers are the basis for all
software we generate, and by ruling out compiler-introduced bugs, the
project has taken a huge leap in producing strengthening guarantees for
reliable critical embedded software across platforms. We congratulate Dr
on his significant achievement in winning this Award."

Dr. Judith Bishop, Principal Research Director, Computer Science,
Microsoft Research, Redmond

The full award citation is provided along with further details of the award
process at the VSI website, i.e.

Kind regards,
Andrew Ireland & Jim Woodcock (Chairs of the Award Committee)

OCaml member

Maybe we can turn it into a success story? An announcement on the main page would be nice as well.

OCaml member
OCaml member
OCaml member
OCaml member
OCaml member

OK, I am convinced. I'll see this weekend if I can implement something (no time before).

@Chris00 Chris00 closed this Dec 30, 2013
OCaml member

@Chris00 Did you mean to close this issue? Your mention of it in #233 implies it should stay open.

@Chris00 Chris00 added a commit that referenced this issue Dec 30, 2013
@Chris00 Chris00 Add CompCert award
This ensures that the news #107
is not lost for the announcement feed to be created — see
OCaml member

@agarwal Yes. I thought that by the time we get the feed, this will be largely out of date. I understand however that we may wish to keep "old" news in the feed. The above commit creates a directory from which a script could generate the feed we want.

OCaml member

Thanks. I'm happier with 4a98a82. It keeps the announcement for us to incorporate somewhere.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment