From 2459739339336027ed467a3776b9564b7b6eeda4 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 9 Nov 2021 15:32:43 +0100
Subject: [PATCH] [Pub] Add publication "the dog pursuit"

---
 .../general/2021-hpcs-bbbckkmrrsw.md          | 27 +++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 _fc-publications/general/2021-hpcs-bbbckkmrrsw.md

diff --git a/_fc-publications/general/2021-hpcs-bbbckkmrrsw.md b/_fc-publications/general/2021-hpcs-bbbckkmrrsw.md
new file mode 100644
index 00000000..6949cc79
--- /dev/null
+++ b/_fc-publications/general/2021-hpcs-bbbckkmrrsw.md
@@ -0,0 +1,27 @@
+---
+plugin: "general"
+authors: "Patrick Baudin, François Bobot, David Bühler, Loïc Correnson, Florent Kirchner, Nikolai Kosmatov, André Maroneze, Valentin Perrelle, Virgile Prevosto, Julien Signoles and Nicky Williams "
+title: "The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform"
+book: "Communications of the ACM, Vol. 64, No. 8"
+link: "https://cacm.acm.org/magazines/2021/8/254311-the-dogged-pursuit-of-bug-free-c-programs/fulltext"
+year: 2021
+category: foundational
+---
+
+<p>
+The C programming language is a cornerstone of computer science. Designed by
+Dennis Ritchie and Ken Thompson at Bell Labs as a key element of Unix
+engineering, it was rapidly adopted by system-level programmers for its
+portability, efficiency, and relative ease of use compared to assembly
+languages. Nearly 50 years after its creation, it is still widely used in
+software engineering.
+</p>
+<div class="videoHead wrap">
+  <figure>
+    <iframe
+      title="vimeo-player"
+      src="https://player.vimeo.com/video/566198006?h=0b381aa7ea"
+      width="560" height="315" frameborder="0" allowfullscreen
+    ></iframe>
+  </figure>
+</div>
-- 
GitLab