diff --git a/_posts/2011-01-13-Why-dont-you-verify-the-entire-Internet-.html b/_posts/2011-01-13-Why-don-t-you-verify-the-entire-Internet-.html
similarity index 100%
rename from _posts/2011-01-13-Why-dont-you-verify-the-entire-Internet-.html
rename to _posts/2011-01-13-Why-don-t-you-verify-the-entire-Internet-.html
diff --git a/_posts/2011-01-22-Verifying-numerical-precision-with-Frama-Cs-value-analysis.html b/_posts/2011-01-22-Verifying-numerical-precision-with-Frama-C-s-value-analysis.html
similarity index 100%
rename from _posts/2011-01-22-Verifying-numerical-precision-with-Frama-Cs-value-analysis.html
rename to _posts/2011-01-22-Verifying-numerical-precision-with-Frama-C-s-value-analysis.html
diff --git a/_posts/2011-02-10-Verifying-numerical-precision-with-Frama-Cs-value-analysis---part-2.html b/_posts/2011-02-10-Verifying-numerical-precision-with-Frama-C-s-value-analysis---part-2.html
similarity index 100%
rename from _posts/2011-02-10-Verifying-numerical-precision-with-Frama-Cs-value-analysis---part-2.html
rename to _posts/2011-02-10-Verifying-numerical-precision-with-Frama-C-s-value-analysis---part-2.html
diff --git a/_posts/2011-06-18-Someone-elses-blog.html b/_posts/2011-06-18-Someone-else-s-blog.html
similarity index 100%
rename from _posts/2011-06-18-Someone-elses-blog.html
rename to _posts/2011-06-18-Someone-else-s-blog.html
diff --git a/_posts/2011-08-10-Csmith-testing-reveals-that-Im-no-good-at-probabilities-and-lazy.html b/_posts/2011-08-10-Csmith-testing-reveals-that-I-m-no-good-at-probabilities-and-lazy.html
similarity index 100%
rename from _posts/2011-08-10-Csmith-testing-reveals-that-Im-no-good-at-probabilities-and-lazy.html
rename to _posts/2011-08-10-Csmith-testing-reveals-that-I-m-no-good-at-probabilities-and-lazy.html
diff --git a/_posts/2011-11-23-Bug-in-Nitrogens-value-analysis.html b/_posts/2011-11-23-Bug-in-Nitrogen-s-value-analysis.html
similarity index 100%
rename from _posts/2011-11-23-Bug-in-Nitrogens-value-analysis.html
rename to _posts/2011-11-23-Bug-in-Nitrogen-s-value-analysis.html
diff --git a/_posts/2011-11-23-Fixes-in-Nitrogens-value-analysis.html b/_posts/2011-11-23-Fixes-in-Nitrogen-s-value-analysis.html
similarity index 100%
rename from _posts/2011-11-23-Fixes-in-Nitrogens-value-analysis.html
rename to _posts/2011-11-23-Fixes-in-Nitrogen-s-value-analysis.html
diff --git a/_posts/2012-03-27-Overflow-alarms-vs-informative-messages-about-2s-complement.html b/_posts/2012-03-27-Overflow-alarms-vs-informative-messages-about-2-s-complement.html
similarity index 100%
rename from _posts/2012-03-27-Overflow-alarms-vs-informative-messages-about-2s-complement.html
rename to _posts/2012-03-27-Overflow-alarms-vs-informative-messages-about-2-s-complement.html
diff --git a/_posts/2012-07-25-On-the-redundancy-of-C99s-restrict.html b/_posts/2012-07-25-On-the-redundancy-of-C99-s-restrict.html
similarity index 100%
rename from _posts/2012-07-25-On-the-redundancy-of-C99s-restrict.html
rename to _posts/2012-07-25-On-the-redundancy-of-C99-s-restrict.html
diff --git a/_posts/2012-11-19-Funny-floating-point-bugs-in-Frama-C-Oxygens-front-end.html b/_posts/2012-11-19-Funny-floating-point-bugs-in-Frama-C-Oxygen-s-front-end.html
similarity index 100%
rename from _posts/2012-11-19-Funny-floating-point-bugs-in-Frama-C-Oxygens-front-end.html
rename to _posts/2012-11-19-Funny-floating-point-bugs-in-Frama-C-Oxygen-s-front-end.html
diff --git a/_posts/2012-11-29-Solution-to-yesterdays-quiz.html b/_posts/2012-11-29-Solution-to-yesterday-s-quiz.html
similarity index 100%
rename from _posts/2012-11-29-Solution-to-yesterdays-quiz.html
rename to _posts/2012-11-29-Solution-to-yesterday-s-quiz.html
diff --git a/_posts/2013-06-19-Microsofts-bug-bounty-program.html b/_posts/2013-06-19-Microsoft-s-bug-bounty-program.html
similarity index 100%
rename from _posts/2013-06-19-Microsofts-bug-bounty-program.html
rename to _posts/2013-06-19-Microsoft-s-bug-bounty-program.html
diff --git a/_posts/2013-10-11-OCamls-option--compact-can-optimize-for-code-size-and-speed.html b/_posts/2013-10-11-OCaml-s-option--compact-can-optimize-for-code-size-and-speed.html
similarity index 100%
rename from _posts/2013-10-11-OCamls-option--compact-can-optimize-for-code-size-and-speed.html
rename to _posts/2013-10-11-OCaml-s-option--compact-can-optimize-for-code-size-and-speed.html
diff --git a/_posts/2017-09-21-Frama-C-appears-on-European-Commissions-Innovation-Radar.md b/_posts/2017-09-21-Frama-C-appears-on-European-Commission-s-Innovation-Radar.md
similarity index 100%
rename from _posts/2017-09-21-Frama-C-appears-on-European-Commissions-Innovation-Radar.md
rename to _posts/2017-09-21-Frama-C-appears-on-European-Commission-s-Innovation-Radar.md
diff --git a/_posts/2020-03-29-Frama-Cs-position-on-the-Toyota-ITC-benchmarks.md b/_posts/2020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md
similarity index 100%
rename from _posts/2020-03-29-Frama-Cs-position-on-the-Toyota-ITC-benchmarks.md
rename to _posts/2020-03-29-Frama-C-s-position-on-the-Toyota-ITC-benchmarks.md