Add new publication in FCCM'22

5 files changed, 60 insertions, 3 deletions

diff --git a/LICENSE b/LICENSE
index 4ea99c2..6e6b96e 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,3 +1,35 @@
+The code building the website is licensed under the MIT license.  The
+content of the website is licensed under the CC BY 4.0 license.
+
+
+-----------------------------------------------------------------------
+
+
+Copyright (C) 2022  Yann Herklotz
+
+Permission is hereby granted, free of charge, to any person obtaining a
+copy of this software and associated documentation files (the
+“Software”), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be included
+in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS
+OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+
+-----------------------------------------------------------------------
+
+
 Attribution 4.0 International
 
 =======================================================================
diff --git a/content.org b/content.org
index 7371d91..bbc3d27 100644
--- a/content.org
+++ b/content.org
@@ -35,7 +35,7 @@ is located.
 
 Here you can find all my previous posts:
 
-** TODO Why Even Bother with Three-Valued Logic? :logic:
+** TODO Reasoning about :logic:
 :PROPERTIES:
 :EXPORT_DATE: 2022-02-22
 :EXPORT_FILE_NAME: why-even-bother-with-three-valued-logic
@@ -48,6 +48,9 @@ Here you can find all my previous posts:
 - Has subtle differences in terms of Axioms.
 - This can lead to various different logics, especially implication.
 
+Binary logic is pervasive in computing, as it is used to model low-level hardware primitives as well
+as reason about complex code using modern SMT solvers.
+
 *** Example reasoning about results of computations
 
 - Computations can sometimes not be evaluatable.
diff --git a/layouts/partials/papers.html b/layouts/partials/papers.html
index ad2ec7f..db8db75 100644
--- a/layouts/partials/papers.html
+++ b/layouts/partials/papers.html
@@ -1,5 +1,5 @@
 
-<!-- This document was automatically generated with bibtex2html 1.99
+<!-- This document was automatically generated with bibtex2html 1.98
      (see http://www.lri.fr/~filliatr/bibtex2html/),
      with the following command:
      bibtex2html -o layouts/partials/papers -use-keys -dl -linebreak -noabstract -nokeywords -nobibsource -nofooter -nodoc --named-field url_video video --named-field url_tex tex --named-field url_slides slides --named-field url_press press --named-field url_poster poster --named-field url_manuscript pdf --named-field url_blog_post blog --named-field url_artifact artifact papers.bib  -->
@@ -8,6 +8,19 @@
 <dl>
 
 <dt>
+<b><a name="FCCM&nbsp;&#39;22">FCCM&nbsp;&#39;22</a></b>
+</dt>
+<dd>
+Michalis Pardalos, <b>Yann Herklotz</b>, and Yann Wickerson.
+ Resource sharing for verified high-level synthesis.
+ In <em>30th IEEE Annual Int. Symp. on Field-Programmable Custom
+  Computing Machines</em>, 2022.<br />
+<b>&nbsp;<a href="https://github.com/mpardalos/Vericert-Fun">artifact</a>&nbsp;</b>
+
+</dd>
+
+
+<dt>
 <b><a name="OOPSLA&nbsp;&#39;21">OOPSLA&nbsp;&#39;21</a></b>
 </dt>
 <dd>
diff --git a/layouts/partials/papers_other.html b/layouts/partials/papers_other.html
index e295822..313e56b 100644
--- a/layouts/partials/papers_other.html
+++ b/layouts/partials/papers_other.html
@@ -1,5 +1,5 @@
 
-<!-- This document was automatically generated with bibtex2html 1.99
+<!-- This document was automatically generated with bibtex2html 1.98
      (see http://www.lri.fr/~filliatr/bibtex2html/),
      with the following command:
      bibtex2html -o layouts/partials/papers_other -use-keys -dl -linebreak -noabstract -nokeywords -nobibsource -nofooter -nodoc --named-field url_video video --named-field url_tex tex --named-field url_slides slides --named-field url_press press --named-field url_poster poster --named-field url_manuscript pdf --named-field url_blog_post blog --named-field url_artifact artifact papers_other.bib  -->
diff --git a/papers.bib b/papers.bib
index 0c4104d..ab28234 100644
--- a/papers.bib
+++ b/papers.bib
@@ -1,3 +1,12 @@
+@inproceedings{FCCM&nbsp;&#39;22,
+  author = {Pardalos, Michalis and Herklotz, Yann and Wickerson, Yann},
+  title = {Resource Sharing for Verified High-Level Synthesis},
+  year = {2022},
+  booktitle = {30th {IEEE} Annual Int. Symp. on Field-Programmable Custom Computing Machines},
+  numpages = 5,
+  url_artifact = {https://github.com/mpardalos/Vericert-Fun},
+}
+
 @article{OOPSLA&nbsp;&#39;21,
   author = {Herklotz, Yann and Pollard, James D. and Ramanathan, Nadesh and Wickerson, John},
   title = {Formal Verification of High-Level Synthesis},